Using Petri Nets to Support Concurrent Software Analysis and Design Automation

摘要

This report documents the final progress of the one year grant covering the period Aug. 1998 - Aug. 1999. The aim of the project research was to develop a practical, formal methods-based enabling technology for advanced system design. An approach based on combining Petri net modeling and object-oriented design was investigated. The approach shows promise for supporting the design of distributed object software systems. Our major focus of work was to define a new type of object-oriented Petri net model, called a State-Based Object Petri Net (SBOPN). Techniques to incorporate object features such as encapsulation and installation were considered. In addition, a form of inheritance modeling was developed and formalized.