The möbius modeling environment: Recent developments

Tod Courtney; David Daly; Salem Derisavi; Shravan Gaonkar; Mark Griffith; Vinh Lam; William H. Sanders

doi:10.1109/QEST.2004.1348051

The möbius modeling environment: Recent developments

Tod Courtney, David Daly, Salem Derisavi, Shravan Gaonkar, Mark Griffith, Vinh Lam, William H. Sanders

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

The Möbius modeling tool provides an infrastructure to support multiple interacting formalisms and solvers, and is extensible in that new formalisms and solvers can be added to the tool in such a way that they can interact with those already implemented without requiring additional changes to the previously implemented ones. We have continued to add features to the Möbius tool in order to enhance the extensibility of the tool and to allow increased interaction between new and different formalisms and solvers. In this paper, we discuss some recent additions to Möbius, including expanded state variable types, a fixed-point mechanism called "connection," and improvements to CTMC solution that includes a new state level abstract functional interface.

Original language	English (US)
Title of host publication	Proceedings - First International Conference on the Quantitative Evaluation of Systems, QEST 2004
Pages	328-329
Number of pages	2
DOIs	https://doi.org/10.1109/QEST.2004.1348051
State	Published - 2004
Event	Proceedings - First International Conference on the Quantitave Evaluation of Systems, QEST 2004 - Enschede, Netherlands Duration: Sep 27 2004 → Sep 30 2004

Publication series

Name	Proceedings - First International Conference on the Quantitative Evaluation of Systems, QEST 2004

Other

Other	Proceedings - First International Conference on the Quantitave Evaluation of Systems, QEST 2004
Country/Territory	Netherlands
City	Enschede
Period	9/27/04 → 9/30/04

ASJC Scopus subject areas

Engineering(all)

Online availability

10.1109/QEST.2004.1348051

Library availability

Discover UIUC Full Text

Cite this

Courtney, T., Daly, D., Derisavi, S., Gaonkar, S., Griffith, M., Lam, V., & Sanders, W. H. (2004). The möbius modeling environment: Recent developments. In Proceedings - First International Conference on the Quantitative Evaluation of Systems, QEST 2004 (pp. 328-329). (Proceedings - First International Conference on the Quantitative Evaluation of Systems, QEST 2004). https://doi.org/10.1109/QEST.2004.1348051

The möbius modeling environment : Recent developments. / Courtney, Tod; Daly, David; Derisavi, Salem et al.

Proceedings - First International Conference on the Quantitative Evaluation of Systems, QEST 2004. 2004. p. 328-329 (Proceedings - First International Conference on the Quantitative Evaluation of Systems, QEST 2004).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Courtney, T, Daly, D, Derisavi, S, Gaonkar, S, Griffith, M, Lam, V & Sanders, WH 2004, The möbius modeling environment: Recent developments. in Proceedings - First International Conference on the Quantitative Evaluation of Systems, QEST 2004. Proceedings - First International Conference on the Quantitative Evaluation of Systems, QEST 2004, pp. 328-329, Proceedings - First International Conference on the Quantitave Evaluation of Systems, QEST 2004, Enschede, Netherlands, 9/27/04. https://doi.org/10.1109/QEST.2004.1348051

Courtney T, Daly D, Derisavi S, Gaonkar S, Griffith M, Lam V et al. The möbius modeling environment: Recent developments. In Proceedings - First International Conference on the Quantitative Evaluation of Systems, QEST 2004. 2004. p. 328-329. (Proceedings - First International Conference on the Quantitative Evaluation of Systems, QEST 2004). doi: 10.1109/QEST.2004.1348051

@inproceedings{5fc125bdce6d4f22979ef537e15932d8,

title = "The m{\"o}bius modeling environment: Recent developments",

abstract = "The M{\"o}bius modeling tool provides an infrastructure to support multiple interacting formalisms and solvers, and is extensible in that new formalisms and solvers can be added to the tool in such a way that they can interact with those already implemented without requiring additional changes to the previously implemented ones. We have continued to add features to the M{\"o}bius tool in order to enhance the extensibility of the tool and to allow increased interaction between new and different formalisms and solvers. In this paper, we discuss some recent additions to M{\"o}bius, including expanded state variable types, a fixed-point mechanism called {"}connection,{"} and improvements to CTMC solution that includes a new state level abstract functional interface.",

author = "Tod Courtney and David Daly and Salem Derisavi and Shravan Gaonkar and Mark Griffith and Vinh Lam and Sanders, {William H.}",

year = "2004",

doi = "10.1109/QEST.2004.1348051",

language = "English (US)",

isbn = "0769521851",

series = "Proceedings - First International Conference on the Quantitative Evaluation of Systems, QEST 2004",

pages = "328--329",

booktitle = "Proceedings - First International Conference on the Quantitative Evaluation of Systems, QEST 2004",

note = "Proceedings - First International Conference on the Quantitave Evaluation of Systems, QEST 2004 ; Conference date: 27-09-2004 Through 30-09-2004",

}

TY - GEN

T1 - The möbius modeling environment

T2 - Proceedings - First International Conference on the Quantitave Evaluation of Systems, QEST 2004

AU - Courtney, Tod

AU - Daly, David

AU - Derisavi, Salem

AU - Gaonkar, Shravan

AU - Griffith, Mark

AU - Lam, Vinh

AU - Sanders, William H.

PY - 2004

Y1 - 2004

N2 - The Möbius modeling tool provides an infrastructure to support multiple interacting formalisms and solvers, and is extensible in that new formalisms and solvers can be added to the tool in such a way that they can interact with those already implemented without requiring additional changes to the previously implemented ones. We have continued to add features to the Möbius tool in order to enhance the extensibility of the tool and to allow increased interaction between new and different formalisms and solvers. In this paper, we discuss some recent additions to Möbius, including expanded state variable types, a fixed-point mechanism called "connection," and improvements to CTMC solution that includes a new state level abstract functional interface.

AB - The Möbius modeling tool provides an infrastructure to support multiple interacting formalisms and solvers, and is extensible in that new formalisms and solvers can be added to the tool in such a way that they can interact with those already implemented without requiring additional changes to the previously implemented ones. We have continued to add features to the Möbius tool in order to enhance the extensibility of the tool and to allow increased interaction between new and different formalisms and solvers. In this paper, we discuss some recent additions to Möbius, including expanded state variable types, a fixed-point mechanism called "connection," and improvements to CTMC solution that includes a new state level abstract functional interface.

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

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

U2 - 10.1109/QEST.2004.1348051

DO - 10.1109/QEST.2004.1348051

M3 - Conference contribution

AN - SCOPUS:16244390842

SN - 0769521851

SN - 9780769521855

T3 - Proceedings - First International Conference on the Quantitative Evaluation of Systems, QEST 2004

SP - 328

EP - 329

BT - Proceedings - First International Conference on the Quantitative Evaluation of Systems, QEST 2004

Y2 - 27 September 2004 through 30 September 2004

ER -

The möbius modeling environment: Recent developments

Abstract

Publication series

Other

ASJC Scopus subject areas

Online availability

Library availability

Related links

Cite this