A Semantics-Based Aspect Language for Interactions with the Arbitrary Events Symbol

From UML 2 Sequence Diagrams to State Machines by Graph Transformation.

“…Finally, an occurrence of kind arbEvt represents the lifeline symbol called arbitrary events, which was previously introduced in [GSMPK08]. This symbol allows matches to have an arbitrary number of occurrences in the symbol's position.…”

“…Our previously defined semantics-based aspect language [GSMPK08] cannot be used as a basis for the transformation from sequence diagrams to state machines, since it is not structure preserving. The structure of combined fragments is utterly important in order to generate readable state machines.…”

Architectural Aspects in UML

“…Grønmo has in his PhD work focused on three areas in the SWAT context: one is composition of sequence diagram aspects that is semantics based [67,68] and a confluence theory for sequence diagram aspects [72], the other is representation of aspects and transformations in concrete syntax [70,71], and finally extensions to graph transformation theory to improve the capability of composing sub graphs [69].…”

“…Sørensen has in his PhD work followed two distinct paths: he contributed to the work on semantics-based weaving in [67,68]. The main focus of his work, however, has been on template packages [114,115].…”

“…This is also the focus of Grønmo et.al. [67,68], who use a trace-based semantics for sequence diagrams as basis for the semantic-based weaving. Semantic-based weaving addresses how pointcut matching is according to the semantics of the sequence diagrams (i.e.…”