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 › peer-review

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)
Pages	671
Number of pages	1
DOIs	https://doi.org/10.1109/DSN.2003.1209980
State	Published - 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/Territory	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

Online availability

10.1109/DSN.2003.1209980

Library availability

Discover UIUC Full Text

Cite this

@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",

doi = "10.1109/DSN.2003.1209980",

language = "English (US)",

pages = "671",

}

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

Y1 - 2003

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

SP - 671

T2 - 2003 International Conference on Dependable Systems and Networks

Y2 - 22 June 2003 through 25 June 2003

ER -

On Integrating the Möbius and Modest Modeling Tools

Abstract

Other

ASJC Scopus subject areas

Online availability

Library availability

Related links

Fingerprint

Cite this