Petri Net-Based Models of Software Engineering Processes
Loading...
Authors
Kraemer, Bernd
Luqi
Subjects
Advisors
Date of Issue
1989-08
Date
Publisher
Monterey, CA; Naval Postgraduate School
Language
Abstract
We present an extension of the classical Petri model to formally define functional, structural, and dynamic aspects of software engineering processes. In this model Petri nets are augmented with logic specifications that serve to specify the essential static properties of software objects involved in a process and define global constraints to the dynamic behavior of process models. These models have an intuitive, causality-based execution semantics which enables process simulation and formal analysis using tools and techniques that have been developed for a related Petri net-based specification formalism. Structuring mechanisms are provided to support hierarchical decomposition and the systematic combination of separate views of a software engineering process. As an example we model selected aspects of a rapid prototyping process which supports the reuse of archived software components and guides the use of dedicated prototyping tools.
Type
Technical Report
Description
Author-contributed print item
Series/Report No
Department
Computer Science (CS)
Organization
Identifiers
NPS Report Number
NPS52-90-011
Sponsors
National Science Foundation
Funding
Format
Citation
B. Kraemer and Luqi, "Petri Net-Based Models of Software Engineering Processes", Technical Report NPS 52-90-011, Computer Science Department, Naval Postgraduate School, 1990.