A graph-based aspect interference detection approach for UML-based aspect-oriented models

S. Ciraci, W.K. Havinga, Mehmet Aksit, Christoph Bockisch, P.M. van den Broek

    Research output: Book/ReportReportProfessional

    74 Downloads (Pure)


    Aspect Oriented Modeling (AOM) techniques facilitate separate modeling of concerns and allow for a more flexible composition of these than traditional modeling techniques. While this improves the understandability of each submodel, in order to reason about the behavior of the composed system and to detect conflicts among submodels, automated tool support is required. Current techniques for con°ict detection among aspects generally have at least one of the following weaknesses. They require to manually model the abstract semantics for each system; or they derive the system semantics from code assuming one specific aspect-oriented language. Defining an extra semantics model for verification bears the risk of inconsistencies between the actual and the verified design; verifying only at implementation level hinders fixing errors in earlier phases. We propose a technique for fully automatic detection of conflicts between aspects at the model level; more specifically, our approach works on UML models with an extension for modeling pointcuts and advice. As back-end we use a graph-based model checker, for which we have defined an operational semantics of UML diagrams, pointcuts and advice. In order to simulate the system, we automatically derive a graph model from the diagrams. The result is another graph, which represents all possible program executions, and which can be verified against a declarative specification of invariants. To demonstrate our approach, we discuss a UML-based AOM model of the "Crisis Management System" and a possible design and evolution scenario. The complexity of the system makes conflicts among composed aspects hard to detect: already in the case of two simulated aspects, the state space contains 623 different states and 9 different execution paths. Nevertheless, in case the right pruning methods are used, the state-space only grows linearly with the number of aspects; therefore, the automatic analysis scales.
    Original languageEnglish
    Place of PublicationEnschede
    PublisherCentre for Telematics and Information Technology (CTIT)
    Number of pages47
    Publication statusPublished - 21 Sep 2009

    Publication series

    NameCTIT Technical Report Series
    PublisherUniversity of Twente, Centre for Telematics and Information Technology
    ISSN (Print)1381-3625


    Dive into the research topics of 'A graph-based aspect interference detection approach for UML-based aspect-oriented models'. Together they form a unique fingerprint.
    • A graph-based aspect interference detection approach for UML-based aspect-oriented models

      Ciraci, S., Havinga, W., Aksit, M., Bockisch, C. & van den Broek, P., 20 Sep 2010, Transactions on Aspect-Oriented Software Development VII: A Common Case Study for Aspect-Oriented Modeling. Katz, S., Mezini, M. & Kienzle, J. (eds.). Berlin, Heidelberg: Springer, p. 321-374 56 p. (Lecture Notes in Computer Science; vol. 6210).

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

      Open Access
      7 Citations (Scopus)
      75 Downloads (Pure)

    Cite this