Formal Specification of the Möbius Modeling Framework

Classes and methods can both be abstract. An abstract class is a class that can not be instantiated, even if all the methods are defined. An abstract method is one that may not have a definition, and a class that has any abstract methods is also abstract. Only derived classes that override any abstract methods may be instantiated. A class that is derived from an abstract class and that does not override an abstract method is itself an abstract class, even if it is not declared to be so. The following illustrates an abstract method and class:

[1]  Marco Ajmone Marsan,et al.  Generalized Stochastic Petri Nets: A Definition at the Net Level and Its Implications , 1993, IEEE Trans. Software Eng..

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

[3]  Reinhard German,et al.  Performance analysis of communication systems - modelling with non-Markovian stochastic Petri nets , 2000, Wiley-Interscience series in systems and optimization.

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

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

[6]  Gianfranco Ciardo,et al.  Well-defined stochastic Petri nets , 1996, Proceedings of MASCOTS '96 - 4th International Workshop on Modeling, Analysis and Simulation of Computer and Telecommunication Systems.

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

[8]  Ali Movaghar,et al.  Performability modeling with stochastic activity networks , 1985 .

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

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

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

[12]  Marco Ajmone Marsan,et al.  The Effect of Execution Policies on the Semantics and Analysis of Stochastic Petri Nets , 1989, IEEE Trans. Software Eng..

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

[14]  P. Glynn.  A GSMP formalism for discrete event systems , 1989, Proc. IEEE.

[15]  Christel Baier,et al.  Model Checking Continuous-Time Markov Chains by Transient Analysis , 2000, CAV.

[16]  Kishor S. Trivedi,et al.  Fixed point iteration using stochastic reward nets , 1995, Proceedings 6th International Workshop on Petri Nets and Performance Models.

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

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

[19]  Marco Ajmone Marsan,et al.  Generalized Stochastic Petri Nets Revisitied: Random Switches and Priorities , 1987, PNPM.

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

[21]  Christos G. Cassandras,et al.  Discrete event systems : modeling and performance analysis , 1993 .

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

[23]  Christel Baier,et al.  Approximate Symbolic Model Checking of Continuous-Time Markov Chains , 1999, CONCUR.

[24]  William H. Sanders,et al.  Mobius: framework and atomic models , 2001, Proceedings 9th International Workshop on Petri Nets and Performance Models.

[25]  Peter Buchholz,et al.  QPN-Tool for the Specification ans Analysis of Hierarchically Combined Queueing Petri Nets , 1995, MMB.

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

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

[28]  Joost-Pieter Katoen,et al.  On the use of model checking techniques for dependability evaluation , 2000, Proceedings 19th IEEE Symposium on Reliable Distributed Systems SRDS-2000.

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

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

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

[32]  William H. Sanders,et al.  Möbius : An Extensible Framework For Performance and Dependability Modeling , 1910 .

[33]  D. Potier,et al.  QNAP 2:A portable environment for queueing systems modelling , 1984 .

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

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

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

[37]  Edwin K. P. Chong,et al.  Discrete event systems: Modeling and performance analysis , 1994, Discret. Event Dyn. Syst..

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

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

[40]  Kishor S. Trivedi,et al.  A decomposition approach for stochastic Petri net models , 1991, Proceedings of the Fourth International Workshop on Petri Nets and Performance Models PNPM91.

[41]  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).

[42]  Gianfranco Ciardo,et al.  A data structure for the efficient Kronecker solution of GSPNs , 1999, Proceedings 8th International Workshop on Petri Nets and Performance Models (Cat. No.PR00331).

[43]  Marco Ajmone Marsan,et al.  A class of generalised stochastic petri nets for the performance evaluation of multiprocessor systems , 1983, SIGMETRICS '83.

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

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

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

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

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

[49]  N. A. J. Hastings,et al.  Dynamic Probabilistic Systems: Vol. 1: Markov Models; Vol. II: Semi-Markov and Decision Processes , 1973 .

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

[51]  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).

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

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

[54]  William H. Sanders,et al.  A connection formalism for the solution of large and stiff models , 2001, Proceedings. 34th Annual Simulation Symposium.

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

[56]  William H. Sanders,et al.  Algorithms for the generation of state-level representations of stochastic activity networks with general reward structures , 1995, Proceedings 6th International Workshop on Petri Nets and Performance Models.

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

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

[59]  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).

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

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

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

[63]  Kishor S. Trivedi,et al.  Preemptive repeat identical transitions in Markov regenerative stochastic Petri nets , 1995, Proceedings 6th International Workshop on Petri Nets and Performance Models.

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

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

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

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

[68]  William H. Sanders,et al.  Construction and solution of performability models based on stochastic activity networks , 1988 .

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

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

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

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

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

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

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