Research on model checking of software process based on UML activity graph
Junfei Liu · Jisuanji gongcheng yu sheji · 2005
The problems of software process model rationality checking based on UML activity graph are discussed. Then the principles of software process modeling using UML activity graph are analyzed, and four basic process patterns and a model instance are given. Based on the three aspects of the rationality checking problem during the modeling, three types of rules are formally defined: static rules, dynamic rules and integrated rules.