Research on Model Checking of Software Process Based on UML Activity Graph

TIAN Hao,SHI Hai-hu,LIU Jun-fei

DOI: https://doi.org/10.3969/j.issn.1000-7024.2005.02.068

2005-01-01

Abstract: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.