Abstract: The paper firstly analyzes the basic structure of UML Sequence Diagram and gives the formal description of Object Petri Nets. For reuse, the formal description of reusable interaction is ...

This article introduces an approach to define the interaction variants that exist in design patterns as extensions to UML sequence diagrams. The authors have applied the approach on several commonly ...