Abstract
In this paper we briefly introduce an aspect language that can define cross-cutting effects on a set of UML 2.0 sequence diagrams. Our main contribution is to weave aspects and sequence diagrams at the model level. By basing the weaving upon a formal trace model for sequence diagrams, we ensure that the weaving is semantics-based. To avoid the intractability of working on complete trace sets, we define a lifeline-based weaving upon trace-based equivalence classes. A major challenge is to handle unbounded loops which produce infinite trace sets. We establish a systematic way to rewrite the original loop definition so that the weaving can be performed on a finite structure. A weaving tool has been implemented to validate the approach.
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
Avgustinov, P., Tibble, J., de Moor, O.: Making trace monitors feasible. In: The 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications, OOPSLA (2007)
Clarke, S., Walker, R.J.: Composition Patterns: An Approach to Designing Reusable Aspects. In: The 23rd International Conference on Software Engineering (ICSE) (2001)
Deubler, M., Meisinger, M., Rittmann, S., Krüger, I.: Modeling Crosscutting Services with UML Sequence Diagrams. In: Briand, L.C., Williams, C. (eds.) MoDELS 2005. LNCS, vol. 3713. Springer, Heidelberg (2005)
Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Springer, Heidelberg (2006)
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: European Conference on Model Driven Architecture — Foundations and Applications (ECMDA 2008) (2008) (in press)
Grosu, R., Smolka, S.A.: Safety-Liveness Semantics for UML 2.0 Sequence Diagrams. In: Fifth International Conference on Application of Concurrency to System Design (ACSD) (2005)
Jayaraman, P., Whittle, J., Elkhodary, A.M., Gomaa, H.: Model Composition in Product Lines and Feature Interaction Detection Using Critical Pair Analysis. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol. 4735. Springer, Heidelberg (2007)
Kiczales, G., Hilsdale, E., Hugunin, J., Kersten, M., Palm, J., Griswold, W.G.: An Overview of AspectJ. In: Knudsen, J.L. (ed.) ECOOP 2001. LNCS, vol. 2072. Springer, Heidelberg (2001)
Klein, J., Fleurey, F., Jézéquel, J.-M.: Weaving multiple aspects in sequence diagrams. In: Trans. on Aspect Oriented Software Development III (2007)
Klein, J., Hélouët, L., Jézéquel, J.-M.: Semantic-based weaving of scenarios. In: The 5th International Conference on Aspect-Oriented Software Development (2006)
Limyr, A.: Graphical editor for UML 2.0 sequence diagrams. Master’s thesis, Department of Informatics, University of Oslo (2005)
Lund, M.S.: Operational analysis of sequence diagram specifications. PhD thesis, Department of Informatics, University of Oslo, Norway (2008)
O.M.G. (OMG). UML 2.0 Superstructure Specification, OMG Adopted Specification ptc/03-08-02 (August 2003)
Pickin, S., Jard, C., Jéron, T., Jézéquel, J.-M., Traon, Y.L.: Test Synthesis from UML Models of Distributed Software. IEEE Trans. Software Eng. 33(4) (2007)
Runde, R.K., Haugen, Ø., Stølen, K.: Refining UML interactions with underspecification and nondeterminism. Nordic Journal of Computing 2(12) (2005)
Solberg, A., Simmonds, D., Reddy, R., Ghosh, S., France, R.B.: Using Aspect Oriented Techniques to Support Separation of Concerns in Model Driven Development. In: 29th Annual International Computer Software and Applications Conference (COMPSAC) (2005)
Stein, D., Hanenberg, S., Unland, R.: Join Point Designation Diagrams: a Graphical Representation of Join Point Selections. International Journal of Software Engineering and Knowledge Engineering 16(3), 317–346 (2006)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Grønmo, R., Sørensen, F., Møller-Pedersen, B., Krogdahl, S. (2008). Semantics-Based Weaving of UML Sequence Diagrams. In: Vallecillo, A., Gray, J., Pierantonio, A. (eds) Theory and Practice of Model Transformations. ICMT 2008. Lecture Notes in Computer Science, vol 5063. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-69927-9_9
Download citation
DOI: https://doi.org/10.1007/978-3-540-69927-9_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-69926-2
Online ISBN: 978-3-540-69927-9
eBook Packages: Computer ScienceComputer Science (R0)