Abstract
In this paper we introduce an aspect language that can define cross-cutting effects on a set of UML 2.0 sequence diagrams. The aspects and sequence diagrams are woven at the model level. By basing the weaving upon a formal trace model for sequence diagrams, we ensure that the weaving is semantics-based. We propose the arbitrary events symbol as a wildcard mechanism to express zero or more events on a sequence diagram lifeline. The approach is explained by a real-life example, and a weaving tool partially implements the approach.
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
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)
Deubler, M., Meisinger, M., Rittmann, S., Krüger, I.: Modeling Crosscutting Services with UML Sequence Diagrams. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol. 3844. Springer, Heidelberg (2006)
Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Springer, New York (2006)
Grønmo, R., Sørensen, F., Møller-Pedersen, B., Krogdahl, S.: Semantics-based Weaving of UML Sequence Diagrams. In: International Conference on Model Transformation (ICMT) (in press, 2008)
Haugen, Ø., Møller-Pedersen, B.: JavaFrame: Framework for Java-enabled modelling. In: Ericsson Conference on software Engineering (ECSE) (2000)
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 Aspect. In: The 15th European Conference on Object-Oriented Programming (2001)
Klein, J., Fleurey, F., Jézéquel, J.-M.: Weaving multiple aspects in sequence diagrams. 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)
Krüger, I., Grosu, R., Scholz, P., Broy, M.: From MSCs to Statecharts. In: International Workshop on Distributed and Parallel Embedded Systems (DIPES 1998) (1999)
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)
OMG. MOF QVT Final Adopted Specification, OMG Document: ptc/05-11-01 (November 2005)
OMG. UML 2.0 Superstructure Spec., OMG Adopted Spec. 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), Edinburgh, Scotland (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). A Semantics-Based Aspect Language for Interactions with the Arbitrary Events Symbol. In: Schieferdecker, I., Hartman, A. (eds) Model Driven Architecture – Foundations and Applications. ECMDA-FA 2008. Lecture Notes in Computer Science, vol 5095. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-69100-6_18
Download citation
DOI: https://doi.org/10.1007/978-3-540-69100-6_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-69095-5
Online ISBN: 978-3-540-69100-6
eBook Packages: Computer ScienceComputer Science (R0)