Defining a Formal Semantic for Parallel Patterns in the Palladio Component Model Using Hierarchical Queuing Petri Nets

Context: With the introduction of multicore processors more than a decade ago, parallel software behavior became also relevant for BIS and end-user applications. This evolution raises several new challenges for Software Performance Engineering (SPE). One challenge for model-based SPE is to come up with new language concepts to include parallel behavior in the software behavior models (i.e., UML activity diagrams).

[1]  Heiko Koziolek,et al.  Parameter dependencies for reusable performance specifications of software components , 2010 .

[2]  Sebastian Lehrig,et al.  Scalability, elasticity, and efficiency in cloud computing: A systematic literature review of definitions and metrics , 2015, 2015 11th International ACM SIGSOFT Conference on Quality of Software Architectures (QoSA).

[3]  Sebastian Lehrig,et al.  Efficiently Conducting Quality-of-Service Analyses by Templating Architectural Knowledge , 2018 .

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

[5]  Chris Rupp,et al.  UML 2 glasklar: Praxiswissen für die UML-Modellierung , 2012 .

[6]  Sebastian Lehrig,et al.  Parallelization, Modeling, and Performance Prediction in the Multi-/Many Core Area: A Systematic Literature Review , 2017, 2017 IEEE 7th International Symposium on Cloud and Service Computing (SC2).

[7]  Falko Bause,et al.  Stochastic Petri Nets , 1996 .

[8]  Antonio Puliafito,et al.  From UML to Petri Nets: The PCM-Based Methodology , 2011, IEEE Transactions on Software Engineering.

[9]  Paola Inverardi,et al.  Model-based performance prediction in software development: a survey , 2004, IEEE Transactions on Software Engineering.

[10]  Max E. Kramer,et al.  Modeling and Simulating Software Architectures: The Palladio Approach , 2016 .

[11]  Kurt Jensen,et al.  Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 2, Analysis Methods , 1992 .

[12]  Timothy G. Mattson,et al.  Patterns for parallel programming , 2004 .

[13]  Jens Happe,et al.  Predicting software performance in symmetric multi-core and multiprocessor environments , 2009 .

[14]  Markus Frank,et al.  Is the PCM Ready for ACTORs and Multicore CPUs? - A Use Case-based Evaluation , 2017, Softwaretechnik-Trends.

[15]  Gerti Kappel,et al.  xMOF: Executable DSMLs Based on fUML , 2013, SLE.

[16]  Markus Frank,et al.  Performance Prediction for Multicore Environments - A Experiment Report , 2016, Softwaretechnik-Trends.

[17]  D. Geer,et al.  Chip makers turn to multicore processors , 2005, Computer.

[18]  Steffen Becker,et al.  The palladio component model , 2010, WOSP/SIPEW '10.

[19]  Connie U. Smith,et al.  Making the Business Case for Software Performance Engineering , 2003, Int. CMG Conference.

[20]  Steffen Becker,et al.  The Palladio component model for model-driven performance prediction , 2009, J. Syst. Softw..