Defining Formalisms for Performance Evaluation with SIMTHESys

Electronic Notes in Theoretical Computer Science

Volumn 275, Issue 1, 2011, Pages 37-51

  Barbierato, Enrico ^a   Gribaudo, Marco ^b   Iacono, Mauro ^c  

^a UNIVERSITY OF TURIN   (Italy)

^b POLITECNICO DI MILANO   (Italy)

^c SECOND UNIVERSITY OF NAPLES   (Italy)

Author keywords

performability oriented formalism; Performance analysis; specification; tools

Indexed keywords

ANALYSIS AND MODELING; MODELING LANGUAGES; PERFORMABILITY; PERFORMABILITY-ORIENTED FORMALISM; PERFORMANCE ANALYSIS; PERFORMANCE EVALUATION;

REUSABILITY; SEMANTICS;

SPECIFICATIONS;

EID: 80055014024     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2011.09.004     Document Type: Conference Paper

References (21)

1. 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)
2. G. Ciardo, R.L. Jones III, A.S. Miner, and R.I. Siminiceanu Logic and stochastic modeling with SMART Perform. Eval. 63 June 2006 578 608
3. 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
4. Courtney, T.; Derisavi, S.; Gaonkar, S.; Griffith, M.; Lam, V.; McQuinn, M.; Rozier, E.; Sanders, W. H.; 2005. The Mobius modeling environment: Recent extensions - 2005. Quantitative Evaluation of Systems, International Conference on 0, 259-260.
5. Courtney, T.; Gaonkar, S.; Keefe, K.; Rozier, E.; Sanders, W. H.; 2009. Mobius 2.3: An extensible tool for dependability, security, and performance evaluation of large and complex system models. In: DSN. IEEE, pp. 353-358.
6. Deavours, D. D.; Clark, G.; Courtney, T.; Daly, D.; Derisavi, S.; Doyle, J. M.; Sanders, W. H.; Webster, P. G.; 2002 The Mobius framework and its implementation. URL citeseer.ist.psu.edu/525756.html.
7. S. Derisavi, P. Kemper, W.H. Sanders, and T. Courtney The Mobius State-level Abstract Functional Interface Performance Evaluation 54 2 October 2003 105 128
8. Franceschinis, F.; Gribaudo, M.; Iacono, M.; Mazzocca, N.; Vittorini, V.; Aug. 2002. Towards an object based multi-formalism multi-solution modeling approach. In: Proc. of the Second International Workshop on Modelling of Objects, Components, and Agents (MOCA'02), Aarhus, Denmark, August 26-27, 2002 / Daniel Moldt (Ed.). Technical Report DAIMI PB-561, pp. 47-66.
9. Franceschinis, G.; Gribaudo, M.; Iacono, M.; Marrone, S.; Moscato, F.; Vittorini, V.; 2009. Interfaces and binding in component based development of formal models. In: Proceedings of the Fourth International ICST Conference on Performance Evaluation Methodologies and Tools. VALUETOOLS '09. ICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering), ICST, Brussels, Belgium, Belgium, pp. 44:1-44:10.
10. W. Gordon, and G. Newell Closed queueing systems with exponential servers Op Res 15 2 1967 254 265
11. Gribaudo, G.; Iacono, M.; Mazzocca, M.; Vittorini, 2003. The OsMoSys/DrawNET Xe! languages system: A novel infrastructure for multi-formalism object-oriented modelling. In: ESS 2003: 15th European Simulation Symposium And Exhibition.
12. Gribaudo, M.; Raiteri, D. C.; Franceschinis, G.; 2005. DrawNET, a customizable multi-formalism, multi-solution tool for the quantitative evaluation of systems. In: QEST. pp. 257-258.
13. M. Gribaudo, and M. Sereno Gspn semantics for queueing networks with blocking Proceedings of the 6th International Workshop on Petri Nets and Performance Models 1997 IEEE Computer Society Washington, DC, USA 26
14. Iacono, M.; Gribaudo, M.; 2010. Element based semantic and behavior based composition in multi formalism performance models. In: MASCOTS. pp. 413-416. IEEE (2010).
15. 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
16. Moscato, F.; Flammini, F.; Lorenzo, G. D.; Vittorini, V.; Marrone, S.; Iacono, M.; 2007. The software architecture of the OsMoSys multisolution framework. In: ValueTools '07: Proceedings of the 2nd international conference on Performance evaluation methodologies and tools. pp. 1-10.
17. R.A. Sahner, K.S. Trivedi, and A. Puliafito Performance and Reliability Analysis of Computer Systems; An Example-based Approach Using the SHARPE Software Package 1996 Kluwer Academic Publisher
18. Sanders, W. H.; Courtney, T.; Deavours, D.; Daly, D.; Derisavi, S.; Lam, V.; 2007, Multi-formalism and multi-solution-method modeling frameworks: The Mobius approach. URL citeseer.ist.psu.edu/685964.html.
19. 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
20. Vittorini, V.; Franceschinis, G.; Gribaudo, M.; Iacono, M.; Mazzocca, N.; April 2002. DrawNET++: Model objects to support performance analysis and simulation of complex systems. In: Proc. of the 12th Int. Conference on Modelling Tools and Techniques for Computer and Communication System Performance Evaluation (TOOLS 2002). London, UK.
21. 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