ANALYSIS ON DATA DEPENDENCY-BASED PROCESS CORRECTNESS

Ding Jing,Dong Guangzhi,Tian Yong,Liu Junfei
DOI: https://doi.org/10.3969/j.issn.1000-386X.2008.02.039
2008-01-01
Abstract:Many errors and different meanings at the semantic level in software process model are caused by data dependency.The research on data dependency in the stage of instantiation has a huge influence on process execution efficiency.A software process model SPM is proposed,and the concepts of data dependency and activity-data relationship are presented based on the model.The basic rules that ensure the correctness of process model instance at the semantic level are proposed through the analysis of activity-data relationship.The algorithm that ensures the application of those rules is realized by using finite automaton theories.
What problem does this paper attempt to address?