MULTI-FORMALISM AND MULTI-SOLUTION-METHOD MODELING FRAMEWORKS : THE MÖBIUS APPROACH

Despite the development of many modeling formalisms and model solution methods, most tool implementations support only a single formalism. Furthermore, models expressed in a chosen formalism cannot be combined to interact with models expressed in other formalisms. This chapter provides an overview of selected performance/dependability modeling tools motivating the need for multi-formalism and multi-solution-method tools, provides an overview of the Möbius multiformalism, multi-solution modeling tool, and describes new enhancements to the tool by us and others. Möbius 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 such that they can interact with those already implemented without requiring additional changes to the previously implemented ones. We hope that this chapter makes a clear case for multi-formalism, multi-solution-method modeling tools, and inspires others to join us in the creation of them.

[1]  Reinhard German,et al.  SPNL: Processes as Language-Oriented Building Blocks of Stochastic Petri Nets , 1997, Computer Performance Evaluation.

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

[3]  William H. Sanders,et al.  On integrating the MOBIUS and MODEST modeling tools , 2003, 2003 International Conference on Dependable Systems and Networks, 2003. Proceedings..

[4]  Kishor S. Trivedi,et al.  THE SYSTEM AVAILABILITY ESTIMATOR , 1996 .

[5]  William H. Sanders,et al.  The Möbius state-level abstract functional interface , 2002, Perform. Evaluation.

[6]  Ravishankar K. Iyer,et al.  DEPEND: A Simulation-Based Environment for System Level Dependability Analysis , 1997, IEEE Trans. Computers.

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

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

[9]  Richard R. Muntz,et al.  TANGRAM-II: A Performability Modeling Environment Tool , 1997, Computer Performance Evaluation.

[10]  Gianfranco Ciardo,et al.  Logical and Stochastic Modeling with SMART , 2003, Computer Performance Evaluation / TOOLS.

[11]  Joost-Pieter Katoen,et al.  MoDeST - A Modelling and Description Language for Stochastic Timed Systems , 2001, PAPM-PROBMIV.

[12]  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.

[13]  William H. Sanders,et al.  The Möbius Framework and Its Implementation , 2002, IEEE Trans. Software Eng..

[14]  Peter Buchholz,et al.  Hierarchically combined queueing Petri nets , 1994 .

[15]  Ramon Puigjaner,et al.  Modeling Techniques and Tools for Computer Performance Evaluation , 1989, Springer US.

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

[17]  Andreas Reuys,et al.  The DSPNexpress 2.000 performance and dependability modeling environment , 1999, Digest of Papers. Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing (Cat. No.99CB36352).

[18]  S TrivediKishor,et al.  A decomposition approach for stochastic reward net models , 1993 .

[19]  William J. Stewart,et al.  Introduction to the numerical solution of Markov Chains , 1994 .

[20]  WoodsideMurray,et al.  A toolset for performance engineering and software design of client-server systems , 1995 .

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

[22]  John Mark Sowder,et al.  State-Space Generation Techniques in the Möbius Modeling Framework , 1999 .

[23]  Patrick Gerald Webster,et al.  Design of Experiments in the Möbius Modeling Framework , 2002 .

[24]  Amy Lou Christensen.  Result Specification and Model Connection in the Möbius Modeling Framework , 2000 .

[25]  Jerome A. Rolia,et al.  A Toolset for Performance Engineering and Software Design of Client-Server Systems , 1995, Perform. Evaluation.

[26]  Kishor S. Trivedi,et al.  IDEA: integrated design environment for assessment of ATM networks , 1996, Proceedings of ICECCS '96: 2nd IEEE International Conference on Engineering of Complex Computer Systems (held jointly with 6th CSESAW and 4th IEEE RTAW).

[27]  Edward A. MacNair,et al.  The Research Queueing Package Modeling Environment (resqme) , 1993, Proceedings of 1993 Winter Simulation Conference - (WSC '93).

[28]  H. Beilner,et al.  Towards a Performance Modelling Environment: News on Hit , 1989 .

[29]  Marc Bouissou.  The FIGARO dependability evaluation workbench in use: Case studies for fault-tolerant computer systems , 1993, FTCS-23 The Twenty-Third International Symposium on Fault-Tolerant Computing.

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

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

[32]  Murari Sridharan,et al.  HIMAP: Architecture, Features, and Hierarchical Model Specification Techniques , 1998, Computer Performance Evaluation.

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

[34]  William H. Sanders,et al.  Optimal state-space lumping in Markov chains , 2003, Inf. Process. Lett..

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

[36]  Robin A. Sahner.  A hybrid, combinatorial-Markov method of solving performance and reliability models , 1986 .

[37]  William H. Sanders,et al.  Symbolic state-space exploration and numerical analysis of state-sharing composed models , 2004 .

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

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

[40]  Jean Arlat,et al.  SURF-2: A program for dependability evaluation of complex hardware and software systems , 1993, FTCS-23 The Twenty-Third International Symposium on Fault-Tolerant Computing.

[41]  Connie U. Smith,et al.  Performance Engineering Evaluation of Object Oriented Systems With SPE-ED , 1997, Int. CMG Conference.

[42]  William H. Sanders,et al.  The Möbius state-level abstract functional interface , 2003, Perform. Evaluation.

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

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

[45]  Kishor S. Trivedi,et al.  Analysis of Typical Fault-Tolerant Architectures using HARP , 1987, IEEE Transactions on Reliability.

[46]  Günter Hommel,et al.  TimeNET: A Toolkit for Evaluating Non-Markovian Stochastic Petri Nets , 1995, Perform. Evaluation.

[47]  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.

[48]  William H. Sanders,et al.  Reduced Base Model Construction Methods for Stochastic Activity Networks , 1991, IEEE J. Sel. Areas Commun..

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

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

[51]  Peter G. Harrison,et al.  Modelling techniques and tools for computer performance evaluation , 2003, Perform. Evaluation.

[52]  Robert K. Brayton,et al.  Algorithms for discrete function manipulation , 1990, 1990 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers.

[53]  William H. Sanders,et al.  Stochastic Activity Networks: Formal Definitions and Concepts , 2002, European Educational Forum: School on Formal Methods and Performance Analysis.

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

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