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