A toolkit for performability evaluation based on stochastic UML state machines

VALUETOOLS 2007 - 2nd International ICST Conference on Performance Evaluation Methodologies and Tools

Volumn , Issue , 2007, Pages

  Trowitzsch, J ^a   Jerzynek, D ^a   Zimmermann, A ^a  

^a TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

Author keywords

Model Transformation; Performance Evaluation; Petri Nets; Software Tool; Stochastic UML State Machines

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; PETRI NETS; STOCHASTIC MODELS;

AUTOMATIC TRANSFORMATIONS; MODEL TRANSFORMATION; PERFORMABILITY EVALUATION; PERFORMANCE EVALUATION; STOCHASTIC PETRI NETS; TECHNICAL SYSTEMS; UML STATE MACHINE; UML STATE MACHINE MODEL;

STOCHASTIC SYSTEMS;

EID: 85088723062     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.4108/valuetools.2007.1946     Document Type: Conference Paper

References (26)

1. M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, and G. Franceschinis. Modelling with Generalized Stochastic Petri Nets. Series in parallel computing. John Wiley and Sons, 1995.
2. ArgoUML CASE tool. http://argouml.tigris.org.
3. S. Bernardi, S. Donatelli, and J. Merseguer. From UML Sequence Diagrams and Statecharts to analysable Petri Net models. In Proceedings of the 3rd Int. Workshop on Software and Performance (WOSP), pages 35-45, Rome, Italy, July 2002.
4. W.W.W.Consortium. Extensible Markup Language (XML). www.w3.org/xml.
5. W.W.W. Consortium. XML Schema 1.1. http://www.w3.org/XML/Schema, 2001.
6. Gentleware. Poseidon for UML. http://www.gentleware.com.
7. R. German. Performance Analysis of Communication Systems, Modeling with Non-Markovian Stochastic Petri Nets. John Wiley and Sons, 2000.
8. E. Gómez-Martínez and J. Merseguer. ArgoSPE: Model-based software performance engineering. In ICATPN 2006, Volume 4024 of LNCS, pages 401-410. Springer-Verlag, 2006.
9. The GreatSPN tool. http://www.di.unito.it/~greatspn.
10. Java programming language. http://java.sun.com/.
11. P. King and R. Pooley. Using UML to derive stochastic Petri net models. In Proceedings of the 15th UK Performance Engineering Workshop, pages 45-56, Bristol, UK, July 1999.
12. C. Lindemann, A. Thümmler, A. Klemm, M. Lohmann, and O. Waldhorst. Performance Analysis of Time-enhanced UML Diagrams Based on Stochastic Processes. In Proc. of the 3rd Workshop on Software and Performance (WOSP), pages 25-34, Rome, Italy, 2002.
13. J. Merseguer. On the use of UML State Machines for Software Performance Evaluation. In Proc. of the 10th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2004.
14. T. Murata. Petri Nets: Properties, Analysis and Applications. In Proceedings of the IEEE, Volume 77(4), pages 541-580, April 1989.
15. Object Management Group. UML profile for schedulability, performance, and time. www.uml.org, March 2002.
16. Object Management Group. XML Metadata Interchange (XMI) Specification, January 2002.
17. Object Management Group. Unified Modeling Language Specification v. 2.0. www.omg.org, August 2005.
18. R. Pooley and P. King. The Unified Modeling Language and Performance Engineering. In IEE Proceedings - Software, Volume 146(1), February 1999.
19. W. Reisig. Petri nets. Springer Verlag Berlin, 1985.
20. Rhapsody user guide. www.ilogix.com.
21. TimeNET. pdv.cs.tu-berlin.de/~timenet.
22. J. Trowitzsch and A. Zimmermann. Real-Time UML State Machines: An Analysis Approach. In Object Oriented Software Design for Real Time and Embedded Computer Systems, September 2005.
23. J. Trowitzsch and A. Zimmermann. Using UML State Machines and Petri Nets for the Quantitative Evaluation of ETCS. In Proc. of the 1st Valuetools, Pisa, Italy, October 2006.
24. J. Trowitzsch, A. Zimmermann, and G. Hommel. Towards Quantitative Analysis of Real-Time UML Using Stochastic Petri Nets. In 13th Int. Workshop on Parallel and Distributed Real-Time Systems, April 2005.
25. A. Zimmermann, J. Freiheit, R. German, and G. Hommel. Petri net modeling and performability evaluation with TimeNET 3.0. In Proceedings of the 11th Int. Conf. on Tools and Techniques for Computer Performance Evaluation, pages 188-202, Schaumburg, Illinois, USA, 2000.
26. A. Zimmermann, M. Knoke, A. Huck, and G. Hommel. Towards version 4.0 of timenet. In 13th GI/ITG Conference on Measurement, Modeling, and Evaluation of Computer and Communication Systems, MMB 2006, Nuernberg, March 2006.