UML Interaction diagrams (Sequence diagrams (SD), Collaboration diagrams or Communication diagrams) lack a formal semantics; they include some amount of ambiguity so that formal techniques cannot be applied e.g. for automatically deriving the behavior of the objects (as Statecharts or State-Transition diagrams) from the SD where they appear. To overcome this situation, this paper first analyses and simplifies the semantic relationships among the concepts that intervene in the definition of SDs: synchronous / asynchronous, activator and return messages. Then it proposes an interpretation of the precedence association among messages that yields to an operational semantics of SDs that orders the actions of emitting and receiving messages according to a causality relationship. © Springer-Verlag Berlin Heidelberg 2005.
CITATION STYLE
Sibertin-Blanc, C., Tahir, O., & Cardoso, J. (2005). Interpretation of UML Sequence diagrams as causality flows. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 3563 LNCS, pp. 126–140). Springer Verlag. https://doi.org/10.1007/11533962_12
Mendeley helps you to discover research relevant for your work.