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 conference › Paper

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 2003 → Jun 25 2003

Other

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

Fingerprint

Specifications
Specification languages
Stochastic models

ASJC Scopus subject areas

  • Software
  • Hardware and Architecture
  • Computer Networks and Communications

Cite this

Bohnenkamp, H., Courtney, T., Daly, D., Derisavi, S., Hermanns, H., Katoen, J. P., ... 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

On Integrating the Möbius and Modest Modeling Tools. / Bohnenkamp, Henrik; Courtney, Tod; Daly, David; Derisavi, Salem; Hermanns, Holger; Katoen, Joost Pieter; Klaren, Ric; Vi Lam, Vinh; Sanders, William H.

2003. Paper presented at 2003 International Conference on Dependable Systems and Networks, San Francisco, CA, United States.

Research output: Contribution to conference › Paper

Bohnenkamp, H, Courtney, T, Daly, D, Derisavi, S, Hermanns, H, Katoen, JP, Klaren, R, Vi Lam, V & Sanders, WH 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, 6/22/03 - 6/25/03. https://doi.org/10.1109/DSN.2003.1209980
Bohnenkamp H, Courtney T, Daly D, Derisavi S, Hermanns H, Katoen JP et al. On Integrating the Möbius and Modest Modeling Tools. 2003. Paper presented at 2003 International Conference on Dependable Systems and Networks, San Francisco, CA, United States. https://doi.org/10.1109/DSN.2003.1209980
Bohnenkamp, Henrik ; Courtney, Tod ; Daly, David ; Derisavi, Salem ; Hermanns, Holger ; Katoen, Joost Pieter ; Klaren, Ric ; Vi Lam, Vinh ; Sanders, William H. / 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.1 p.
@conference{29d124081028438aac295953c53f7e2f,
title = "On Integrating the M{\"o}bius and Modest Modeling Tools",
abstract = "The integration of MODEST specification language into the M{\"O}BIUS framework is presented. The integration complements the qualitative analysis of MODEST specifications using CADP with powerful solution techniques of M{\"O}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{\"O}BIUS. The integration of MODEST into the M{\"O}BIUS framework is established by a direct mapping from MODEST onto the M{\"O}BIUS abstract functional interface (AFI).",
author = "Henrik Bohnenkamp and Tod Courtney and David Daly and Salem Derisavi and Holger Hermanns and Katoen, {Joost Pieter} and Ric Klaren and {Vi Lam}, Vinh and Sanders, {William H.}",
year = "2003",
month = "12",
day = "1",
doi = "10.1109/DSN.2003.1209980",
language = "English (US)",
note = "2003 International Conference on Dependable Systems and Networks ; Conference date: 22-06-2003 Through 25-06-2003",

}

TY - CONF

T1 - On Integrating the Möbius and Modest Modeling Tools

AU - Bohnenkamp, Henrik

AU - Courtney, Tod

AU - Daly, David

AU - Derisavi, Salem

AU - Hermanns, Holger

AU - Katoen, Joost Pieter

AU - Klaren, Ric

AU - Vi Lam, Vinh

AU - Sanders, William H.

PY - 2003/12/1

Y1 - 2003/12/1

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

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

UR - http://www.scopus.com/inward/record.url?scp=1542300147&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=1542300147&partnerID=8YFLogxK

U2 - 10.1109/DSN.2003.1209980

DO - 10.1109/DSN.2003.1209980

M3 - Paper

AN - SCOPUS:1542300147

ER -

Access to Document