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.
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 ...
Mack, Patrick V. (Monterey, California. Naval Postgraduate School, 2010-04-30); NPS-AM-10-044The Rapid Integration and Test Environment (RITE) initiative, implemented by the Program Executive Office, Command, Control, Communications, Computers and Intelligence, Command and Control Program Office (PMW-150), was ...
Adams, Brady. (Monterey California. Naval Postgraduate School, 2008-06);There is a need to understand cycles associated with software upgrades as they effect people, organizations and the software industry. This thesis intends to explore the moderating factors of these three distinct and ...