Petri net-based models of software engineering processes
MetadataShow full item record
In 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.
Showing items related by title, author, creator and subject.
Riehle, Richard D. (Monterey, California. Naval Postgraduate School, 2008-09);New engineering disciplines are emerging in the late Twentieth and early Twenty-first Century. One such emerging discipline is software engineering. The engineering community at large has long harbored a sense of skepticism ...
Software acquisition: evolution, Total Quality Management and applications to the Army Tactical Missile System Barber, Wayland P. (Monterey, California. Naval Postgraduate School, 1992-06);Software acquisition has become the critical path in the procurement of Department of Defense (DOD) weapon systems. Software requirements and their complexity have increased at an exponential rate and support requirements ...
Harn, Meng-Chyi (Monterey, California. Naval Postgraduate School, 1999-12);The major problem addressed by this research is how to automate parts of software evolution using dependency rules, especially for large and complex real time embedded systems. The main topics of this study are the development ...