Toward Formal Models of Software Engineering Processes
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.
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.Collections
Related items
Showing items related by title, author, creator and subject.
-
DoD'S Software Sustainment Ecosystem: Needed Skill Sets and Gap Analysis
Shull, Forrest; McLendon, Michael; Miller, Christopher (Monterey, California. Naval Postgraduate School, 2018-04-30); SYM-AM-18-059Software is the foundational building material for the engineering of the Department of Defense (DoD) systems;the principal means for delivering almost 100% of the integrated functionality of kinetic weapon systems. Software ... -
Petri net-based models of software engineering processes
Kramer, Bernd; Luqi (1990);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 ... -
Adapting communication to create common ground in a virtual world
Aten, Kathryn; Nardon, Luciara; Stanko, Taryn (Association for Information Systems, 2015-05);Although new organizational forms, technologies, and work arrangements allow individuals separated by distance to work together, distributed collaboration has proven challenging. In this study, we explore synchronous, ...