The Modest Modeling Tool and Its Implementation
H Bohnenkamp, H Hermanns, JP Katoen… - … Techniques and Tools …, 2003 - Springer
H Bohnenkamp, H Hermanns, JP Katoen, R Klaren
Computer Performance Evaluation. Modelling Techniques and Tools: 13th …, 2003•SpringerThis paper is about the tool-suite Motor that supports the modeling and analysis of Modest
specifications. In particular, we discuss its tool architecture, and the implementation details
of the tool components that do already exist, in particular, the parser, the SOS
implementation, an interactive simulator, and a state-space generator. As the
expressiveness of Modest goes beyond existing notations for real-time as well as
probabilistic systems, the implementation of these tool components has a non-trivial intrinsic …
specifications. In particular, we discuss its tool architecture, and the implementation details
of the tool components that do already exist, in particular, the parser, the SOS
implementation, an interactive simulator, and a state-space generator. As the
expressiveness of Modest goes beyond existing notations for real-time as well as
probabilistic systems, the implementation of these tool components has a non-trivial intrinsic …
Abstract
This paper is about the tool-suite Motor that supports the modeling and analysis of Modest specifications. In particular, we discuss its tool architecture, and the implementation details of the tool components that do already exist, in particular, the parser, the SOS implementation, an interactive simulator, and a state-space generator. As the expressiveness of Modest goes beyond existing notations for real-time as well as probabilistic systems, the implementation of these tool components has a non-trivial intrinsic complexity.
Springer
Showing the best result for this search. See all results