The MoDeST modeling tool and its implementation

Henrik Bohnenkamp; Holger Hermanns; Joost-Pieter Katoen; Rick Klaren

doi:10.1007/978-3-540-45232-4_8

The MoDeST modeling tool and its implementation

Henrik Bohnenkamp
, Holger Hermanns
, Joost-Pieter Katoen
, Rick Klaren

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

19 Citations (Scopus)

418 Downloads (Pure)

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 language	English
Title of host publication	Computer performance evaluations. modelling techniques and tools
Subtitle of host publication	13th International Conference, TOOLS 2003, Urbana, IL, USA, September 2-5, 2003. Proceedings
Editors	Peter Kemper, William H. Sanders
Place of Publication	Berlin
Publisher	Springer
Pages	116-133
ISBN (Electronic)	978-3-540-45232-4
ISBN (Print)	978-3-540-40814-7
DOIs	https://doi.org/10.1007/978-3-540-45232-4_8
Publication status	Published - 2 Sept 2003
Event	13th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation 2003 - Urbana, United States Duration: 2 Sept 2003 → 5 Sept 2003 Conference number: 13

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	2794
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	13th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation 2003
Abbreviated title	TOOLS 2003
Country/Territory	United States
City	Urbana
Period	2/09/03 → 5/09/03

Keywords

2023 OA procedure

Access to Document

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

ArticleFinal published version, 213 KBLicence: Taverne

Cite this

Bohnenkamp, H., Hermanns, H., Katoen, J.-P., & Klaren, R. (2003). The MoDeST modeling tool and its implementation. In P. Kemper, & W. H. 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). Springer. https://doi.org/10.1007/978-3-540-45232-4_8

Bohnenkamp, Henrik ; Hermanns, Holger ; Katoen, Joost-Pieter et al. / 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 / Peter Kemper ; William H. 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 = "2023 OA procedure",

author = "Henrik Bohnenkamp and Holger Hermanns and Joost-Pieter Katoen and Rick Klaren",

year = "2003",

month = sep,

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 = "Peter Kemper and Sanders, \{William H.\}",

booktitle = "Computer performance evaluations. modelling techniques and tools",

address = "Germany",

note = "13th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation 2003, TOOLS 2003 ; Conference date: 02-09-2003 Through 05-09-2003",

}

Bohnenkamp, H, Hermanns, H, Katoen, J-P & Klaren, R 2003, The MoDeST modeling tool and its implementation. in P Kemper & WH 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, Illinois, United States, 2/09/03. https://doi.org/10.1007/978-3-540-45232-4_8

The MoDeST modeling tool and its implementation. / Bohnenkamp, Henrik; Hermanns, Holger; Katoen, Joost-Pieter et al.
Computer performance evaluations. modelling techniques and tools: 13th International Conference, TOOLS 2003, Urbana, IL, USA, September 2-5, 2003. Proceedings. ed. / Peter Kemper; William H. Sanders. Berlin: Springer, 2003. p. 116-133 (Lecture Notes in Computer Science; Vol. 2794).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - The MoDeST modeling tool and its implementation

AU - Bohnenkamp, Henrik

AU - Hermanns, Holger

AU - Katoen, Joost-Pieter

AU - Klaren, Rick

N1 - Conference code: 13

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 - 2023 OA procedure

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, Peter

A2 - Sanders, William H.

PB - Springer

CY - Berlin

T2 - 13th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation 2003

Y2 - 2 September 2003 through 5 September 2003

ER -

Bohnenkamp H, Hermanns H, Katoen JP, Klaren R. The MoDeST modeling tool and its implementation. In Kemper P, Sanders WH, 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). doi: 10.1007/978-3-540-45232-4_8

The MoDeST modeling tool and its implementation

Abstract

Publication series

Conference

Keywords

Access to Document

Fingerprint

Cite this