摘要
当并发执行工作流的多个实例时会导致数据流访问时语义的不一致。首先扩展了传统的UML状态图，用它进行工作流实例建模。然后把扩展的UML状态图建立的工作流模型转化为Biichi自动机，并用Biichi自动机之间的积表示多个工作流实例的并发模型。接着给出了和证明了根据并发模型中标记的命题公式判定并发冲突的定理。最后，由于随着实例数目的增加，并发模型中的状态数也会按每个实例的状态数倍增加，为了解决这一问题，在检测并发冲突的算法中采用了on—the—fly技术.
When several workflew instance execute concurrently, they may lead to the inconsistent of semantics of data flow. Firstly, the workflow is modeled by extended UML Statecharts which is extended from traditional UML Statecharts. Then the workflow model is translated into Btichi automata, and the concurrent model between several workflow instances is expressed using the Cartesian product of the Btichi automata. In the follow, a theorem about deciding whether exist conflicts in the concurrent model is given and proved. When the number of instances increase gradually, the number of states in the concurrent model will increase following the increase of the number of the states in every instance, to solve this problem, the on-the-fly technique is used in the conflict detection algorithm given in this paper.
作者
陆公正
吴澜波
顾小晶
张广泉
LU Gong-zheng, WU Lan-bo, GU Xiao-jing, ZHANG Guang-quan （1.Department of Computer Engineering, Suzhou Vocational University, Suzhou 215104, China; 2.Department of LAB TEC and Pharmacy, Suzhou Health College, Suzhou 215009, China; 3.School of Computer Science and Technology, Soochow University, Suzhou 215006 China）
出处
《电脑知识与技术》
2009年第1期153-156,共4页
Computer Knowledge and Technology
基金
国家自然科学基金项目（60073020）
江苏省高校自然科学研究项目（05KJB520119）
