Formal semantics of interactions in sequence diagrams for embedded software

Abstract

Recently, sequence diagrams have been extended with the introduction of a set of operators in the latest specification of the Unified Modeling Language 2 (UML 2). Embedded in combined fragments, these operators are intended to simplify the diagram's structure or alter the order of its events. However, the latest specification introduces a non-trivial degree… (More)

Topics

1 Figure or Table

Slides referencing similar topics