Department of Chemical Engineering, University of California, Berkeley, California 94720, and Materials Science Division, Lawrence Berkeley Laboratory, and Department of Chemical Engineering, ...

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