This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
The Möbius Framework and Its Implementation
October 2002 (vol. 28 no. 10)
pp. 956-969

Abstract—The Möbius 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 Möbius 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 Möbius 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 Möbius components as well as their implementations in our software tool.

[1] F. Baskett, K.M. Chandy, R.R. Muntz, and R. Palacios, “Open, Closed and Mixed Networks of Queues with Different Classes of Customers,” J. ACM, vol. 22, no. 2, pp. 248-260, 1975.
[2] S. Donatelli, "Superposed Generalized Stochastic Petri Nets: Definition and Efficient Solution," R. Valette, ed., Proc. 15th Int'l Conf. Applications and Theory of Petri Nets, Lecture Notes in Computer Science 815, pp. 258-277.Berlin, Heidelberg: Springer-Verlag, 1994.
[3] G. Chiola, G. Bruno, and T. Demaria, “Introducing a Color Formalism into Generalized Stochastic Petri Nets,” Proc. Ninth European Workshop the Application and Theory of Petri Nets, pp. 202-215, June 1988.
[4] M.K. Molloy, “Performance Analysis Using Stochastic Petri Nets,” IEEE Trans. Computers, vol. 31, pp. 913-917, Sept. 1982.
[5] J. Hillston, A Compositional Approach to Performance Modelling. Cambridge Univ. Press, 1996.
[6] J.F. Meyer, A. Movaghar, and W.H. Sanders, “Stochastic Activity Networks: Structure, Behavior, and Application,” Proc. Int'l Workshop Timed Petri Nets, pp. 106-115, July 1985.
[7] W.H. Sanders, “Integrated Frameworks for Multi-Level and Multi-Formalism Modeling,” Proc. Eighth Int'l Workshop Petri Nets and Performance Models, pp. 2-9, Sept. 1999.
[8] B.R. Haverkort, “Performability Evaluation of Fault-Tolerant Computer Systems Using DyQN-Tool$\big. ^+\bigr.$,” Int'l J. Reliability, Quality, and Safety Eng., vol. 2, no. 4, pp. 383-404, 1995.
[9] G. Chiola, G. Franceschinis, R. Gaeta, and M. Ribaudo, “GreatSPN 1.7: Graphical Editor and Analyzer for Timed and Stochastic Petri Nets,” Performance Evaluation, vol. 24, nos. 1-2, pp. 47-68, Nov. 1995.
[10] M.Ajmone Marsan,G. Balbo,, and G. Conte,“A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems,” ACM Trans. Computer Systems, pp. 93-122, vol. 2, no. 2, May 1984.
[11] W.H. Sanders, W.D. Obal II, M.A. Qureshi, and F.K. Widjanarko, “TheUltraSANModeling Environment,” Performance Evaluation, vol. 24, no. 1, pp. 89-115, 1995.
[12] G. Ciardo and K.S. Trivedi, “SPNP: The Stochastic Petri Net Package (version 3.1),” Proc. First Int'l Workshop Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS '93), pp. 390-391, Jan. 1993.
[13] G. Ciardo, A. Blakemore, P.F.J. Chimento, J.K. Muppala, and K.S. Trivedi, “Automated Generation and Analysis of Markov Reward Models Using Stochastic Reward Nets,” Linear Algebra, Markov Chains, and Queueing Models, C. Meyer and R.J. Plemmons, eds., pp. 141-191, Heidelberg: Springer-Verlag, 1993.
[14] R.M.L.R. Carmo, L.R. de Carvalho, E. de Souza e Silva, M.C. Diniz, and R.R. Muntz, “TANGRAM-II,” Computer Performance Evaluation: Modelling Techniques and Tools: Proc. Ninth Int'l Conf., R. Marie, B. Plateau, M. Calzarossa, and G. Rubino, eds., pp. 6-18, June 1997.
[15] R.J. Pooley, “The Integrated Modelling Support Environment: A New Generation of Performance Modelling Tools,” Computer Performance Evaluation: Modelling Techniques and Tools: Proc. Fifth Int'l Conf., G. Balbo and G. Serazzi, eds., pp. 1-15, Feb. 1991.
[16] R. Fricks, C. Hirel, S. Wells, and K. Trivedi, “The Development of an Integrated Modeling Environment,” Proc. World Congress on Systems Simulation (WCSS '97), pp. 471-476, Sept. 1997.
[17] A.P.A. van Moorsel and Y. Huang, “Reusable Software Components for Performability Tools, and Their Utilization for Web-Based Configuration Tools,” Computer Performance Evaluation: Modelling Techniques and Tools: Proc. 10th Int'l Conf., R. Puigjaner, N.N. Savino, and B. Serra, eds., pp. 37-50, Sept. 1998.
[18] R.N. Sahner, K.S. Trivedi, and A. Puliafito, Performance and Reliability Analysis of Computer Systems: An Example-Based Approach Using the Sharpe Software Package. Kluwer Academic, 1995.
[19] G. Ciardo and A. S. Miner, “SMART: Simulation and Markovian Analyzer for Reliability and Timing,” Tool Descriptions from the Ninth Int'l Conf. Modelling Techniques and Tools for Computer Performance Evaluation (TOOLS '97) and the Seventh Int'l Workshop Petri Nets and Performance Models (PNPM '97), pp. 41-43, June 1997.
[20] F. Bause, P. Buchholz, and P. Kemper, “A Toolbox for Functional and Quantitative Analysis of DEDS,” Computer Performance Evaluation: Modelling Techniques and Tools: Proc. 10th Int'l Conf., R. Puigjaner, N.N. Savino, and B. Serra, eds., pp. 356-359, Sept. 1998.
[21] J.F. Meyer and W.H. Sanders, “Reduced Base Model Construction Methods for Stochastic Activity Networks,” IEEE J. Selected Areas in Comm., vol. 9, no. 1, pp. 25–36, Jan. 1991.
[22] G. Clark and W.H. Sanders, “Implementing a Stochastic Process Algebra within the Möbius Modeling Framework,” Process Algebra and Probabilistic Methods: Performance Modelling and Verification: Proc. Joint Int'l Workshop, PAPM-PROBMIV 2001, pp. 200-215, Sept. 2001.
[23] D.D. Deavours and W.H. Sanders, “An Efficient Disk-Based Tool for Solving Large Markov Models,” Performance Evaluation, vol. 33, pp. 67-84, 1998.
[24] D.D. Deavours and W.H. Sanders, On-the-Fly' Solution Techniques for Stochastic Petri Nets and Extensions IEEE Trans. Software Eng., vol. 24, no. 10, pp. 889-902, Oct. 1998.
[25] D.D. Deavours and W.H. Sanders, “An Efficient Well-Specified Check,” Proc. Eighth Int'l Workshop Petri Nets and Performance Models (PNPM '99), pp. 124-133, Sept. 1999.
[26] W.D. Obal II and W.H. Sanders, “State-Space Support for Path-Based Reward Variables,” Proc. Third Ann. IEEE Int'l Computer Performance and Dependability Symp. (IPDS '98), pp. 228-237, Sept. 1998.
[27] W.D. Obal II and W.H. Sanders, “Measure-Adaptive State-Space Construction Methods,” Performance Evaluation, vol. 44, pp. 237-258, Apr. 2001.
[28] W.H. Sanders and J.F. Meyer, “A Unified Approach for Specifying Measures of Performance, Dependability, and Performability,” Dependable Computing for Critical Applications, A. Avizienis, J. Kopetz, and J. Laprie, eds., pp. 215-237, Heidelberg: Springer-Verlag, 1991.
[29] B. Plateau and K. Atif, Stochastic Automata Network for Modeling Parallel Systems IEEE Trans. Software Eng., vol. 17, no. 10, pp. 1093-1108, Oct. 1991.
[30] P. Kemper, Numerical Analysis of Superposed GSPNs Proc. Sixth Int'l Workshop Petri Nets and Performance Models (PNPM '95), pp. 52-61, 1995.
[31] G. Ciardo and K. Trivedi, “A Decomposition Approach for Stochastic Reward Net Models,” Performance Evaluation, vol. 18, no. 1, pp. 37-59, 1993.
[32] J.M. Doyle, “Abstract Model Specification Using the Möbius Modeling Tool,” MS thesis, Univ. of Illinois at Urbana-Champaign, Jan. 2000.
[33] C.H. Sauer and E.A. MacNair, Simulation of Computer Communication Systems. Englewood Cliffs, N.J.: Prentice-Hall, 1983.
[34] A. Bobbio, A. Puliafito, and M. Telek, “A Modeling Framework to Implement Combined Preemption Policies in MRSPNs,” IEEE Trans. Software Eng., vol. 26, no. 1, pp. 36-54, Jan. 2000.
[35] D.D. Deavours and W.H. Sanders, “The Möbius Execution Policy,” Proc. Petri Nets and Performance Models (PNPM 2001), pp. 135-144, Sept. 2001.
[36] D.D. Deavours, “Formal Specification of the Möbius Modeling Framework,” PhD thesis, Univ. of Illinois at Urbana-Champaign, Oct. 2001.
[37] D.R.W. Holton, “A PEPA Specification of an Industrial Production Cell,” The Computer J., vol. 38, no. 7, pp. 542-551, 1995.
[38] S. Gilmore, J. Hillston, and M. Ribaudo, An Efficient Algorithm for Aggregating PEPA Models IEEE Trans. Software Eng., vol. 27, no. 5, pp. 449-464, May 2001.
[39] G. Clark, T. Courtney, D. Daly, D.D. Deavours, S. Derisavi, J.M. Doyle, W.H. Sanders, and P.G. Webster, “The Möbius Modeling Tool,” Proc. Petri Nets and Performance Models (PNPM '01), pp. 241-250, Sept. 2001.
[40] A.J. Stillman, “Model Composition within the Möbius Modeling Framework,” MS thesis, Univ. of Illinois at Urbana-Champaign, 1999.
[41] D. Montgomery, Design and Analysis of Experiments, fifth ed. John Wiley and Sons, 2001.
[42] A. Williamson, “Discrete event simulation in the Möbius Modeling Framework,” MS thesis, Univ. of Illinois at Urbana-Champaign, 1998.

Index Terms:
Stochastic models, modeling formalisms, modeling frameworks, modeling tools, Markov models, stochastic Petri nets, PEPA, execution policy.
Citation:
Daniel D. Deavours, Graham Clark, Tod Courtney, David Daly, Salem Derisavi, Jay M. Doyle, William H. Sanders, Patrick G. Webster, "The Möbius Framework and Its Implementation," IEEE Transactions on Software Engineering, vol. 28, no. 10, pp. 956-969, Oct. 2002, doi:10.1109/TSE.2002.1041052
Usage of this product signifies your acceptance of the Terms of Use.