Title :
Analysis and enactment of a distributed software process model: the AttNet model
Author :
Lee, Woo Jin ; Chung, In Sang ; Kwon, Yong Rae
Author_Institution :
Dept. of Comput. Sci., Korea Adv. Inst. of Sci. & Technol., Taejon, South Korea
Abstract :
Process modeling has become increasingly attractive in the software engineering community. In process modeling, the enactment of software process model is a dominant theme. In order to correctly and smoothly enact the software process model, it is necessary to detect the inconsistencies contained in the software process model early, before the software process model is instantiated to actual enactment engine. We provide an analysis framework and an enactment mechanism for the AttNet model which is based on Petri nets and supports the distributed software processes
Keywords :
Petri nets; parallel programming; software engineering; AttNet model; Petri nets; distributed software process model; enactment engine; enactment mechanism; inconsistencies; process modeling; software engineering community; Computer science; Electronic mail; Engines; Error correction; Performance analysis; Petri nets; Programming; Real time systems; Software engineering;
Conference_Titel :
Software Engineering Conference, 1994. Proceedings., 1994 First Asia-Pacific
Conference_Location :
Tokyo
Print_ISBN :
0-8186-6960-8
DOI :
10.1109/APSEC.1994.465252
