摘要
工作流模型验证已经成为工作流的重要研究领域之一,工作流模型的时间正确性的验证也越来越受到关注。本文通过对于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.
出处
《计算机科学》
CSCD
北大核心
2006年第11期98-101,共4页
Computer Science
基金
江苏省高校自然科学研究项目(05KJB520119)
重庆市教委科学技术研究项目(编号040803)
重庆市自然科学基金(编号CSTC
2006BB2259)
中国科学院计算机科学国家重点实验室开放课题(SYSKF0303)
