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 studied. Then ...

Design patterns provide a way to transfer design knowledge and reusable solutions to recurring problems. The patterns include structural and interaction information that, if captured in a catalog, can ...