Abstract
Dynamic UML models like sequence diagrams (SD) lack sufficient formal semantics, making it difficult to build automated tools for their analysis, simulation and validation. A common approach to circumvent the problem is to map these models to more formal representations. In this context, many works propose a rule-based approach to automatically translate SD into colored Petri nets (CPN). However, finding the rules for such SD-to-CPN transformations may be difficult, as the transformation rules are sometimes difficult to define and the produced CPN may be subject to state explosion. We propose a solution that starts from the hypothesis that examples of good transformation traces of SD-to-CPN can be useful to generate the target model. To this end, we describe an automated SD-to-CPN transformation method which finds the combination of transformation fragments that best covers the SD model, using heuristic search in a base of examples. To achieve our goal, we combine two algorithms for global and local search, namely Particle Swarm Optimization (PSO) and Simulated Annealing (SA). Our empirical results show that the new approach allows deriving the sought CPNs with at least equal performance, in terms of size and correctness, to that obtained by a transformation rule-based tool.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
France, R., Rumpe, B.: Model-driven Development of Complex Software: A Research Roadmap. In: ICSE 2007: Future of Software Engineering (2007)
Jouault, F., Kurtev, I.: Transforming models with ATL. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol. 3844, pp. 128–138. Springer, Heidelberg (2006)
Muller, P., Fleurey, F., Jezequel, J.M., et al.: Weaving Executability into object-oriented meta-languages. In: Briand, L.C., Williams, C. (eds.) MoDELS 2005. LNCS, vol. 3713, pp. 264–278. Springer, Heidelberg (2005)
Varró, D., Pataricza, A.: Generic and meta-transformations for model transformation engineering. In: Baar, T., Strohmeier, A., Moreira, A., Mellor, S.J. (eds.) UML 2004. LNCS, vol. 3273, pp. 290–304. Springer, Heidelberg (2004)
Czarnecki, K., Helsen, S.: Classification of model transformation approaches. In: OOSPLA 2003, Anaheim, USA (2003)
Ehrig, H., Ehrig, K., de Lara, J., Taentzer, G., Varró, D., Varró-Gyapay, S.: On the Correspondence Between Conformance Testing and Regular Inference. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol. 3442, pp. 175–189. Springer, Heidelberg (2005)
Booch, G., Jacobson, I., Rumbaugh, J.: The Unified Modeling Language Users Guide. Addison Wesley, Reading (1998)
Saldhana, J., Shatz, S.M.: UML Diagrams to Object Petri Net Models: An Approach for Modeling and Analysis. In: SEKE 2000, July 2000, pp. 103–110 (2000)
Lilius, J., Paltor, I.P.: vUML: A Tool for Verifying UML Models. In: ASE 1999 (1999)
Murata, T.: Petri Nets: Properties, Analysis, and Applications. Proceedings of the IEEE 77(4), 541–580 (1989)
Ribeiro, O.R., Fernandes, J.M.: Some Rules to Transform Sequence Diagrams into Coloured Petri Nets. In: Jensen, K. (ed.) CPN 2006, Aarhus, Denmark, October 2006, pp. 237–256 (2006)
Varro, D.: Model transformation by example. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol. 4199, pp. 410–424. Springer, Heidelberg (2006)
Varro, D., Balogh, Z.: Automating Model Transformation by Example Using Inductive Logic Programming. In: SAC (2007)
Kessentini, M., Sahraoui, H., Boukadoum, M.: Model Transformation as an Optimization Problem. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., Völter, M. (eds.) MODELS 2008. LNCS, vol. 5301, pp. 159–173. Springer, Heidelberg (2008)
Kessentini, M., Sahraoui, H., Boukadoum, M.: Search-based Model Transformation by Example. Submitted to SoSym (under review)
Distefano, S., Scarpa, M., Puliafito, A.: Software Performance Analysis in UML Models. FIRB-Perf 2005: 115-125, https://mdslab.unime.it/webspn/mapping.htm
Jensen, K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. In: Basic Concepts. Monographs in Theoretical Computer Science, vol. 1 (1997)
Kennedy, J., Eberhart, R.C.: Particle swarm optimization. In: Proc. IEEE Intl.Conf. on Neural Networks, pp. 1942–1948 (1995)
Kirkpatrick, D.S., Gelatt, J., Vecchi, M.P.: Optimization by simulated annealing. Science 220(4598), 671–680 (1983)
Kelner, V., Capitanescu, F., Léonard, O., Wehenkel, L.: A hybrid optimization technique coupling an evolutionary and a local search algorithm. In: J. Comput. Appl. Math (2008)
Aamodt, A., Plaza, E.: Case-Based Reasoning: Foundational Issues, Methodological Variations, and System Approaches. In: AIC 1994, pp. 39–52 (1994)
Andries, M., Engels, G., Habel, A., Hoffmann, B., Kreowski, H.-J., Kuske, S., Kuske, D., Plump, D., Schürr, A., Taentzer, G.: Graph Transformation for Specification and Programming. Technical Report 7/96, Universität Bremen (1996)
Akehurst, D.H., Kent, S.: A Relational Approach to Defining Transformations in a Metamodel. In: Jézéquel, J.-M., Hussmann, H., Cook, S. (eds.) UML 2002. LNCS, vol. 2460, pp. 243–258. Springer, Heidelberg (2002)
Interactive Objects Software GmbH, Project Technology, Inc. MOF 2.0 Query/Views/Transformations RFP, Revised Submission
Egyed, A.: Heterogeneous Views Integration and its Automation, Ph.D. Thesis (2000)
Galvão, I., Goknil, A.: Survey of Traceability Approaches in Model-Driven Engineering. In: EDOC 2007, pp. 313–326 (2007)
Jouault, F.: Loosely coupled traceability for atl. In: ECMDA 2005(2005)
Marvie, R.: A transformation composition framework for model driven engineering. Technical Report LIFL-2004-10, LIFL (2004)
Ouardani, A., Esteban, P., Paludetto, M., Pascal, J.-C.: A Meta-modeling Approach for Sequence Diagrams to Petri Nets Transformation. In: ESMC (2006)
Wimmer, M., Strommer, M., Kargl, H., Kramler, G.: Towards model transformation generation by-example. HICSS-40 Hawaii International Conference on System Sciences
Harman, M., Jones, B.F.: Search-based software engineering. Information & Software Technology 43(14), 833–839 (2001)
Seng, O., Stammel, J., Burkhart, D.: Search-based determination of refactorings for improving the class structure of object-oriented systems. In: GECCO 2006, pp. 1909–1916 (2006)
Harman, M.: The Current State and Future of Search Based Software Engineering. In: Proceedings of ICSE 2007, Minneapolis, USA, May, pp. 20–26 (2007)
Sun, Y., White, J., Gray, J.: Model Transformation by Demonstration. In: Schürr, A., Selic, B. (eds.) MODELS 2009. LNCS, vol. 5795, pp. 712–726. Springer, Heidelberg (2009)
Uzam, M.: The use of Petri net reduction approach for an optimal deadlock prevention policy for flexible manufacturing systems. Int. J. Adv. Manuf. Technol 23, 204–219
Hu, Z., Shatz, S.M.: Mapping UML Diagrams to a Petri Net Notation for System Simulation (SEKE), Banff, Canada, June 2004, pp. 213–219 (2004)
Bernardi, S., Donatelli, S., Merseguer, J.: From UML Sequence Diagrams and StateCharts to analysable Petri Net models. In: WOSP 2002, Rome, Italy, pp. 35–45 (July 2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kessentini, M., Bouchoucha, A., Sahraoui, H., Boukadoum, M. (2010). Example-Based Sequence Diagrams to Colored Petri Nets Transformation Using Heuristic Search. In: Kühne, T., Selic, B., Gervais, MP., Terrier, F. (eds) Modelling Foundations and Applications. ECMFA 2010. Lecture Notes in Computer Science, vol 6138. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-13595-8_14
Download citation
DOI: https://doi.org/10.1007/978-3-642-13595-8_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-13594-1
Online ISBN: 978-3-642-13595-8
eBook Packages: Computer ScienceComputer Science (R0)