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

doi:10.1109/DSN.2003.1209980

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 language	English (US)
Number of pages	1
DOIs	https://doi.org/10.1109/DSN.2003.1209980
State	Published - Dec 1 2003
Event	2003 International Conference on Dependable Systems and Networks - San Francisco, CA, United States Duration: Jun 22 2003 → Jun 25 2003

Other

Other	2003 International Conference on Dependable Systems and Networks
Country	United States
City	San Francisco, CA
Period	6/22/03 → 6/25/03

ASJC Scopus subject areas

Software
Hardware and Architecture
Computer Networks and Communications

Access to Document

10.1109/DSN.2003.1209980

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

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

@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 = dec,

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

T2 - 2003 International Conference on Dependable Systems and Networks

Y2 - 22 June 2003 through 25 June 2003

ER -