Modelling- and Simulation-Based Design of Multi-tier Systems

This paper introduces a domain-specific language for modelling andsimulation-based design of multi-tier systems.  Multi-tier systems are complexand very few general models have been developed. Rather, models are alwaysdedicated to a specific architecture. Our approach allows for rapidexperimentation with different multi-tier alternatives. Not only parameters,but also structure can be drastically varied.  Using graph transformation,multi-tier systems models are translated into Queueing Petri Nets (QPNs) in asystematic way for analysis with the SimQPN simulator.  We describe QPN, ourmulti-tier architecture visual language, as well as the transformation between them.  A case study demonstrates the power of the approach for design-space exploration.

[1]  Juha-Pekka Tolvanen,et al.  Domain-Specific Modeling: Enabling Full Code Generation , 2008 .

[2]  Gunter Bolch,et al.  Queueing Networks and Markov Chains - Modeling and Performance Evaluation with Computer Science Applications, Second Edition , 1998 .

[3]  Falko Bause,et al.  Queueing Petri Nets-A formalism for the combined qualitative and quantitative analysis of systems , 1993, Proceedings of 5th International Workshop on Petri Nets and Performance Models.

[4]  Karsten Schwan,et al.  E2EProf: Automated End-to-End Performance Management for Enterprise Systems , 2007, 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'07).

[5]  Falko Bause,et al.  Stochastic Petri Nets: An Introduction to the Theory , 2012, PERV.

[6]  Samuel Kounev,et al.  SimQPN - A tool and methodology for analyzing queueing Petri net models by means of simulation , 2006, Perform. Evaluation.

[7]  Samuel Kounev,et al.  Performance Modeling and Evaluation of Distributed Component-Based Systems Using Queueing Petri Nets , 2006, IEEE Transactions on Software Engineering.

[8]  Sameh Elnikety,et al.  Performance Comparison of Middleware Architectures for Generating Dynamic Web Content , 2003, Middleware.

[9]  Myron Hlynka,et al.  Queueing Networks and Markov Chains (Modeling and Performance Evaluation With Computer Science Applications) , 2007, Technometrics.

[10]  Bettina Kemme,et al.  Fault-tolerance for stateful application servers in the presence of advanced transactions patterns , 2005, 24th IEEE Symposium on Reliable Distributed Systems (SRDS'05).

[11]  Andrzej Zalewski,et al.  Evaluation of Dependability of Multi-tier Internet Business Applications with Queueing Networks , 2006, 2006 International Conference on Dependability of Computer Systems.

[12]  Juan de Lara,et al.  AToM3: A Tool for Multi-formalism and Meta-modelling , 2002, FASE.