计算机科学 ›› 2006, Vol. 33 ›› Issue (11): 98-101.
• 计算机网络与信息安全 • 上一篇 下一篇
出版日期:
发布日期:
基金资助:
Online:
Published:
摘要: 工作流模型验证已经成为工作流的重要研究领域之一,工作流模型的时间正确性的验证也越来越受到关注。本文通过对于UML-Statecharts进行时间扩展,建立工作流的时间模型,再把该模型转化为时间自动机,最后分别在建立阶段、实例化阶段和运行阶段使用模型检测技术对时序约束的一致性进行验证,检查是否存在相冲突的时序约束。
关键词: 工作流 UML—Statecharts 模型检测 时序约束 一致性
Abstract: 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 Workflo
Key words: Workflow,UML-statecharts, Model checking,Temporal constraint,Consistency
. 时间UML-Statecharts建模的工作流时序约束的一致性验证[J]. 计算机科学, 2006, 33(11): 98-101. https://doi.org/
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: https://www.jsjkx.com/CN/
https://www.jsjkx.com/CN/Y2006/V33/I11/98
Cited