Abstract
UML sequence diagrams are used to describe concepts related to behavioral view of systems. In other hand, Petri Nets models are tools for the performance analysis of distributed systems. Graph grammars aims to bridge the gap between semi-formal models and formal notations. In this paper we propose an approach for transforming UML sequence diagrams to labeled generalized stochastic Petri nets. Since the input and the output models are graphs, we use Java based graph transformation to perform this process automatically.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
AGG home page, http://tfs.cs.tu-berlin.de/agg/
Ajmone, M.M., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: An Introduction to generalized stochastic Petri nets. International Journal of Microelectronics Ans Reliability: Special Issue on Petri nets and Related Graph Models 31(4), 699–725 (1991)
ATOM3 home page, http://atom3.cs.mcgill.ca/
Barbier, F.: UML 2 ET MDE Ingénierie des modèles avec études de cas (2005)
Bernardi, S., Donatelli, S., Merseguer, J.: From UML sequence diagrams and statecharts to analyzable petri net models. In: Proceedings of the 3rd International Workshop on Software and Performance, WOSP (2002)
Bernot, G., Gaudel, M.C., Marre, B.: Software testing based on formal specifications: a theory and a tool. Software Engineering Journal 6(6), 387–405 (1991)
Charles, N., Bowman, H., Thompso, S.: From Act-one to Miranda, a Translation Experiment. Computer Standards and Interfaces Journal 19(1) (May 1997)
EMF home page, http://www.eclipse.org/emf/
Fowler, M.: UML distilled third edition, a brief guide to the standard object modeling language (2004)
FUJABA home page, http://www.fujaba.de
Genrich, H.J., Lautenbach, K.: System Modelling with High-Level Petri Nets. Theoretical Computer Science Journal 13 (1981)
Graph transformation and graph grammars, http://www.gratra.org/
GreAT home page, http://www.escherinstitute.org/Plone/tools/
GEF home page, http://www.eclipse.org/gef/
GMF home page, http://www.eclipse.org/gmf
GME home page, http://www.isis.vanderbilt.edu/gme
INA home page, http://www2.informatik.hu-berlin.de/~starke/ina.html
Kelly, S., Lyytinen, K., Rossi, M.: MetaEdit+: A fully configurable Multi-User and Multi-Tool CASE and CAME Environment. In: Advanced Information System Engineering. LNCS, vol. 1080, Berlin (1996)
Kerkouche, E., Chaoui, A., Khalfaoui, K.: Transforming UML models to colored Petri nets models using graph grammars. In: Proceedings of ISCC, pp. 230–236 (2009)
Kerkouche, E., Chaoui, A., Bourennane, E., Labbani, O.: A UML and Colored Petri Nets Integrated Modeling and Analysis Approach using Graph Transformation”. Journal of Objetc Technology 9(4), 25–43 (2010)
OMG Unified Modeling Language Specification: version 1.4. Object Management Group Inc. (September 2001), http://www.omg.org
OMG: MDA Guide Version 1.0.1. Retrieved from Object Management Group (June 12, 2003), http://www.omg.org/mda
PROGRES Applications of Graph Transformations with Industrial Relevance. LNCS, vol. 5088 (2008)
Rozengerg, G.: Handbook of Graph Grammar and computing Graph Transformation. World Scientific, Singapore (1999)
Varró, D., Pataricza, A.: A visual, precise and multilevel metamodeling framework for describing mathematical domains and uml (the mathematics of metamodeling is metamodeling mathematics). Software and System Modeling Journal 2(3), 187–210 (2003)
Wing, J.M.: A Specifier’s Introduction to Formal Methods. Computer Journal 23(9), 8–23 (1990)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bouarioua, M., Chaoui, A., Elmansouri, R. (2011). From UML Sequence Diagrams to Labeled Generalized Stochastic Petri Net Models Using Graph Transformation. In: Yonazi, J.J., Sedoyeka, E., Ariwa, E., El-Qawasmeh, E. (eds) e-Technologies and Networks for Development. ICeND 2011. Communications in Computer and Information Science, vol 171. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-22729-5_27
Download citation
DOI: https://doi.org/10.1007/978-3-642-22729-5_27
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-22728-8
Online ISBN: 978-3-642-22729-5
eBook Packages: Computer ScienceComputer Science (R0)