The Mobius framework and its implementation
Top Cited Papers
- 10 December 2002
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. 28 (10) , 956-969
- https://doi.org/10.1109/tse.2002.1041052
Abstract
The Mobius framework is an environment for supporting multiple modeling formalisms and solution techniques. Models expressed in formalisms that are compatible with the framework are translated into equivalent models using Mobius framework components. This translation preserves the structure of the models, allowing efficient solutions. The framework is implemented in the tool by a well-defined abstract functional interface. Models and solution techniques interact with one another through the use of the standard interface, allowing them to interact with Mobius framework components, not formalism components. This permits novel combinations of modeling techniques, and will be a catalyst for new research in modeling techniques. This paper describes our approach, focusing on the "atomic model". We describe the formal description of the Mobius components as well as their implementations in our software tool.Keywords
This publication has 27 references indexed in Scilit:
- Integrated frameworks for multi-level and multi-formalism modelingPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- An efficient well-specified checkPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- State-space support for path-based reward variablesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Implementing a Stochastic Process Algebra within the Möbius Modeling FrameworkPublished by Springer Nature ,2001
- Measure-adaptive state-space constructionPerformance Evaluation, 2001
- "On-the-fly" solution techniques for stochastic Petri nets and extensionsIEEE Transactions on Software Engineering, 1998
- An efficient disk-based tool for solving large Markov modelsPerformance Evaluation, 1998
- A Compositional Approach to Performance ModellingPublished by Cambridge University Press (CUP) ,1996
- Stochastic automata network of modeling parallel systemsIEEE Transactions on Software Engineering, 1991
- Reduced base model construction methods for stochastic activity networksIEEE Journal on Selected Areas in Communications, 1991