The SIMTHESys multiformalism modeling framework

Computers and Mathematics with Applications

Volumn 64, Issue 12, 2012, Pages 3828-3839

  Iacono, M ^a   Barbierato, E ^b   Gribaudo, M ^c  

^a SECOND UNIVERSITY OF NAPLES   (Italy)

^b UNIVERSITY OF TURIN   (Italy)

^c POLITECNICO DI MILANO   (Italy)

Author keywords

Metamodeling; Modeling languages; Performance evaluation

Indexed keywords

AUTOMATICALLY GENERATED; FORMAL MODELING LANGUAGE; METAMODELING; MODELING FRAMEWORKS; MODELING LANGUAGES; MODELING TECHNIQUE; MULTI-FORMALISM MODELS; PERFORMANCE EVALUATION; PROPER MODELING; STOCHASTIC TECHNIQUES;

MATHEMATICAL MODELS;

ALGORITHMS;

EID: 84870243255     PISSN: 08981221     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.camwa.2012.03.009     Document Type: Article

References (31)

1. M. Gribaudo, D.C. Raiteri, G. Franceschinis, Drawnet, a customizable multi-formalism, multi-solution tool for the quantitative evaluation of systems, in: QEST, 2005, pp. 257-258.
2. D. Steinberg, F. Budinsky, M. Paternostro, and E. Merks EMF: Eclipse Modeling Framework second ed. 2008 Addison-Wesley Professional
3. E. Barbierato, M. Gribaudo, and M. Iacono Defining formalisms for performance evaluation with simthesys Electric Notes Theoretical Computer Science 275 2011 37 51
4. E. Barbierato, M. Gribaudo, M. Iacono, Exploiting multiformalism models for testing and performance evaluation in simthesys, in: Proceedings of 5th International ICST Conference on Performance Evaluation Methodologies and Tools - VALUETOOLS 2011, 2011.
5. E. Barbierato, M. Gribaudo, M. Iacono, and S. Marrone Performability modeling of exceptions-aware systems in multiformalism tools, in K. Al-Begain, S. Balsamo, D. Fiems, A. Marin, ASMTA Lecture Notes in Computer Science vol. 6751 2011 Springer 257 272
6. M. Iacono, and M. Gribaudo Element based semantics in multi formalism performance models MASCOTS 2010 IEEE 413 416
7. J. de Lara, and H. Vangheluwe Atom3: A tool for multi-formalism and meta-modelling R.-D. Kutsche, H. Weber, FASE Lecture Notes in Computer Science vol. 2306 2002 Springer 174 188
8. V. Vittorini, M. Iacono, N. Mazzocca, and G. Franceschinis The osmosys approach to multi-formalism modeling of systems Software and System Modeling 3 1 2004 68 81
9. G. Clark, T. Courtney, D. Daly, D. Deavours, S. Derisavi, J.M. Doyle, W.H. Sanders, and P. Webster The mobius modeling tool Proceedings of the 9th International Workshop on Petri Nets and Performance Models, PNPM'01 2001 IEEE Computer Society Washington, DC, USA 241
10. K.S. Trivedi Sharpe 2002: Symbolic hierarchical automated reliability and performance evaluator DSN '02: Proceedings of the 2002 International Conference on Dependable Systems and Networks 2002 IEEE Computer Society Washington, DC, USA 544
11. G. Ciardo, R.L. Jones III, A.S. Miner, and R.I. Siminiceanu Logic and stochastic modeling with smart Performance Evaluation 63 2006 578 608
12. F. Bause, P. Buchholz, and P. Kemper A toolbox for functional and quantitative analysis of deds Proceedings of the 10th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools, TOOLS '98 1998 Springer-Verlag London, UK 356 359 (Pubitemid 128135963)
13. J. Bézivin On the unification power of models Software and System Modeling 4 2 2005 171 188 (Pubitemid 40736678)
14. J.P. Van Gigch System Design Modeling and Metamodeling/John P. van Gigch 1991 Plenum Press New York
15. M.A. Jeusfeld, M. Jarke, and J. Mylopoulos Metamodeling for Method Engineering 2009 MIT Press Cambridge, MA, USA
16. J.D. Poole, Model-Driven Architecture: Vision, Standards, and Emerging Technologies. Position Paper Submitted to ECOOP 2001, 2001.
17. O.M. Group, Unified modeling language standards version 2.3. URL http://www.omg.org/spec/UML/2.3/.
18. H.M. Gholizadeh, and M.A. Azgomi A meta-model based approach for definition of a multi-formalism modeling framework International Journal of Computer Theory and Engineering 2 1 2010 87 95
19. M. Uschold, M. Grninger, and M. Gruninger Ontologies: principles, methods and applications Knowledge Engineering Review 11 1996 93 136 (Pubitemid 126652648)
20. E. Barbierato, M. Gribaudo, M. Iacono, Simthesyser: a tool generator for the performance evaluation of multiformalism models, Tech. Rep., Università degli Studi di Napoli, Belvedere Reale di San Leucio 81100 Caserta, Italy, February 2012.
21. D.D. Deavours, G. Clark, T. Courtney, D. Daly, S. Derisavi, J.M. Doyle, W.H. Sanders, P.G. Webster, The mobius framework and its implementation, 2002.
22. S. Robinson Simulation: The Practice of Model Development and Use 2004 John Wiley & Sons, Inc. New York, NY, USA
23. D. Kartson, G. Balbo, S. Donatelli, G. Franceschinis, and G. Conte Modelling with Generalized Stochastic Petri Nets 1994 John Wiley & Sons, Inc. New York, NY, USA
24. S. Balsamo, V.D.N. Personè, and P. Inverardi A review on queueing network models with finite capacity queues for software architectures performance prediction Performed Evaluation 51 2-4 2003 269 288
25. W. Gordon, and G. Newell Closed queueing systems with exponential servers Operations Research 15 2 1967 254 265
26. D.C. Raiteri, M. Iacono, G. Franceschinis, and V. Vittorini Repairable fault tree for the automatic evaluation of repair policies DSN 2004 IEEE Computer Society 659 668
27. S. Garg, A. Puliafito, M. Telek, K. Trivedi, Analysis of software rejuvenation using markov regenerative stochastic petri net, in: Software Reliability Engineering, 1995. Proceedings, Sixth International Symposium on, 1995, pp. 180-187.
28. A. Bobbio, S. Garg, M. Gribaudo, A. Horvath, M. Sereno, M. Telek, Modeling software systems with rejuvenation, restoration and checkpointing through fluid stochastic petri nets, in: Petri Nets and Performance Models, 1999. Proceedings. The 8th International Workshop on, 1999, pp. 82-91.
29. A. Bobbio, S. Garg, M. Gribaudo, A. Horvath, M. Sereno, M. Telek, Compositional fluid stochastic petri net model for operational software system performance, in: Software Reliability Engineering Workshops, 2008. ISSRE Wksp 2008. IEEE International Conference on, 2008, pp. 1-6.
30. G. Horton, V.G. Kulkarni, D.M. Nicol, and K.S. Trivedi Fluid stochastic petri nets: Theory, applications, and solution techniques European Journal of Operational Research 105 1 1998 184 201 (Pubitemid 128387771)
31. C.A. O'Cinneide Characterization of phase-type distributions Communications in Statistics. Stochastic Models 6 1 1990 1 57