Petri net-based models of software engineering processes

Author

Krämer, Bernd ; Luqi

Author_Institution

Dept. of Comput. Sci., US Naval Postgrad. Sch., Monterey, CA, USA

Volume

ii

fYear

1990

fDate

2-5 Jan 1990

Firstpage

104

Abstract

A Petri-net-based formal specification method for distributed systems is accommodated to software process modeling. The authors introduce domain-specific concepts, stressing the distributedness 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 carriers of such activities, and local changes to development states. These dynamic aspects of software processes are visualized by labeled Petri nets. Sketched are structuring mechanisms that support hierarchical decomposition and systematic combinations of separate views of a software engineering process

Keywords

Petri nets; distributed processing; formal specification; software engineering; Petri net-based models; development activities; development states; distributed entities; distributed systems; domain-specific concepts; formal specification method; hierarchical decomposition; separate views; software engineering processes; software objects; systematic combinations; Application software; Computer science; Formal specifications; Humans; Oceans; Petri nets; Software engineering; Software prototyping; Software reusability; Visualization;

fLanguage

English

Publisher

ieee

Conference_Titel

System Sciences, 1990., Proceedings of the Twenty-Third Annual Hawaii International Conference on

Conference_Location

Kailua-Kona, HI

Type

conf

DOI

10.1109/HICSS.1990.205181

Filename

205181