The Community for Technology Leaders
Green Image
<p><b>Abstract</b>—The Möbius 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 Möbius 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 Möbius 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 Möbius components as well as their implementations in our software tool.</p>
Stochastic models, modeling formalisms, modeling frameworks, modeling tools, Markov models, stochastic Petri nets, PEPA, execution policy.
Patrick G. Webster, Daniel D. Deavours, Salem Derisavi, William H. Sanders, David Daly, Tod Courtney, Graham Clark, Jay M. Doyle, "The Möbius Framework and Its Implementation", IEEE Transactions on Software Engineering, vol. 28, no. , pp. 956-969, October 2002, doi:10.1109/TSE.2002.1041052
109 ms
(Ver )