Structure-Behavior Coalescence Method for Formal Specification of UML 2.0 Sequence Diagrams
Steve W. Haga, Wei-Ming Ma, William S.C. Chao · Journal of Computing Science and Engineering · 2021
This paper presents the structure-behavior coalescence (SBC) method for the formal specification of UML sequence diagrams. The SBC method, also named SBC sequence diagrams (SBC-SqD), includes syntax and semantics. The syntax allows the hierarchy of a sequence diagram to be represented as a parse tree. The semantic meaning of that sequence diagram is then represented by its message sending-and-receiving event transition graph (MSRETG). In order to create this MSRETG, the semantic meaning of sequence diagram (SD) modules is presented, including the meaning of these modules when they are used in a hierarchy that defines another module. Such hierarchical decomposition is formally provided for all sequence diagram modules, including all types of loops. In UML, all SD modules are also called combined fragments (CF). The obtained MSRETG has advantages over previous formal specifications, because it is a fully-complete specification and is compact and readable.