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 |
Year | DOI | Venue |
---|---|---|
1994 | 10.1109/APSEC.1994.465252 | APSEC |
Keywords | Field | DocType |
inconsistencies,petri nets,parallel programming,software engineering community,attnet model,enactment mechanism,distributed software process model,process modeling,enactment engine,software engineering,error correction,real time systems,petri net,engines,process model,computer science,software process,programming | Software design,Systems engineering,Computer science,Package development process,Real-time computing,Software development process,Component-based software engineering,Empirical process (process control model),Software construction,Software development,Goal-Driven Software Development Process,Distributed computing | Conference |
ISBN | Citations | PageRank |
0-8186-6960-8 | 0 | 0.34 |
References | Authors | |
9 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Woo Jin Lee | 1 | 12 | 2.96 |
In Sang Chung | 2 | 0 | 0.34 |
Yong Rae Kwon | 3 | 1031 | 50.37 |