The Community for Technology Leaders
Quantitative Evaluation of Systems, International Conference on (2004)
Enschede, the Netherlands
Sept. 27, 2004 to Sept. 30, 2004
ISBN: 0-7695-2185-1
pp: 328-329
Tod Courtney , University of Illinois at Urbana-Champaign
David Daly , University of Illinois at Urbana-Champaign
Salem Derisavi , University of Illinois at Urbana-Champaign
Shravan Gaonkar , University of Illinois at Urbana-Champaign
Mark Griffith , University of Illinois at Urbana-Champaign
Vinh Lam , University of Illinois at Urbana-Champaign
William H. Sanders , University of Illinois at Urbana-Champaign
ABSTRACT
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.
INDEX TERMS
null
CITATION

V. Lam et al., "The M?bius Modeling Environment: Recent Developments," Quantitative Evaluation of Systems, International Conference on(QEST), Enschede, the Netherlands, 2004, pp. 328-329.
doi:10.1109/QEST.2004.10004
95 ms
(Ver 3.3 (11022016))