Abstract
Algebraic graph transformation has been promoted by several authors as a means to specify model transformations. This paper explores how we can specify graph transformation-based rules for a classical problem of transforming from sequence diagrams to state machines. The transformation rules are based on the concrete syntax of sequence diagrams and state machines. We introduce tailored transformation support for sequence diagrams and a novel graphical operator to match and transform combined fragments.
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
Brændshøi, B.: Consistency Checking UML Interactions and State Machines. Master’s thesis, Department of Informatics, University of Oslo (2008)
Grønmo, R.: Using Concrete Syntax in Graph-based Model Transformations. PhD thesis, Dept. of Informatics, University of Oslo (2009)
Grønmo, R., Krogdahl, S., Møller-Pedersen, B.: A Collection Operator for Graph Transformation. In: Paige, R.F. (ed.) ICMT 2009. LNCS, vol. 5563, pp. 67–82. Springer, Heidelberg (2009)
Grønmo, R., Møller-Pedersen, B.: Aspect Diagrams for UML Activity Models. In: Schürr, A., Nagl, M., Zündorf, A. (eds.) AGTIVE 2007. LNCS, vol. 5088, pp. 329–344. Springer, Heidelberg (2008)
Grønmo, R., Sørensen, F., Møller-Pedersen, B., Krogdahl, S.: A Semantics-based Aspect Language for Interactions with the Arbitrary Events Symbol. In: Schieferdecker, I., Hartman, A. (eds.) ECMDA-FA 2008. LNCS, vol. 5095, pp. 262–277. Springer, Heidelberg (2008)
Harel, D., Kugler, H., Pnueli, A.: Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements. In: Kreowski, H.-J., Montanari, U., Orejas, F., Rozenberg, G., Taentzer, G. (eds.) Formal Methods in Software and Systems Modeling. LNCS, vol. 3393, pp. 309–324. Springer, Heidelberg (2005)
Haugen, Ø., Møller-Pedersen, B.: JavaFrame: Framework for Java-enabled modelling. In: Ericsson Conference on software Engineering, ECSE (2000)
Heckel, R., Küster, J.M., Taentzer, G.: Confluence of Typed Attributed Graph Transformation System. In: Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2002. LNCS, vol. 2505, Springer, Heidelberg (2002)
Hermann, F.: Typed Attributed Graph Grammar for Syntax Directed Editing of UML Sequence Diagrams. Diploma thesis. Master’s thesis, Technical University of Berlin, Department for Computer Science (2005)
Klein, J., Fleurey, F., Jézéquel, J.-M.: Weaving multiple aspects in sequence diagrams. Trans. on Aspect Oriented Software Development 3 (2007)
Krüger, I., Grosu, R., Scholz, P., Broy, M.: From MSCs to Statecharts. In: International Workshop on Distributed and Parallel Embedded Systems (1999)
Lambers, L., Ehrig, H., Orejas, F.: Conflict Detection for Graph Transformation with Negative Application Conditions. In: Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L., Rozenberg, G. (eds.) ICGT 2006. LNCS, vol. 4178, pp. 61–76. Springer, Heidelberg (2006)
Runde, R.K., Haugen, Ø., Stølen, K.: Refining UML interactions with underspecification and nondeterminism. Nordic Journal of Computing 2(12) (2005)
Sun, X.: A Model-Driven Approach to Scenario-Based Requirements Engineering. Master’s thesis, School of Comp. Science, McGill Univ., Montreal, Canada (2007)
Taentzer, G.: AGG: A graph transformation environment for modeling and validation of software. In: Pfaltz, J.L., Nagl, M., Böhlen, B. (eds.) AGTIVE 2003. LNCS, vol. 3062, pp. 446–453. Springer, Heidelberg (2004)
Whittle, J., Jayaraman, P., Elkhodary, A., Moreira, A., Araújo, J.: MATA: A Unified Approach for Composing UML Aspect Models based on Graph Transformation. In: Katz, S., Ossher, H., France, R., Jézéquel, J.-M. (eds.) Transactions on Aspect-Oriented Software Development VI. LNCS, vol. 5560, pp. 191–237. Springer, Heidelberg (2009)
Whittle, J., Schumann, J.: Generating statechart designs from scenarios. In: The 22nd international conference on Software engineering (ICSE) (2000)
Ziadi, T., Hélouët, L., Jézéquel, J.-M.: Revisiting statechart synthesis with an algebraic approach. In: 26th International Conference on Software Engineering (ICSE), IEEE Computer Society, Los Alamitos (2004)
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
Grønmo, R., Møller-Pedersen, B. (2010). From Sequence Diagrams to State Machines by Graph Transformation. In: Tratt, L., Gogolla, M. (eds) Theory and Practice of Model Transformations. ICMT 2010. Lecture Notes in Computer Science, vol 6142. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-13688-7_7
Download citation
DOI: https://doi.org/10.1007/978-3-642-13688-7_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-13687-0
Online ISBN: 978-3-642-13688-7
eBook Packages: Computer ScienceComputer Science (R0)