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.
N1 - Funding Information:
* This material is based upon work supported in part by the National Science Foundation under Grant No. 9975019 and by the Motorola Center for High-Availability System Validation at the University of Illinois (under the umbrella of the Motorola Communications Center). Any opinions, findings and conclusions or recommendations expressed in this material are those of the authors and do not necessarily reflect the views of the Na- tional Science Foundation or of Motorola.
Publisher Copyright:
© 2001 IEEE.
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 -