Integrated frameworks for multi-level and multi-formalism modeling

Proceedings - 8th International Workshop on Petri Nets and Performance Models, PNPM 1999

Volumn , Issue , 1999, Pages 2-9

  Sanders, William H ^a  

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

Author keywords

[No Author keywords available]

Indexed keywords

COMPLEX NETWORKS; COMPUTER NETWORKS; COMPUTER SOFTWARE; PETRI NETS;

COMPLEX COMPUTER SYSTEMS; DEPENDABILITY EVALUATION; INTEGRATED FRAMEWORKS; MODEL COMPOSITION; MULTI-FORMALISM MODELS; MULTIPLE SOLUTIONS; SIMULATION-BASED MODELING; SOFTWARE ENVIRONMENTS;

COMPUTER NETWORK PERFORMANCE EVALUATION;

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

References (47)

1. S. Christensen and K. H. Mortensen, maintainers, "Tools on the Web" web site at the Computer Science Department, University of Aarhus (http://www.daimi.au. dk/~petrinet/tools/).
2. F. Bause and H. Beilner (eds.), Performance Tools: Model Interchange Formats, Forschungsbericht Nr. 581 des Fachbereichs Informatik der Universität Dortmund, Germany, 1995.
3. F. Bause, P. Buchholz, and P. Kemper, "QPN-tool for the Specification and Analysis of Hierarchically Combined Queueing Petri Nets, " in Quantitative Evaluation of Computing and Communication Systems: Proc. of the 8th Int. Conf. on Modelling Techniques and Tools for Computer Performance Evaluation (Performance Tools '95) and the 8th GI/ITG Conf. on Measurement, Modelling and Evaluating Computing and Communication Systems (MMB '95), Heidelberg, Germany, September 1995. Lecture Notes in Computer Science, no. 977 (ed. by H. Beilner and F. Bause), Berlin: Springer, 1995, pp. 224-238
4. F. Bause, P. Kemper, and P. Kritzinger, "Abstract Petri Net Notation, " Petri Net Newsletter, no. 49, pp. 9-27, 1995.
5. F. Bause, P. Buchholz, and P. Kemper, "A Toolbox for Functional and Quantitative Analysis of DEDS, " in Computer Performance Evaluation: Modelling Techniques and Tools: Proc. of the 10th Int. Conf., Tools '98, Palma de Mallorca, Spain, Sept. 14-18, 1998, Lecture Notes in Computer Science No. 1469 (ed. by R. Puigjaner, N. N. Savino, and B. Serra), Berlin: Springer, 1998, pp. 356-359.
6. S. J. Bavuso, J. Bechta Dugan, K. S. Trivedi, E. M. Rothmann, and W. E. Smith, "Analysis of Typical Fault-Tolerant Architectures Using HARP, " IEEE Trans. on Reliability, vol. 36, no. 2, pp. 176-185, 1987.
7. H. Beilner, J. Mäter, and N. Weißenberg, "Towards a Performance Modelling Environment: News on HIT, " in Proc. of the 4th Int. Conf. on Modelling Techniques and Tools for Computer Performance Evaluation, Plenum Publishing, 1988.
8. C. Béounes et al., "SURF-2: A Program for Dependability Evaluation of Complex Hardware and Software Systems, " in 23rd Int. Symp. on Fault-Tolerant Computing, Toulouse, France, 1993, pp. 668-673.
9. M. Bouissou, "The FIGARO Dependability Evaluation Workbench in Use: Case Studies for Fault- Tolerant Computer Systems, " in Proc. of the 23rd Annual Int. Symp. on Fault-Tolerant Computing, Toulouse, France, June 1993, pp. 680-685.
10. R. M. L. R. Carmo L. R. de Carvalho E. de Souza e Silva M. C. Diniz, and R. R. R. Muntz, "TANGRAM- II: A Performability Modeling Environment Tool, " in Computer Performance Evaluation: Modelling Techniques and Tools: Proc. of the 9th Int. Conf., St. Malo, France, June 3-6, 1997, Lecture Notes in Computer Science, 1245 (ed. by R. Marie, B. Plateau, M. Calzarossa, and G. Rubino). Berlin: Springer, 1997, pp. 6-18.
11. K. C. Chang, R. F. Gordon, P. G. Loewner, and E. A. MacNair, "The RESearch Queueing Package Modeling Environment (RESQME), " IBM Research Report RC-18687, Yorktown Heights, New York, Feb. 1993.
12. G. Chiola, G. Franceschinis, R. Gaeta, and M. Ribaudo, "GreatSPN 1.7: GRaphical Editor and Analyzer for Timed and Stochastic Petri Nets, " in Performance Evaluation, vol. 24, no. 1-2, pp. 47-68, Nov. 1995.
13. G. Ciardo and K. S. Trivedi, "SPNP: The Stochastic Petri Net Package (Version 3.1), " in Proc. 1st Int. Workshop on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS'93), San Diego, CA, USA, Jan. 1993, pp. 390-391.
14. G. Ciardo and A. S. Miner, "SMART: Simulation and Markovian Analyzer for Reliability and Timing, " in Proc. IEEE Int. Computer Performance and Dependability Symp. (IPDS'96), Urbana-Champaign, IL, USA, Sept. 1996, pp. 60.
15. G. Ciardo and A. S. Miner, "SMART: Simulation and Markovian Analyzer for Reliability and Timing, " in Tools Descriptions from the 9th Int. Conf. on Modelling Techniques and Tools for Computer Performance Evaluation and the 7th Int. Workshop on Petri Nets and Performance Models, Saint Malo, France, June 1997, pp. 41-43.
16. D. Daly, D. D. Deavours, J. M. Doyle, A. J. Stillman, and P. G. Webster, "Möbius: An Extensible Tool for Performance and Dependability Modeling, " in Digest of FastAbstracts presented at the 29th Annual Int. Symp. on Fault-Tolerant Computing (FTCS-29), Madison, Wisconsin, USA, June 15-18, 1999, pp. 15-16.
17. D. Daly, D. D. Deavours, J. M. Doyle, A. J. Stillman, P. G. Webster, and W. H. Sanders, "Möbius: An Extensible Framework for Performance and Dependability Modeling, " in Tool Descriptions of the 8th Int. Workshop on Petri Nets and Performance Models, Zaragoza, Spain, Sept. 1999.
18. J. M. Doyle, "Abstract Model Specification Using The Möbius Modeling Tool, " Master's Thesis, University of Illinois, 1999.
19. R. G. Franks, A. Hubbard, S. Majumdar, J. E. Neilson, D. C. Petriu, J. Rolia, and C. M. Woodside, "A Toolset for Performance Engineering and Software Design of Client-Server Systems, " Performance Evaluation, vol. 24, no. 1-2, pp. 117-135, Nov. 1995.
20. R. Fricks, S. Hunter, S. Garg, and K. Trivedi, "IDEA: Integrated Design Environment for Assessment of ATM Networks, " in Proc. Second IEEE Int. Conf. on Engineering of Complex Computer Systems, Montreal, Canada, Oct. 21-25, 1996, pages 27-34.
21. R. Fricks, C. Hirel, S. Wells, and K. Trivedi, "The Development of an Integrated Modeling Environment, " in Proc. World Congress on Systems Simulation (WCSS '97), (2nd Joint Conf. of Int. Simulation Societies), Singapore, Sept. 1-3, 1997, pp. 471-476.
22. R. German, C. Kelling, A. Zimmermann, and G. Hommel, "TimeNET: A Toolkit for Evaluating Non- Markovian Stochastic Petri-Nets, " Performance Evaluation, vol. 24, pp. 69-87, 1995.
23. R. German, "SPNL: Processes as Languageoriented Building Blocks of Stochastic Petri Nets, " in Computer Performance Evaluation, Lecture Notes in Computer Science, No. 1245, Berlin: Springer, 1997, pp. 123-134.
24. K. K. Goswami and R. K. Iyer, "DEPEND: A Simulation-Based Environment for System Level Dependability Analysis, " IEEE Trans. on Computers, vol. 46, no. 1, pp. 60-74, Jan. 1997.
25. A. Goyal, W. C. Carter, E. de Souza e Silva, S. S. Lavenberg, and K. S. Trivedi, "The System Availability Estimator, " in Proc. of the 16th Int. Symp. on Fault- Tolerant Computing (FTCS-16), 1986, pp. 84-89.
26. B. R. Haverkort, "Performability Evaluation of Fault-Tolerant Computer Systems Using DyQNtool+, " Int. Journal of Reliability, Quality, and Safety Engineering, vol. 2, no. 4, pp. 383-404, 1995.
27. G. P. Kavanaugh III, "Design and Implementation of an Extensible Tool for Performance and Dependability Model Evaluation, " Master's Thesis, University of Illinois, 1998.
28. C. Lindemann, A. Reuys, and A. Thümmler, "The DSPNexpress 2.000 Performance and Dependability Modeling Environment, " in Proc. of the 29th Annual Int. Symp. on Fault-Tolerant Computing, Madison, Wisconsin, USA, June 15-18, 1999, pp. 228-231.
29. J. F. Meyer, A. Movaghar, and W. H. Sanders, "Stochastic Activity Networks: Structure, Behavior, and Application, " in Proc. of the Int. Conf. On Timed Petri Nets, Torino, Italy, July 1995, pp. 106-115.
30. D. Obal, "Measure-Adaptive State-Space Construction Methods, " Doctoral Dissertation, University of Arizona, 1998.
31. R. J. Pooley, "The Integrated Modelling Support Environment: A New Generation of Performance Modelling Tools, " in Computer Performance Evaluation: Modelling Techniques and Tools: Proc. of the Fifth Int. Conf. on Modelling Techniques and Tools for Computer Performance Evaluation, Torino, Italy, February 13-15, 1991 (ed. by G. Balbo and G. Serazzi), Amsterdam: Elsevier, 1992, pp. 1-15.
32. R. A. Sahner, "Combinatorial-Markov Method of Solving Performance and Reliability Models, " Ph.D. Dissertation, Duke University, 1986.
33. R. A. Sahner, K. S. Trivedi, and A. Puliafito, Performance and Reliability Analysis of Computer Systems, An Example-Based Approach Using the SHARPE Software Package, Boston, MA: Kluwer, 1996.
34. W. H. Sanders, "Construction and Solution of Performability Models Based on Stochastic Activity Networks, " Doctoral Dissertation, University of Michigan, 1988.
35. W. H. Sanders and J. F. 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, vol. 9, no. 1, Jan. 1991, pp. 25-36.
36. W. H. Sanders and J. F. Meyer, "A Unified Approach for Specifying Measures of Performance, Dependability, and Performability, " in Dependable Computing for Critical Applications, Vol. 4 of Dependable Computing and Fault-Tolerant Systems (ed. A. Avizienis, H. Kopetz, and J. Laprie), Springer-Verlag, 1991, pp. 215-237.
37. W. H. Sanders and R. S. Freire, "Efficient Simulation of Hierarchical Stochastic Activity Network Models, " in Discrete Event Dynamic Systems: Theory and Applications, vol. 3, no. 2/3, July 1993, pp. 271-300.
38. W. H. Sanders, W. D. Obal II, M. A. Qureshi, and F. K. Widjanarko, "The UltraSAN Modeling Environment, " in Performance Evaluation, vol. 24, no. 1, Oct.- Nov. 1995, pp. 89-115.
39. C. U. Smith, "Integrating New and 'Used' Modeling Tools for Performance Engineering, " in Computer Performance Evaluation: Modelling Techniques and Tools: Proc. of the 5th Int. Conf. on Modelling Techniques and Tools for Computer Performance Evaluation, Torino, Italy, 13-15 February 1991 (ed. by G. Balbo and G. Serazzi), Amsterdam: Elsevier, 1992, pp. 153-163.
40. C. U. Smith and L. G. Williams, "Performance Engineering Evaluation of Object-Oriented Systems with SPE•EDTM, " Computer Performance Evaluation: Modelling Techniques and Tools: Proc. of the 9th Int. Conf., St. Malo, France, June 3-6, 1997, Lecture Notes in Computer Science No. 1245 (ed. by R. Marie, B. Plateau, M. Calzarossa, and G. Rubino), Berlin: Springer, 1997, pp. 135-154.
41. J. M. Sowder, "State-Space Generation Techniques in the Möbius Modeling Framework, " Master's Thesis, University of Illinois, 1998.
42. M. Sridharan, S. Ramasubramanian, and A. K. Somani, "HIMAP: Architecture, Features, and Hierarchical Model Specification Techniques, " in Computer Performance Evaluation: Modelling Techniques and Tools: Proc. of the 10th Int. Conf., Tools '98, Palma de Mallorca, Spain, September 14-18, 1998, Lecture Notes in Computer Science No. 1469 (ed. by R. Puigjaner, N. N. Savino, and B. Serra), Berlin: Springer, 1998, pp. 348-351.
43. A. Stillman, "Model Composition in the Möbius Modeling Framework, " Master's Thesis, University of Illinois, 1999.
44. M. Trompedeller, maintainer, "A Petri Net Classification and Related Tools" web site (http://www.dsi. unimi.it/Users/Tesi/trompede/petri/home.html).
45. A. P. A. van Moorsel and Y. Huang, "Reusable Software Components for Performability Tools and Their Utilization for Web-based Configurable Tools, " in Computer Performance Evaluation: Lecture Notes in Computer Science No. 1469, Berlin: Springer, 1998, pp. 37-50.
46. M. Veran, D. Potier, "QNAP2: A Portable Environment for Queuing System Modeling, " in Modeling Techniques and Tools for Computer Performance Evaluation (ed. by D. Potier), North-Holland, 1985, pp. 25-63.
47. A. L. Williamson, "Discrete Event Simulation in the Möbius Modeling Framework, " Master's Thesis, University of Illinois, 1998.