Presentation is loading. Please wait.

Presentation is loading. Please wait.

A novel approach to multiformalism performance modeling by composition of basic modeling primitives A Dissertation Defense Enrico Barbierato University.

Similar presentations


Presentation on theme: "A novel approach to multiformalism performance modeling by composition of basic modeling primitives A Dissertation Defense Enrico Barbierato University."— Presentation transcript:

1 A novel approach to multiformalism performance modeling by composition of basic modeling primitives A Dissertation Defense Enrico Barbierato University of Turin, Italy February 2013

2 Agenda Multiformalism; State of the art; The SYMTHESys framework; Applications; Originality; Conclusions; Future work

3 Multiformalism Multiformalism has emerged as a sound technique showing how a complex model can be described as the composition of a set of sub- models ;

4 Composability: key aspects The capacity to assemble different components in one system; It can be considered from a syntactic (a) or a semantic (b) point of view; Solution Integration; a b

5 State of the art Formalisms: –Process Algebra; –Petri Nets-based algebra; –Queueing Petri Nets; –… Frameworks: –Möbius, OsMoSys, … Tools: –ATOM 3 …

6 SIMTHESys Structured Infrastructure for Multiformalism modeling and Testing of Heterogeneous formalisms and Extensions for Systems A framework for the definition of new formalisms and the automatic generation of related solvers, that allows the combination of more formalisms in the same model.

7 FDL for(ElementType T : allSubElements) { if(T instanceof ExpEventModel) { ((ExpEventModel)T).InitEvents();}} … Formalisms are described by the Formalism Description Language (FDL) documents, which declare all their modeling primitives

8 SIMTHESys ElementType ElementType: –Properties ( a constant, a variable or a result) ; –Behaviors; … … Excerpt of the SPN FDL … return getTokens(); … Excerpt of the SPN FDL

9 SIMTHESys Interfaces An elementType uses: – solver interfaces to define which solving engine(s) should be used with it; –behavioral interfaces to re-use existing abstractions. …

10 SIMTHESys Interfaces An elementType implements a behavioral interface by explicitly defining behaviors and properties specified in it. implements … return getTokens(); … FDL file excerpt for SPN ElementOccupancy interface

11 SIMTHESys Interfaces An elementType implements a solver helper interface: … FDL file for SPN (excerpt ) … ExpEventModel interface (excerpt)

12 InitEvents behavior A formalism defines a behavior called InitEvents : … for(Transition T : sub_Transition) { if(T.isActive()) {Transition _T = T; ((ExpEventSolver)getModel().getSolver()).schedule("T.fire()", T.getRate, T.getId(), 1.0);}} … Excerpt of FDL

13 Schedule behavior  The solution engines expose a behavior Schedule that is used by the implementations of the InitEvents behavior to define what must be executed whenever an event occurs; for(Transition T : sub_Transition) { if(T.isActive()) {Transition _T = T; ((ExpEventSolver)getModel().getSolver()).schedule("T.fire()", T.getRate, T.getId(), 1.0);}} Excerpt of FDL

14 MDL … Excerpt of MDL A file describing the model according to the FDL file in a Model Definition Language (MDL), XML- based:

15 Formalism families Exponential Event Formalisms (EEF) –Primitives represent entities capable of generating events; –Such events (that can be used to represent the firing of a PN transition, or the end of the service in a queue) are characterized by the fact that they occur after an exponentially distributed time;

16 More formalism families Exponential and Immediate Events Formalisms (EIEF); Labelled Exponential Events Formalism (LEEF); Labelled Fluid Events Formalisms (LFEF);

17 Solution Engines The framework currently provides some solving engines for performance evaluation: –Classic event based simulators; –Solvers designed to generate Continuous Time Markov Chains (CTMCs) and perform steady state and transient analysis

18 Performance Indices Formalisms may be characterized by performance indices calculated by using State Rewards and Impulse Rewards; Serv2br false P P2 2.0 T E-06 Excerpt of a RESULT file

19 SIMTHESysER Architecture and Workflow: FDL Analyzer

20 SIMTHESysER Architecture and Workflow: MDL Parser

21 SIMTHESysER Architecture and Workflow

22 Applications 1) A motivating example: closed TFCQN with three servers; Enrico Barbierato, Marco Gribaudo, Mauro Iacono, Defining Formalisms for Performance Evaluation With SIMTHESys. Electr. Notes Theor. Comput. Sci. 275: (2011);

23 Applications 2) A multiformalism performance oriented model verifying some conditions; Barbierato E, Gribaudo M, Iacono M. (2011). Exploiting multiformalism models for testing and performance evaluation in SIMTHESys, Proceedings of 5th International ICST Conference on Performance Evaluation Methodologies and Tools,ICST, ISBN: , DOI: /icst.valuetools

24 Applications 3) A formal definition of an exception handling mechanism for multiformalism models; Enrico Barbierato, Marco Gribaudo, Mauro Iacono, Stefano Marrone: Performability Modeling of Exceptions-Aware Systems in Multiformalism Tools. ASMTA 2011: ;

25 Applications 4-5) Two approaches (of increasing complexity) adding software rejuvenation features to performance models; - Enrico Barbierato, Marco Gribaudo, Mauro Iacono, The SIMTHESys multiformalism modeling framework. Computers & Mathematics with Applications 64(12): (2012); - Enrico Barbierato, Andrea Bobbio, Marco Gribaudo, Mauro Iacono: Multiformalism to Support Software Rejuvenation Modeling. ISSRE Workshops 2012:

26 Applications 6) A performance evaluation of SOA-based applications; Enrico Barbierato, Mauro Iacono, Stefano Marrone (2012): PerfBPEL: A graph- based approach for the performance analysis of BPEL SOA applications. VALUETOOLS 2012: 64-73

27 Applications 7) A case study showing how product-form solution theory can couple with multiformalism compositional modeling techniques. Barbierato E., Dei Rossi G., Gribaudo M., Iacono M., Marin A. (2012). Exploiting product forms solution techniques in multiformalism modeling. Electr. Notes Theor. Comput. Sci, to appear;

28 Applications 8) Modeling applications based on the map- reduce paradigm E. Barbierato, M. Gribaudo, M. Iacono, A Performance Modeling Language For Big Data Architectures. 27th European conference on modelling and simulation (ECMS 2013). IEEE Soc. German Chapter, ISBN: , DOI: / A Performance Modeling Language For Big Data Architectures 9) Language for what-if analysis for Big Data application designers E. Barbierato, M. Gribaudo, M. Iacono, Performance Evaluation of NoSQL Big- Data applications using multi-formalism models. Future generation computer systems, Elsevier, ISSN: X, DOI: /j.future Performance Evaluation of NoSQL Big- Data applications using multi-formalism models

29 Originality of SIMTHESys SIMTHESys separates the component defining the formalism from the component solving the model;

30 Originality of SIMTHESys Flexibility: –new formalisms (or extension of the existing ones) can be easily added to the framework by creating a new FDL file; Solution integration: –SIMTHESys derives the underlying CTMC from the analyzed model; in this way, it is not necessary to consider mechanisms sharing results between sub-models.

31 Conclusions SIMTHESys is an ongoing project that defines a framework for the design of multiformalism performance evaluation models:

32 Future Work –The definition of Formalisms and Models by using the concept of inheritance; –The definition of a Proprietary Language for Behaviors; –New formalism families and applications.

33 Publications Journals: [2014] Enrico Barbierato, Marco Gribaudo, Mauro Iacono, Modeling and evaluating the effects of Big Data storage resource allocation in global scale cloud architectures. International Journal of Data Warehousing and Mining, ISSN: , DOI: (to appear); [2014] E. Barbierato, M. Gribaudo, M. Iacono, Performance Evaluation of NoSQL Big-Data applications using multi-formalism models. Future generation computer systems, Elsevier, ISSN: X, DOI: /j.future ;Performance Evaluation of NoSQL Big-Data applications using multi-formalism models

34 Publications [2012] M. Iacono, E. Barbierato, M. Gribaudo, The SIMTHESys Multiformalism Modeling Framework. Computer & mathematics with applications, vol. 64, num. 12, pp (December 2012), Elsevier, ISSN: , DOI: /j.camwa [2011] E. Barbierato, M. Gribaudo, M. Iacono, Defining formalisms for performance evaluation with SIMTHESys. Electronic notes in theoretical computer science, vol. 275, pp , Elsevier, ISSN: , DOI: /j.entcs The SIMTHESys Multiformalism Modeling FrameworkDefining formalisms for performance evaluation with SIMTHESys

35 Publications Contributions in edited print books: [2014] Enrico Barbierato, Mauro Iacono, Marco Gribaudo, Multiformalism and multisolution strategies for system performances evaluation. QUADS, (to appear)2012: [2014] E. Barbierato, Multiformalism modeling composability in SIMTHESys, IGI-Global, ISBN: , DOI: / [2011] E. Barbierato, M. Gribaudo, M. Iacono, S. Marrone, Performability modeling of exceptions-aware systems in multiformalism tools. Analytical and Stochastic Modeling Techniques and Applications, LNCS 6751, pp , Springer-Verlag, ISBN: , DOI: / _19Performability modeling of exceptions-aware systems in multiformalism tools

36 Publications Conferences: [2013] E. Barbierato, M. Gribaudo, M. Iacono, Modeling Apache Hive based applications in Big Data architectures. VALUETOOLS 2013, 7th International Conference on Performance Evaluation Methodologies and Tools, Torino, Italy, December 10-12, 2013 [2013] E. Barbierato, M. Gribaudo, M. Iacono, A Performance Modeling Language For Big Data Architectures. 27th European conference on modelling and simulation (ECMS 2013). IEEE Soc. German Chapter, ISBN: , DOI: /

37 Publications [2012] E. Barbierato, A. Bobbio, M. Gribaudo, M. Iacono, Multiformalism to Support Software Rejuvenation Modeling. IEEE 23rd International Symposium on Software Reliability Engineering Workshops (ISSREW), Nov. 2012, pp , IEEE, ISBN: , DOI: /ISSREW [2012] E. Barbierato, M. Iacono, S. Marrone, PerfBPEL: a graph-based approach for the performance analysis of BPEL SOA applications. Proceedings of Valuetools 2012, 6th International Conference on Performance Evaluation Methodologies and Tools. Carg � se (France), October 9-12, 2012, ISBN: , DOI: /valuetools

38 Publications [2011] E. Barbierato, M. Gribaudo, M. Iacono, Exploiting multiformalism models for testing and performance evaluation in SIMTHESys. Proceedings of 5th International ICST Conference on Performance Evaluation Methodologies and Tools - VALUETOOLS 2011, Cachan (France), May , 2011, ICST, ISBN: , DOI: /icst.valuetools [2011] E. Barbierato, D. Cerotti and M. Gribaudo, A tool suite for modelling spatial interdependencies of distributed systems with Markovian Agents, in Proceedings of the 8th European conference on Computer Performance Engineering, ser. EPEW Berlin, Heidelberg: Springer-Verlag, 2011, pp


Download ppt "A novel approach to multiformalism performance modeling by composition of basic modeling primitives A Dissertation Defense Enrico Barbierato University."

Similar presentations


Ads by Google