时间UML-Statecharts建模的工作流时序约束的一致性验证  

Verification of Consistency of Temporal Constraints of the Workflow Modeling by Timed UML-Statecharts

作　　者：张广泉[1] 陆公正[1] 戎玫[2] 

机构地区：[1]苏州大学计算机科学与技术学院,苏州215006 [2]暨南大学深圳旅游学院,深圳518053

出　　处：《计算机科学》2006年第11期98-101,共4页Computer Science

基　　金：江苏省高校自然科学研究项目(05KJB520119);重庆市教委科学技术研究项目(编号040803);重庆市自然科学基金(编号CSTC;2006BB2259);中国科学院计算机科学国家重点实验室开放课题(SYSKF0303)

摘　　要：工作流模型验证已经成为工作流的重要研究领域之一,工作流模型的时间正确性的验证也越来越受到关注。本文通过对于UML-Statecharts进行时间扩展,建立工作流的时间模型,再把该模型转化为时间自动机,最后分别在建立阶段、实例化阶段和运行阶段使用模型检测技术对时序约束的一致性进行验证,检查是否存在相冲突的时序约束。Verification of workfiow model has been one of the important research fields of Workflow, the verification of correctness of temporal has been paid more attention. This paper extends the UML-statecharts with time, and creates the time model of the Workflow, then translates the model into time automata. Finally, the paper verifies the consistency of the temporal constraints using the model checking in build time, instantiation time and run-time, and checks the model whether having conflicts among temporal constraints.

关 键 词：工作流 UML—Statecharts 模型检测 时序约束 一致性 

分 类 号：TP399[自动化与计算机技术—计算机应用技术]