Show simple item record

dc.contributor.authorKramer, Bernd
dc.contributor.authorLuqi
dc.date.accessioned2014-06-18T17:06:09Z
dc.date.available2014-06-18T17:06:09Z
dc.date.issued1990
dc.identifier.urihttp://hdl.handle.net/10945/42327
dc.description.abstractIn this paper a Petri net based formal specification method for distributed systems is accommodated to the application domain of software process modeling. We 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. Structuring mechanisms are sketched which support hierarchical decomposition and systematic combinations of separate views of a software engineering process.en_US
dc.description.sponsorshipThis research was supported in part by the National Science Foundation under grant number CCR-8710737, and in part by the Naval Ocean Systems Center under contract number NGG00189WRB0355.en_US
dc.rightsThis publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. As such, it is in the public domain, and under the provisions of Title 17, United States Code, Section 105, may not be copyrighted.en_US
dc.titlePetri net-based models of software engineering processesen_US
dc.typeArticleen_US
dc.contributor.departmentComputer Science (CS)


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record