Abstract
Although some techniques for aspect oriented modelling focus on semantic-based composition, there has been a general lack of focus on how to preserve semantics. We address semantics preservation in the context of sequence diagram aspects. We define semantics preservation based on two properties: monotonicity of aspect composition with respect to refinement, and preservation of events in the composed result. We analyse and compare existing sequence diagram aspect techniques with respect to semantics preservation and find that both syntactic based and semantic based aspect weaving techniques have serious challenges to meet semantics preservation.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Haugen, Ø., Stølen, K.: STAIRS - Steps To Analyze Interactions with Refinement Semantics. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol. 2863. Springer, Heidelberg (2003)
Bergmans, L., Aksit, M.: Composing Crosscutting Concerns Using Composition Filters. Commun. ACM (10), 51–57 (2001)
Harrison, W., Ossher, H.: Subject-oriented Programming: a Critique of Pure Objects. SIGPLAN Not 28(10), 411–428 (1993)
Schärli, N., Ducasse, S., Nierstrasz, O., Black, A.P.: Traits: Composable units of behaviour. LNCS, pp. 248–274. Springer, Heidelberg (2003)
Kiczales, G.: Aspect-oriented programming. ACM Comput. Surv. 4es, 154 (1996)
Araujo, J., Whittle, J., Kim, D.K.: Modeling and Composing Scenario-based Requirements with Aspects. In: Requirements Engineering Conference, 2004. Proceedings. 12th IEEE International, pp. 58–67 (2004)
Baniassad, E., Clarke, S.: Theme: an Approach for Aspect-Oriented Analysis and Design. In: 26th International Conference on Software Engineering (ICSE), pp. 158–167 (2004)
Clarke, S., Walker, R.J.: Composition Patterns: An Approach to Designing Reusable Aspects. In: International Conference of Software Engineering (ICSE) (2001)
Oldevik, J., Haugen, Ø.: Architectural Aspects in UML. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol. 4735. Springer, Heidelberg (2007)
Haugen, Ø., Husa, K.E., Runde, R.K., Stølen, K.: STAIRS Towards Formal Design with Sequence Diagrams. Software and Systems Modeling, 355–357 (2005)
Runde, R.: STAIRS - Understanding and Developing Specifications Expressed as UML Interaction Diagrams. PhD thesis, Department of Informatics, University of Oslo (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)
Solberg, A., Simmonds, D., Reddy, R., France, R., Ghosh, S., Aagedal, J.: Developing Distributed Services Using an Aspect Oriented Model Driven Framework. International Journal if Cooperative Information Systems 15, 535–564 (2006)
Stein, D., Hanenberg, S., Unland, R.: Query Models. In: 7th International Conference of Modelling Languages and Applications. Springer, Heidelberg (2004)
Whittle, J., Jayaraman, P.: MATA: A Tool for Aspect-Oriented Modeling based on Graph Transformation. In: Eleventh International Workshop on Aspect-Oriented Modeling (AOM) (2007)
Clarke, S., Baniassad, E.: Aspect-Oriented Analysis and Design, The Theme Approach. Addison-Wesley, Reading (2005)
Haugen, Ø., Husa, K.E., Runde, R.K., Stølen, K.: Why Timed Sequence Diagrams Require Three-Event Semantics. Research Report 309, University of Oslo (2004) ISBN 82-7368-261-7
Klein, J., Helouet, L., Jezequel, J.: Semantic-based Weaving of Scenarios. In: AOSD 2006: The 5th International Conference on Aspect-oriented Software Development, pp. 27–38. ACM Press, New York (2006)
France, R.B., Kim, D.K., Ghosh, S., Song, E.: A UML-Based Pattern Specification Technique. IEEE Trans. Softw. Eng. 3, 193–206 (2004)
Stein, D., Hanenberg, S., Unland, R.: A UML-based Aspect-Oriented Design Notation for AspectJ. In: AOSD 2002: Proceedings of the 1st international conference on Aspect-oriented software development, pp. 106–112. ACM Press, New York (2002)
Klein, J., Fleurey, F., Jézéquel, J.M.: Weaving Multiple Aspects in Sequence Diagrams. Transactions on Aspect Oriented Software Development (TAOSD) (2007)
Grønmo, R., Sørensen, F., Møller-Pedersen, B., Krogdahl, S.: Weaving of UML Sequence Diagrams using STAIRS. Research Report 367, University of Oslo (2007)
Küster, J., Bowles, F.: Decomposing interactions. Algebraic Methodology and Software Technology, 189–203 (2006)
Bowles, J.: Decomposing Interactions. In: Johnson, M., Vene, V. (eds.) AMAST 2006. LNCS, vol. 4019, pp. 189–203. Springer, Heidelberg (2006)
Engels, G., Heckel, R., Küster, J.M., Groenewegen, L.: Consistency-Preserving Model Evolution through Transformations. In: 5th International Conference on The Unified Modeling Language, pp. 212–226 (2002)
Baar, T., Markovic, S.: A Graphical Approach to Prove the Semantic Preservation of UML/OCL Refactoring Rules. Perspectives of Systems Informatics, 70–83 (2007)
Katz, E., Katz, S.: Verifying Scenario-Based Aspect Specifications. In: Fitzgerald, J.S., Hayes, I.J., Tarlecki, A. (eds.) FM 2005. LNCS, vol. 3582, pp. 432–447. Springer, Heidelberg (2005)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Oldevik, J., Haugen, Ø. (2008). Semantics Preservation of Sequence Diagram Aspects. 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_15
Download citation
DOI: https://doi.org/10.1007/978-3-540-69100-6_15
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)