The Möbius Framework and Its Implementation

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.

[1]  William H. Sanders,et al.  Reduced base model construction methods for stochastic activity networks , 1989, Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM89.

[2]  Peter Kemper.  Numerical Analysis of Superposed GSPNs , 1996, IEEE Trans. Software Eng..

[3]  Stephen Gilmore,et al.  PEPA Nets: A Structured Performance Modelling Formalism , 2002, Computer Performance Evaluation / TOOLS.

[4]  Kishor S. Trivedi,et al.  A Decomposition Approach for Stochastic Reward Net Models , 1993, Perform. Evaluation.

[5]  Brigitte Plateau,et al.  Stochastic Automata Network For Modeling Parallel Systems , 1991, IEEE Trans. Software Eng..

[6]  Kishor S. Trivedi,et al.  The development of an integrated modeling environment , 1998 .

[7]  Kishor S. Trivedi,et al.  Performance and Reliability Analysis of Computer Systems , 1996, Springer US.

[8]  William H. Sanders,et al.  Integrated frameworks for multi-level and multi-formalism modeling , 1999, Proceedings 8th International Workshop on Petri Nets and Performance Models (Cat. No.PR00331).

[9]  Charles H. Sauer,et al.  Simulation of Computer Communication Systems , 1983, Int. CMG Conference.

[10]  Gianfranco Ciardo,et al.  SMART: simulation and Markovian analyzer for reliability and timing , 1996, Proceedings of IEEE International Computer Performance and Dependability Symposium.

[11]  Kishor S. Trivedi,et al.  Automated Generation and Analysis of Markov Reward Models Using Stochastic Reward Nets , 1993 .

[12]  Kishor S. Trivedi,et al.  SPNP: The Stochastic Petri Net Package (Version 3.1) , 1993, MASCOTS.

[13]  Stephen Gilmore,et al.  Process Algebra and Probabilistic Methods. Performance Modelling and Verification , 2001, Lecture Notes in Computer Science.

[14]  William H. Sanders,et al.  Stochastic Activity Networks: Structure, Behavior, and Application , 1985, PNPM.

[15]  William H. Sanders,et al.  A Unified Approach for Specifying Measures of Performance, Dependability and Performability , 1991 .

[16]  Michael K. Molloy.  Performance Analysis Using Stochastic Petri Nets , 1982, IEEE Transactions on Computers.

[17]  William H. Sanders,et al.  State-Space Support for Path-Based Reward Variables , 1999, Perform. Evaluation.

[18]  Stephen Gilmore,et al.  An Efficient Algorithm for Aggregating PEPA Models , 2001, IEEE Trans. Software Eng..

[19]  Kishor S. Trivedi,et al.  Performance And Reliability Analysis Of Computer Systems (an Example-based Approach Using The Sharpe Software , 1997, IEEE Transactions on Reliability.

[20]  Susanna Donatelli,et al.  Superposed Generalized Stochastic Petri Nets: Definition and Efficient Solution , 1994, Application and Theory of Petri Nets.

[21]  Jay M. Doyle,et al.  Abstract Model Specification Using the Möbius Modeling Tool , 2000 .

[22]  Boudewijn R. Haverkort,et al.  Performance and reliability analysis of computer systems: An example-based approach using the sharpe software package , 1998 .

[23]  W. D. Obal,et al.  Measure-adaptive state-space construction methods , 1998 .

[24]  Giovanni Chiola,et al.  GreatSPN 1.7: Graphical Editor and Analyzer for Timed and Stochastic Petri Nets , 1995, Perform. Evaluation.

[25]  Peter Buchholz,et al.  A Toolbox for Functional and Quantitative Analysis of DEDS , 1998, Computer Performance Evaluation.

[26]  William H. Sanders,et al.  An Efficient Disk-Based Tool for Solving Large Markov Models , 1998, Perform. Evaluation.

[27]  Peter G. Harrison,et al.  Computer Performance Evaluation: Modelling Techniques and Tools , 2002, Lecture Notes in Computer Science.

[28]  Antonio Puliafito,et al.  A Modeling Framework to Implement Preemption Policies in Non-Markovian SPNs , 2000, IEEE Trans. Software Eng..

[29]  K. Mani Chandy,et al.  Open, Closed, and Mixed Networks of Queues with Different Classes of Customers , 1975, JACM.

[30]  William H. Sanders,et al.  The Mobius execution policy , 2001, Proceedings 9th International Workshop on Petri Nets and Performance Models.

[31]  Marco Ajmone Marsan,et al.  A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems , 1984, TOCS.

[32]  Daniel D. Deavours,et al.  Formal Specification of the Möbius Modeling Framework , 2001 .

[33]  Aaron James Stillman,et al.  Model Composition Within the Möbius Modeling Framework , 1999 .

[34]  William H. Sanders,et al.  "On-the-fly" solution techniques for stochastic Petri nets and extensions , 1997, Proceedings of the Seventh International Workshop on Petri Nets and Performance Models.

[35]  M.A. Qureshi,et al.  The UltraSAN Modeling Environment , 1995, Perform. Evaluation.

[36]  William H. Sanders,et al.  Measure-adaptive state-space construction , 2001, Perform. Evaluation.

[37]  William H. Sanders,et al.  Implementing a Stochastic Process Algebra within the Möbius Modeling Framework , 2001, PAPM-PROBMIV.

[38]  Margaret J. Robertson,et al.  Design and Analysis of Experiments , 2006, Handbook of statistics.

[39]  Jean-Michel Fourneau,et al.  A Methodology for Solving Markov Models of Parallel Systems , 1991, J. Parallel Distributed Comput..

[40]  William H. Sanders,et al.  An efficient well-specified check , 1999, Proceedings 8th International Workshop on Petri Nets and Performance Models (Cat. No.PR00331).

[41]  William H. Sanders,et al.  The Mobius modeling tool , 2001, Proceedings 9th International Workshop on Petri Nets and Performance Models.

[42]  Aad P. A. van Moorsel,et al.  Reusable Software Components for Performability Tools and Their Utilization for Web-Based Configurable Tools , 1998, Computer Performance Evaluation.

[43]  Robert Holton,et al.  A PEPA Specification of an Industrial Production Cell , 1995, Comput. J..

[44]  Boudewijn R. Haverkort.  PERFORMABILITY EVALUATION OF FAULT-TOLERANT COMPUTER SYSTEMS USING DYQNTOOL+ , 1995 .

[45]  Alex Lee Williamson,et al.  Discrete Event Simulation in the Möbius Modeling Framework , 1999 .

[46]  Jane Hillston,et al.  A compositional approach to performance modelling , 1996 .