Möbius: Framework and atomic models

Proceedings - 9th International Workshop on Petri Nets and Performance Models, PNPM 2001

Volumn , Issue , 2001, Pages 251-260

  Deavours, Daniel D ^a   Sanders, William H ^a  

^a University of Illinois at Urbana Champaign   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ATOMS;

ATOMIC MODELS; FRAMEWORK MODELS; MODELING FORMALISMS; MULTIPLE-MODELING; PROPERTY; STATE-VARIABLES;

FORMAL SPECIFICATION;

EID: 84957814432     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/PNPM.2001.953374     Document Type: Conference Paper

References (37)

1. M. Ajmone Marsan, G. Balbo, and G. Conte. A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems. ACM Trans. Comput. Syst., 2:93-122, 1984.
2. E Baskett, K. M. Chandy, R. R. Muntz, and E G. Palacios. Open, closed, and mixed networks of queues with different classes of customers. Journal of the Association for Computing Machinery, 22(2):248-260, Apr. 1975.
3. E Bause, P. Buchholz, and P. Kemper. A toolbox for functional and quantitative analysis of DEDS. In R. Puigjaner, N. N. Savino, and B. Serra, editors, Computer Performance Evaluation: Modelling Techniques and Tools: Proceedings of the 10th International Conference, number 1469 in Lecture Notes in Computer Science, pages 356-359, Palma de Mallorca, Spain, Sept. 1998. Springer.
4. A. Bobbio, A. Puliafito, and M. Telek. A modeling framework to implement preemption policies in non-Markovian SPNs. IEEETrans. Sofm. Eng.,26(1):3654,Jan. 2000.
5. R. M. L. R. Carmo, L. R. de Carvalho, E. de Souza e Silva, M. C. Diniz, and R. R. R. Muntz. TANGRAM-11. In R. Marie, B. Plateau, M. Calzarossa, and G. Rubino, editors, Computer Performance Evaluation; Modelling Techniques and Tools; Proceedings of the 9th International Conference, number 1245 in Lecture Notes in Computer Science, pages 6-18, St. Malo, France, June 1997. Springer.
6. G. Chiola, G. Bruno, and T. Demaria. Introducing a color formalism into generalized stochastic Petri nets. In 9th European Workshop on the Application and Theory of Petri Nets, pages 202-215, Venice, Italy, June 1988.
7. G. Chiola, G. Franceschinis, R. Gaeta, and M. Ribaudo. GreatSPN 1.7: GRaphical Editor and Analyzer for Timed and Stochastic Petri Nets. Performance Evaluation, 24(1-2):47-68, NOV.1995.
8. G. Ciardo, A. Blakemore, P. E J. Chimento, J. K. Muppala, and K. S. Trivedi. Automatic generation and analysis of Markov reward models using stochastic reward nets. In C. Meyer and R. J. Plemmons, editors, Linear Algebra, Markov Chains, and Queueing Models, pages 141-191. Springer-Verlag,1993.
9. G. Ciardo and A. S. Miner. SMART: Simulation and Markovian analyzer for reliability and timing. In Tool Descriptions from the 9th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation (PERFORMANCE TOOLS '97) and the 7th International Workshop on Petri Nets and Performance Models (PNPM '97),pages 41-43, St. Malo, France, June 1997.
10. G. Ciardo and K. S. Trivedi. A decomposition approach for stochastic reward net models. Performance Evaluation, 18:37-59, 1993.
11. G. Ciardo and K. S. Trivedi. SPNP: The stochastic Petri net package (version 3.1). In Proceedings of the 1st International Workshop on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS’93), pages 390-391, San Diego, California, USA, Jan. 1993.
12. G. Clark. Incorporating stochastic process algebra into the Mobius framework. In Proceedings of Process Algebra and Performance Modelling (PAPM 2001), Aachen, Germany, Sept. 2001.
13. G. Clark, T. Courtney, D. Daly, D. D. Deavours, S. Derisavi, J. M. Doyle, W. H. Sanders, and P. G. Webster. The Mobius modeling tool. In Proceedings of PetriNets and Peflormance Models (PNPM 2001), Aachen, Germany, Sept. 2001.
14. D. Daly, D. D. Deavours, J. M. Doyle, P. G. Webster, and W. H. Sanders. Mobius: An extensible tool for performance and dependability modeling. In B. R. Haverkort, H. C. Bohnenkamp, and C. U. Smith, editors, Computer Performance Evaluation: Modelling Techniquesand Tools: Proceedings of the 11th International Conference, (TOOLS 2000), number 1786 in Lecture Notes in Computer Science, pages 332-336, Schaumburg, IL, USA, Mar. 2000. Berlin: Springer.
15. D. D. Deavours and W. H. Sanders. An efficient disk-based tool for solving large Markov models. Performance Evaluation, 33:67-84, 1998.
16. D. D. Deavours and W. H. Sanders. “On-the-fly” solution techniques for stochastic Petri nets and extensions. IEEE Trans.Soft. Eng., 24(10):889-902, Oct. 1998.
17. D. D. Deavours and W. H. Sanders. An efficient well-specified check. In P. Bucholz and M. Silva, editors, Proceedings of the 8th International Workshop on Petri Nets arid Performance Models (PNPM ‘99), pages 124-133, Zaragoza, Spain, Sept. 1999.
18. D. D. Deavours and W. H. Sanders. The Mobius execution policy. In Proceedings of PetriNets and Performance Models (PNPM 2001),Aachen, Germany, Sept. 2001.
19. S. Donatelli. Superposed generalized stochastic Petri nets: Definition and efficient solution. In R. Valette, editor, Application and Theory of Petri Nets 1994, Lecture Notes in Computer Science 815 (Proc. 15th International Conference on Application and Theory of Petri Nets, Zaragoza, Spain), pages 258-277. Springer-Verlag, June 1994.
20. J. M. Doyle. Abstract model specification using the Mobius modeling tool. Master’s thesis, University of Illinois at Urbana-Champaign, Urbana-Champaign, Illinois, USA, 1999.
21. R. Fricks, C. Hirel, S. Wells, and K. Trivedi. The development of an integrated modeling environment. In Proceedings of the World Congress on Systems Simulation (WCSS ‘97), pages 471-476, Singapore, Sept. 1997.
22. B. R. Haverkort. Performability evaluation of fault-tolerant computer systems using DYQN-TOOI+. International Journal of Reliability, Quality, and Safety Engineering, 2(4):383-404, 1995.
23. J. Hillston. A Compositional Approach to Performance Modelling. Cambridge University Press, 1996.
24. P. Kemper. Numerical analysis of superposed GSPNs. In Sixth International Workshop on PetriNets and Performance Models (PNPM ‘95),pages 52-61, Durham, North Carolina, USA, Oct. 1995.
25. J. E Meyer, A. Movaghar, and W. H. Sanders. Stochastic activity networks: Structure, behavior, and application. In Proc. International Workshop on Timed Petri Nets, pages 106-115, Torino, Italy, July 1985.
26. M. K. Molloy. Performance analysis using stochastic Petri nets. IEEE Transactions on Computers, 31:913-917, Sept. 1982.
27. W. D. Obal II and W. H. Sanders. State-space support for path-based reward variables. In Proceedings of the 3rd Annual IEEE International Computer Performance and Dependability Symposium (IPDS’98), pages 228-237, Durham, North Carolina, USA, Sept. 1998.
28. W. D. Obal II and W. H. Sanders. Measure-adaptive state-space construction methods. Performance Evaluation, 44:237-258, Apr. 2001.
29. B. Plateau and K. Atif. A methodology for solving Markov models of parallel systems. IEEE Journal on Software Engineering, 17(10):1093-1108, 1991.
30. R. J. Pooley. The integrated modelling support environment: A new generation of performance modelling tools. In G. Balbo and G. Serazzi, editors, Computer Performance Evaluation; Modelling Techniques and Tools; Proceedings of the 5th International Conference, pages 1-15, Torino, Italy, Feb. 1991. Amsterdam: Elsevier.
31. R. A. Sahner, K. S. Trivedi, and A. Puliafito. Performance and Reliability Analysis of Cornputer Systems, An Example-Based Approach Using the SHARPE Sofiare Package. Kluwer, Boston, 1996.
32. W. H. Sanders. Integrated frameworks for multi-level and multi-formalism modeling. In Proceedings of the 8th International Workshop on Petri Nets and Performance Models, pages 2-9, Zaragoza, Spain, Sept. 1999.
33. W. H. Sanders and J. E Meyer. Reduced base model construction methods for stochastic activity networks. IEEE Journal on Selected Areas in Communications, special issue on Computer-Aided Modeling, Analysis, and Design of Communication Networks, 9(1):25-36, Jan. 1991.
34. W. H. Sanders and J. F. Meyer. A unified approach for specifying measures of performance, dependability, and performability. In A. Avizienis, J. Kopetz, and J. Laprie, editors, Dependable Computing for Critical Applications, volume 4 of Dependable Compuring and Fault-Tolerant Systems, pages 215-237. Springer-Verlag, 1991.
35. W. H. Sanders, W. D. Obal II, M. A. Qureshi, and E K. Widjanarko. The UttraSAN modeling environment. Performance Evaluation, 24(1):89-115, Oct. 1995.
36. C. H. Sauer and E. A. MacNair. Simulafion of Computer Communication Systems. Prentice-Hall, Inc., Englewood Cliffs, New Jersey, USA, 1983.
37. A. P. A. van Moorsel and Y. Huang. Reusable software components for performability tools, and their utilization for web-based configuration tools. In R. Puigjaner,N. N. Savino, and B. Serra, editors, Computer Performance Evaluation; Modelling Techniques and Tools; Proceedings of the 10th International Conference, number 1469 in Lecture Notes in Computer Science, pages 37-50, Palma de Mallorca, Spain, Sept. 1998. Springer.