The MoDeST modeling tool and its implementation

H.C. Bohnenkamp, H. Hermanns, Joost P. Katoen, J. Klaren

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

15 Citations (Scopus)

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.
Original languageEnglish
Title of host publicationComputer performance evaluations. modelling techniques and tools
Subtitle of host publication13th International Conference, TOOLS 2003, Urbana, IL, USA, September 2-5, 2003. Proceedings
EditorsP. Kemper, W. Sanders
Place of PublicationBerlin
PublisherSpringer
Pages116-133
ISBN (Electronic)978-3-540-45232-4
ISBN (Print)978-3-540-40814-7
DOIs
Publication statusPublished - 2 Sep 2003
Event13th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation 2003 - Urbana, United States
Duration: 2 Sep 20035 Sep 2003
Conference number: 13

Publication series

NameLecture notes in computer science
Volume2794
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference13th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation 2003
Abbreviated titleTOOLS 2003
CountryUnited States
CityUrbana
Period2/09/035/09/03

Fingerprint

Simulators
Specifications

Keywords

  • METIS-217631

Cite this

Bohnenkamp, H. C., Hermanns, H., Katoen, J. P., & Klaren, J. (2003). The MoDeST modeling tool and its implementation. In P. Kemper, & W. Sanders (Eds.), Computer performance evaluations. modelling techniques and tools: 13th International Conference, TOOLS 2003, Urbana, IL, USA, September 2-5, 2003. Proceedings (pp. 116-133). (Lecture notes in computer science; Vol. 2794). Berlin: Springer. https://doi.org/10.1007/978-3-540-45232-4_8
Bohnenkamp, H.C. ; Hermanns, H. ; Katoen, Joost P. ; Klaren, J. / The MoDeST modeling tool and its implementation. Computer performance evaluations. modelling techniques and tools: 13th International Conference, TOOLS 2003, Urbana, IL, USA, September 2-5, 2003. Proceedings. editor / P. Kemper ; W. Sanders. Berlin : Springer, 2003. pp. 116-133 (Lecture notes in computer science).
@inproceedings{af28e815d122403ca6e796df867cd150,
title = "The MoDeST modeling tool and its implementation",
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.",
keywords = "METIS-217631",
author = "H.C. Bohnenkamp and H. Hermanns and Katoen, {Joost P.} and J. Klaren",
year = "2003",
month = "9",
day = "2",
doi = "10.1007/978-3-540-45232-4_8",
language = "English",
isbn = "978-3-540-40814-7",
series = "Lecture notes in computer science",
publisher = "Springer",
pages = "116--133",
editor = "P. Kemper and W. Sanders",
booktitle = "Computer performance evaluations. modelling techniques and tools",

}

Bohnenkamp, HC, Hermanns, H, Katoen, JP & Klaren, J 2003, The MoDeST modeling tool and its implementation. in P Kemper & W Sanders (eds), Computer performance evaluations. modelling techniques and tools: 13th International Conference, TOOLS 2003, Urbana, IL, USA, September 2-5, 2003. Proceedings. Lecture notes in computer science, vol. 2794, Springer, Berlin, pp. 116-133, 13th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation 2003, Urbana, United States, 2/09/03. https://doi.org/10.1007/978-3-540-45232-4_8

The MoDeST modeling tool and its implementation. / Bohnenkamp, H.C.; Hermanns, H.; Katoen, Joost P.; Klaren, J.

Computer performance evaluations. modelling techniques and tools: 13th International Conference, TOOLS 2003, Urbana, IL, USA, September 2-5, 2003. Proceedings. ed. / P. Kemper; W. Sanders. Berlin : Springer, 2003. p. 116-133 (Lecture notes in computer science; Vol. 2794).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

TY - GEN

T1 - The MoDeST modeling tool and its implementation

AU - Bohnenkamp, H.C.

AU - Hermanns, H.

AU - Katoen, Joost P.

AU - Klaren, J.

PY - 2003/9/2

Y1 - 2003/9/2

N2 - 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.

AB - 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.

KW - METIS-217631

U2 - 10.1007/978-3-540-45232-4_8

DO - 10.1007/978-3-540-45232-4_8

M3 - Conference contribution

SN - 978-3-540-40814-7

T3 - Lecture notes in computer science

SP - 116

EP - 133

BT - Computer performance evaluations. modelling techniques and tools

A2 - Kemper, P.

A2 - Sanders, W.

PB - Springer

CY - Berlin

ER -

Bohnenkamp HC, Hermanns H, Katoen JP, Klaren J. The MoDeST modeling tool and its implementation. In Kemper P, Sanders W, editors, Computer performance evaluations. modelling techniques and tools: 13th International Conference, TOOLS 2003, Urbana, IL, USA, September 2-5, 2003. Proceedings. Berlin: Springer. 2003. p. 116-133. (Lecture notes in computer science). https://doi.org/10.1007/978-3-540-45232-4_8