This second edition of this very accessible book has been updated to provide a practical introduction to the design of object-oriented programs using UML. It includes detailed coverage of modelling ...

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