DocumentCode
3121708
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
fYear
1994
fDate
7-9 Dec 1994
Firstpage
278
Lastpage
286
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering Conference, 1994. Proceedings., 1994 First Asia-Pacific
Conference_Location
Tokyo
Print_ISBN
0-8186-6960-8
Type
conf
DOI
10.1109/APSEC.1994.465252
Filename
465252
Link To Document