Required Behavior of Sequence Diagrams: Semantics and Conformance

Lunjin Lu, Dae-kyoo Kim

Sequence diagrams are a widely used design notation for describing software behaviors. Many reusable software artifacts such as design patterns and design aspects make use of seque…