A Simple Trace Semantics for Asynchronous Sequence Diagrams

David Faitelson, Shmuel Tyszberowicz

Sequence diagrams are a popular technique for describing interactions between software entities. However, because the OMG group's UML standard is not based on a rigorous mathematic…