On Integrating the Möbius and Modest Modeling Tools

Henrik Bohnenkamp, Tod Courtney, David Daly, Salem Derisavi, Holger Hermanns, Joost Pieter Katoen, Ric Klaren, Vinh Vi Lam, William H. Sanders

Research output: Contribution to conferencePaper

Abstract

The integration of MODEST specification language into the MÖBIUS framework is presented. The integration complements the qualitative analysis of MODEST specifications using CADP with powerful solution techniques of MÖBIUS for quantitative assessment. The integration also constitutes the basis for system specifications that are partly specified in MODEST and partly described by other formalisms, and enlarges the classes of stochastic models in MÖBIUS. The integration of MODEST into the MÖBIUS framework is established by a direct mapping from MODEST onto the MÖBIUS abstract functional interface (AFI).

Original languageEnglish (US)
Number of pages1
DOIs
StatePublished - Dec 1 2003
Event2003 International Conference on Dependable Systems and Networks - San Francisco, CA, United States
Duration: Jun 22 2003Jun 25 2003

Other

Other2003 International Conference on Dependable Systems and Networks
CountryUnited States
CitySan Francisco, CA
Period6/22/036/25/03

ASJC Scopus subject areas

  • Software
  • Hardware and Architecture
  • Computer Networks and Communications

Fingerprint Dive into the research topics of 'On Integrating the Möbius and Modest Modeling Tools'. Together they form a unique fingerprint.

  • Cite this

    Bohnenkamp, H., Courtney, T., Daly, D., Derisavi, S., Hermanns, H., Katoen, J. P., Klaren, R., Vi Lam, V., & Sanders, W. H. (2003). On Integrating the Möbius and Modest Modeling Tools. Paper presented at 2003 International Conference on Dependable Systems and Networks, San Francisco, CA, United States. https://doi.org/10.1109/DSN.2003.1209980