Möbius: Framework and atomic models

Daniel D. Deavours; William H. Sanders

doi:10.1109/PNPM.2001.953374

Möbius: Framework and atomic models

Daniel D. Deavours, William H. Sanders

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

Abstract

This paper gives an overview of the Möbius framework, and gives a formal specification for defining atomic models within the framework. The framework is designed to be capable of incorporating multiple modeling formalisms, including atomic models (eg, SPNs), composition formalisms (e.g., Replicate/Join), measure specification formalisms, connection formalisms, and solvers. We focus on atomic models, which are composed of actions, state variables, and properties. We argue that these are sufficient to specify a large number of atomic model formalisms in the Möbius framework. The framework serves as a basis for the Möbius tool [13].

Original language	English (US)
Title of host publication	Proceedings - 9th International Workshop on Petri Nets and Performance Models, PNPM 2001
Publisher	Institute of Electrical and Electronics Engineers Inc.
Pages	251-260
Number of pages	10
ISBN (Electronic)	0769512488, 9780769512488
DOIs	https://doi.org/10.1109/PNPM.2001.953374
State	Published - 2001
Externally published	Yes
Event	9th International Workshop on Petri Nets and Performance Models, PNPM 2001 - Aachen, Germany Duration: Sep 11 2001 → Sep 14 2001

Publication series

Name	Proceedings - 9th International Workshop on Petri Nets and Performance Models, PNPM 2001

Conference

Conference	9th International Workshop on Petri Nets and Performance Models, PNPM 2001
Country/Territory	Germany
City	Aachen
Period	9/11/01 → 9/14/01

ASJC Scopus subject areas

Artificial Intelligence
Computational Theory and Mathematics
Modeling and Simulation

Online availability

10.1109/PNPM.2001.953374

Library availability

Discover UIUC Full Text

Cite this

Deavours, D. D., & Sanders, W. H. (2001). Möbius: Framework and atomic models. In Proceedings - 9th International Workshop on Petri Nets and Performance Models, PNPM 2001 (pp. 251-260). (Proceedings - 9th International Workshop on Petri Nets and Performance Models, PNPM 2001). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/PNPM.2001.953374

Möbius: Framework and atomic models. / Deavours, Daniel D.; Sanders, William H.
Proceedings - 9th International Workshop on Petri Nets and Performance Models, PNPM 2001. Institute of Electrical and Electronics Engineers Inc., 2001. p. 251-260 (Proceedings - 9th International Workshop on Petri Nets and Performance Models, PNPM 2001).

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

Deavours, DD & Sanders, WH 2001, Möbius: Framework and atomic models. in Proceedings - 9th International Workshop on Petri Nets and Performance Models, PNPM 2001. Proceedings - 9th International Workshop on Petri Nets and Performance Models, PNPM 2001, Institute of Electrical and Electronics Engineers Inc., pp. 251-260, 9th International Workshop on Petri Nets and Performance Models, PNPM 2001, Aachen, Germany, 9/11/01. https://doi.org/10.1109/PNPM.2001.953374

@inproceedings{d547c010f9d04853a6ac12d87fe99f46,

title = "M{\"o}bius: Framework and atomic models",

abstract = "This paper gives an overview of the M{\"o}bius framework, and gives a formal specification for defining atomic models within the framework. The framework is designed to be capable of incorporating multiple modeling formalisms, including atomic models (eg, SPNs), composition formalisms (e.g., Replicate/Join), measure specification formalisms, connection formalisms, and solvers. We focus on atomic models, which are composed of actions, state variables, and properties. We argue that these are sufficient to specify a large number of atomic model formalisms in the M{\"o}bius framework. The framework serves as a basis for the M{\"o}bius tool [13].",

author = "Deavours, {Daniel D.} and Sanders, {William H.}",

note = "Publisher Copyright: {\textcopyright} 2001 IEEE.; 9th International Workshop on Petri Nets and Performance Models, PNPM 2001 ; Conference date: 11-09-2001 Through 14-09-2001",

year = "2001",

doi = "10.1109/PNPM.2001.953374",

language = "English (US)",

series = "Proceedings - 9th International Workshop on Petri Nets and Performance Models, PNPM 2001",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

pages = "251--260",

booktitle = "Proceedings - 9th International Workshop on Petri Nets and Performance Models, PNPM 2001",

address = "United States",

}

TY - GEN

T1 - Möbius

T2 - 9th International Workshop on Petri Nets and Performance Models, PNPM 2001

AU - Deavours, Daniel D.

AU - Sanders, William H.

PY - 2001

Y1 - 2001

N2 - This paper gives an overview of the Möbius framework, and gives a formal specification for defining atomic models within the framework. The framework is designed to be capable of incorporating multiple modeling formalisms, including atomic models (eg, SPNs), composition formalisms (e.g., Replicate/Join), measure specification formalisms, connection formalisms, and solvers. We focus on atomic models, which are composed of actions, state variables, and properties. We argue that these are sufficient to specify a large number of atomic model formalisms in the Möbius framework. The framework serves as a basis for the Möbius tool [13].

AB - This paper gives an overview of the Möbius framework, and gives a formal specification for defining atomic models within the framework. The framework is designed to be capable of incorporating multiple modeling formalisms, including atomic models (eg, SPNs), composition formalisms (e.g., Replicate/Join), measure specification formalisms, connection formalisms, and solvers. We focus on atomic models, which are composed of actions, state variables, and properties. We argue that these are sufficient to specify a large number of atomic model formalisms in the Möbius framework. The framework serves as a basis for the Möbius tool [13].

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

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

U2 - 10.1109/PNPM.2001.953374

DO - 10.1109/PNPM.2001.953374

M3 - Conference contribution

AN - SCOPUS:84957814432

T3 - Proceedings - 9th International Workshop on Petri Nets and Performance Models, PNPM 2001

SP - 251

EP - 260

BT - Proceedings - 9th International Workshop on Petri Nets and Performance Models, PNPM 2001

PB - Institute of Electrical and Electronics Engineers Inc.

Y2 - 11 September 2001 through 14 September 2001

ER -

Möbius: Framework and atomic models

Abstract

Publication series

Conference

ASJC Scopus subject areas

Online availability

Library availability

Related links

Fingerprint

Cite this