Toward Formal Models of Software Engineering Processes
Loading...
Authors
Kraemer, B.
Luqi
Subjects
Advisors
Date of Issue
1991-04
Date
1991-04
Publisher
Elsevier
Language
Abstract
In this paper, a Petri net-based formal specification method for distributed systems is applied to the domain of software process modeling. We introduce domain-specific concepts stressing the distributed and dynamic nature of software processes. Development states are viewed as distributed entities. Development activities are characterized by their effects on software objects, pertinent information exchange with human or technical participants involved, and local changes to development states. These dynamic aspects of software processes are represented as labeled Petri nets. Structuring mechanisms are sketched which support hierarchical decomposition and systematic combinations of separate views of a software engineering process.
Type
Article
Description
Series/Report No
Department
Computer Science (CS)
Organization
Naval Postgraduate School
Identifiers
NPS Report Number
Sponsors
This research was supported in part by the National Science Foundation under grant number CCR-8710737 and by the Naval OceanSystems Center under contract number N6600189WRB0355.
Funding
This research was supported in part by the National Science Foundation under grant number CCR-8710737 and by the Naval OceanSystems Center under contract number N6600189WRB0355.
Format
12 p.
Citation
B. Kraemer and Luqi, ''Toward Formal Models of Software Engineering Processes", Journal of Systems and Software, April 1991, Vol. 15, No. 1, pp. 63-74.
Distribution Statement
Rights
This publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.