In: Proceedings of the Twenty-Third Annual Hawaii International Conference on System Sciences, 1990, Kailua-Kona, HI, USA, Vol. 2, pages 104-112. Los Alamitos, CA, USA: IEEE Comput. Soc. Press, 1990.
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.
Keywords: software engineering; domain-specific concept; distributed entities; labeled net.