Accession Number:

ADA371497

Title:

Using Petri Nets to Support Concurrent Software Analysis and Design Automation

Descriptive Note:

Final progress rept. Aug 98-Aug 99

Corporate Author:

ILLINOIS UNIV AT CHICAGO CIRCLE

Personal Author(s):

Report Date:

1999-10-25

Pagination or Media Count:

4.0

Abstract:

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.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE