Möbius: Framework and atomic models

Daniel D. Deavours, William H. Sanders

Research output: Chapter in Book/Report/Conference proceedingConference 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 languageEnglish (US)
Title of host publicationProceedings - 9th International Workshop on Petri Nets and Performance Models, PNPM 2001
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages251-260
Number of pages10
ISBN (Electronic)0769512488, 9780769512488
DOIs
StatePublished - 2001
Externally publishedYes
Event9th International Workshop on Petri Nets and Performance Models, PNPM 2001 - Aachen, Germany
Duration: Sep 11 2001Sep 14 2001

Publication series

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

Conference

Conference9th International Workshop on Petri Nets and Performance Models, PNPM 2001
Country/TerritoryGermany
CityAachen
Period9/11/019/14/01

ASJC Scopus subject areas

  • Artificial Intelligence
  • Computational Theory and Mathematics
  • Modeling and Simulation

Cite this