An expressive aspect composition language for UML state diagrams

Jon Whittle, Ana Moreira, João Araújo, Praveen Jayaraman, Ahmed Elkhodary, Rasheed Rabbi

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

37 Citations (Scopus)


The goal of aspect-oriented software development is to maintain a clear separation of concerns throughout the software lifecycle. Concerns that are separated, however, must be composed at some point. The hypothesis in this paper is that existing aspect-oriented modeling composition methods are not expressive enough for composing state-dependent behavioral models. The paper presents a new aspect composition language, SDMATA, for UML state diagrams. SDMATA supports a richer form of model composition than previous approaches to aspect-oriented modeling. Firstly, pointcuts are given as patterns which allows for sequence pointcuts, loop pointcuts, etc. Secondly, SDMATA supports rich forms of composition including parallel composition and alternative composition. The language is applied to the use case slice technique of Jacobson and Ng. The findings are that it is possible to maintain the separation of state-dependent models during software design and that expressive model composition methods are necessary to do this in practice.

Original languageEnglish
Title of host publicationModel Driven Engineering Languages and Systems - 10th International Conference, MODELS 2007, Proceedings
Number of pages15
Publication statusPublished - 1 Dec 2007
Externally publishedYes
EventACM/IEEE International Conference on Model Driven Engineering Languages and Systems 2007 - Nashville, United States of America
Duration: 30 Sep 20075 Oct 2007
Conference number: 10th (Proceedings)

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume4735 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


ConferenceACM/IEEE International Conference on Model Driven Engineering Languages and Systems 2007
Abbreviated titleMoDELS 2007
Country/TerritoryUnited States of America
Internet address


  • Aspect-oriented development
  • State machines
  • Use cases

Cite this