Using Petri Nets to Support Concurrent Software Analysis and Design Automation

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Oct 25, 1999
Accession Number
ADA371497

Entities

People

  • S. Shatz

Organizations

  • University of Illinois at Chicago

Tags

Communities of Interest

  • Human Systems

DTIC Thesaurus Topics

  • Abstracts
  • Automation
  • Classification
  • Computer Languages
  • Coverings
  • Encapsulation
  • Language
  • Models
  • Notation
  • Petri Nets
  • Scientists
  • Security
  • Software Design
  • Software Development
  • Standards

Fields of Study

  • Computer science
  • Engineering

Readers

  • Artificial Intelligence
  • Information Retrieval
  • Technical Research and Report Writing.