A Formal Semantics of UML Sequence Diagrams

Abstract

This paper presents a formal semantics of UML sequence diagram. In abstract syntax form, a well-formed sequence diagram corresponds to an ordered hierarchical tree structure. The static semantics of a sequence diagram is to check whether it is consistent with the class diagram declaration as well as with its well-formed tree structure. Meanwhile, the… (More)

8 Figures and Tables

Topics

  • Presentations referencing similar topics