Correctness Diagnosis Method of UML Activity Graph Model
Chunyan Zhou, LI Xu-rong, Liang Zhou · Jisuanji gongcheng · 2011
The correctness of the activity graph decides that the correctness of execution of business flow,so this paper proposes an method for diagnosis of correctness of UML activity graph model.It verificates the model.Model diagnosis of sub-models which are wrong and receiving the diagnosis results.The application of example of quality management process,demonstrates this approach can reduce the space of model,decrease diagnosis frequency,lock error accurately,diagnose the model correctness effectively.