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

The Royal Society of Chemistry has unveiled a new publishing platform for eBooks that will enhance users' digital experience. The new platform, created by Silverchair, is the result of months of ...