The Möbius Modeling Environment: Recent Developments
Tod Courtney, David Daly, Salem Derisavi, Shravan Gaonkar, Mark Griffith, Vinh Lam, William H. S · 2004
The Möbius modeling tool provides an infrastructure to support multiple interacting formalisms and solvers, and is extensible in that new formalisms and solvers can be added to the tool in such a way that they can interact with those already implemented without requiring additional changes to the previously implemented ones. We have continued to add features to the Möbius tool in order to enhance the extensibility of the tool and to allow increased interaction between new and different formalisms and solvers. In this paper, we discuss some recent additions to Möbius, including expanded state variable types, a fixed-point mechanism called “connection, ” and improvements to CTMC solution that includes a new state level abstract functional interface. 1 Möbius Tool Möbius is a system-level performance and dependability modeling tool that was motivated by the observations that no one formalism is best for building and solving models, that no single solution method is appropriate for solving all models, and that new formalisms and solution techniques are often hindered by the need to build a complete tool to handle them. We dealt with these three issues by defining a broad framework (a formal, mathematical specification of model construction and execution [1]) in which new modeling formalisms and model solution methods can be easily integrated. In implementing the framework we defined an abstract functional interface (AFI) [2], which is realized as a set of functions that facilitates inter-model communication as well as communication between models and solvers. The Möbius tool architecture is separated into two different logical layers: model specification and model execution. Model specification in the tool is done through graphical user interfaces in Java, while all model execution is done exclusively in C++ to attain efficiency and high performance. This material is based upon work supported by the National Science