Modeling and evaluation framework for FMC-QE

Proceedings of the International Symposium and Workshop on Engineering of Computer Based Systems

Volumn , Issue , 2009, Pages 237-243

  Porzucek, Tomasz ^a   Kluth, Stephan ^a   Copaciu, Flavius ^a   Zorn, Werner ^a  

^a UNIVERSITY OF POTSDAM   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPLEX SYSTEMS; CONTROL STATE; DIMENSIONAL REPRESENTATION; EVALUATION FRAMEWORK; EVALUATION METHODOLOGIES; FUNDAMENTAL MODELING CONCEPTS; HIERARCHICAL MODELING; QUANTITATIVE EVALUATION; QUEUING THEORY; SERVICE REQUESTS; TOOL SUPPORT;

GAME THEORY; GRAPH THEORY; PETRI NETS; QUEUEING THEORY;

HIERARCHICAL SYSTEMS;

EID: 67650236585     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ECBS.2009.28     Document Type: Conference Paper

References (37)

1. A. Knöpfel, B. Gröne, and P. Tabeling, Fundamental Modeling Concepts: Effective Communication of IT Systems. John Wiley & Sons, March 2006.
2. W. Zorn, "FMC-QE - A New Approach in Quantitative Modeling," in International Conference on Modeling, Simulation and Visualization Methods (WorldComp'07), H. R. Arabnia, Ed. Las Vegas, USA: CSREA Press, June 2007.
3. F. Copaciu, S. Kluth, T. Porzucek, and W. Zorn, "Hierarchical Modeling of the Axis2 Web Services Framework with FMC-QE," in 3rd International Conference on COMmunication Systems softWAre and middlewaRE (COMSWARE 2008), Bangalore, India, January 2008, pp. 74-81.
4. M. Seelig, S. Kluth, F. Copaciu, T. Porzucek, N. Naumann, and S. Kühn, "Comparison of Performance Modeling and Simulation - a Case Study," in 15th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2008). Belfast, Northern Ireland: IEEE Computer Society, March 2008, pp. 49-56.
5. L. Kleinrock, Queueing Systems Volume I: Theory. New York, NY: John Wiley & Sons, 1975.
6. -, Queueing Systems Volume II: Computer Applications. New York, NY: John Wiley & Sons, 1976.
7. D. Gross and C. M. Harris, Fundamentals of Queueing Theory, 3rd Edition. New York: John Wiley & Sons, Inc., 1998.
8. G. Bolch, S. Greiner, H. de Meer, and K. S. Trivedi, Queueing Networks and Markov Chains : Modeling and Performance Evaluation With Computer Science Applications. John Wiley & Sons, Inc., 1998.
9. J. D. C. Little, "A Proof of the Queueing Formula L = λ * W," Operations Research, vol. 9, pp. 383-387, 1961.
10. R. Jain, The Art of Computer Systems Performance Analysis: Techniques for Experimental Design, Measurement, Simulation, and Modeling. New York, USA: John Wiley & Sons, 1991.
11. J. R. Jackson, "Networks of waiting lines," Operations Reseach, vol. 5, pp. 518-521, 1957.
12. -, "Jobshop-like queuing systems," Management Science, vol. 10, pp. 131-142, 1963.
13. F. Baskett, K. M. Chandy, R. R. Muntz, and F. G. Palacios, "Open, Closed, and Mixed Networks of Queues with Different Classes of Customers," Journal of the ACM, vol. 22, no. 2, pp. 248-260, 1975.
14. W. J. Gordon and G. F. Newell, "Closed queueing systems with exponential servers," Operations Research, vol. 15, pp. 254-265, 1967.
15. M. Reiser and S. S. Lavenberg, "Mean-Value Analysis of Closed Multichain Queuing Networks," J. ACM, vol. 27, no. 2, pp. 313-322, 1980.
16. M. Veran and D. Poitier, "Qnap-2: A portable environment for queueing network modelling," in Proc. Int. Conf. on Modelling Techniques and Tools for Performance Analysis, 1984.
17. M. Kirschnick, "The performance evaluation and prediction system for queueing networks PEPSY - QNS," June 1994.
18. C. A. Petri, "Kommunikation mit automaten," Ph.D. dissertation, Institut fr instrumentelle Mathematik, Bonn, 1962.
19. M. K. Molloy, "On the integration of delay and throughput measures in distributed processing models," Ph.D. dissertation, University of California, Los Angeles, 1981.
20. M. A. Marsan, G. Balbo, G. Conte, S. Donatelli, and G. Franceschinis, Modelling with Generalized Stochastic Petri Nets, ser. Wiley Series in Parallel Computing. New York, NY: John Wiley & Sons, Inc., 1995.
21. G. Ciardo and C. Lindemann, "Analysis of deterministic and stochastic Petri Nets," in 5th International Workshop on Petri Nets and Performance Models. Toulouse, France: IEEE Computer Society, October 1993, pp. 160-169.
22. F. Bause, "Queueing Petri Nets: A Formalism for the Combined Qualitative and Quantitative Analysis of Systems," in 5th International Workshop on Petri Nets and Performance Models, October 1993, pp. 14-23.
23. K. Jensen, Coloured Petri Nets, Volume 1, Basic Concepts, Analysis Methods and Practical Use, 2.Auflage. Berlin: Springer, Februar 1997.
24. G. Ciardoy, J. Muppala, and K. Trivedi, "Spnp: Stochastic petri net package," in Petri Nets and Performance Models, 1989. PNPM89., Proceedings of the Third International Workshop on, 1989.
25. A. Zimmermann, R. German, J. Freiheit, and G. Hommel, "Timenet 3.0 tool description," in Int. Conf. on Petri Nets and Performance Models (PNPM'99), 1999.
26. G. Chiola, G. Franceschinis, R. Gaeta, and M. Ribaudo, "Greatspn 1.7: graphical editor and analyzer for timed and stochastic petri nets," Perform. Eval., vol. 24, no. 1-2, pp. 47-68, 1995.
27. L. Wells, "Performance analysis using coloured petri nets," in MASCOTS '02: Proceedings of the 10th IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems (MASCOTS'02). Washington, DC, USA: IEEE Computer Society, 2002, p. 217.
28. D. Daly, D. D. Deavours, J. M. Doyle, P. G. Webster, and W. H. Sanders, "Möbius: An extensible tool for performance and dependability modeling," in TOOLS '00: Proceedings of the 11th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools. London, UK: Springer-Verlag, 2000, pp. 332-336.
29. G. Bolch and S. Greiner, "The markov analyzer MOSES," Univ. of Erlangen-Nuernberg, IMMD IV, Tech. Rep. TR-I4-94-10, 1994.
30. G. Bolch and H. Herold, "MOSEL - MOdeling specifikation and evaluation language," Univ. of Erlangen-Nuernberg, IMMD IV, Tech. Rep. TR-I4-95-02, 1995.
31. P. Wüchner, H. de Meer, J. Barner, and G. Bolch, "Mosel-2 - a compact but versatile model descriptipn language and its evaluation environment," in Proc. of MMBnet'05, Hamburg, 2005, pp. 51-59, 2005.
32. S. Wendt, Non-physical fundamentals of information technology (German), 2nd ed. Berlin: Springer, 1991.
33. P. J. Denning and J. P. Buzen, "The operational analysis of queueing network models," ACM Compututer Surveys, vol. 10, no. 3, pp. 225-261, September 1978.
34. E. D. Lazowska, J. Zahorjan, G. S. Graham, and K. C. Sevcik, Quantitative System Performance: Computer System Analysis Using Queueing Network Models. Prentice-Hall, Inc., February 1984.
35. G. Taentzer, K. Ehrig, E. Guerra, J. de Lara, L. Lengyel, T. Levendovszky, U. Prange, D. Varro, and S. Varro-Gyapay, "Model Transformation by Graph Transformation: A Comparative Study," in In Proc. Workshop Model Transformation in Practice, Montego Bay, Jamaica, October 2005, 2005.
36. G. Taentzer and G. T. Carughi, "A graph-based approach to transform xml documents," Lecture Notes in Computer Science, pp. 48-62, 2006.
37. G. Taentzer, "Agg: A tool environment for algebraic graph transformation," in AGTIVE '99: Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance. London, UK: Springer-Verlag, 2000, pp. 481-488.