计算机科学 ›› 2006, Vol. 33 ›› Issue (5): 159-161.
• • 上一篇 下一篇
出版日期:
发布日期:
基金资助:
Online:
Published:
摘要: 工作流模型验证成为工作流的重要研究领域之一。控制结构的正确性是工作流过程所需达到的最基本要求,本文着重控制结构方面的验证。本文使用UML-Statecharts建立控制结构模型,使用时序逻辑表示工作流控制结构需要满足的性质。给出了一个定理并进行了证明,基于定理给出了一个验证完全性的算法,对于工作流语义相关性质的验证给出了一模型检测算法。
关键词: 工作流 UML-Statecharts 时序逻辑 完全性 模型检测
Abstract: Verification of workflow model has been one of the important research fields of workflow. The correctness of the control flow is the basic requirement that the workflow process must satisfy. In this paper, we emphasize on the verification of the control f
Key words: Workflow, UML-Statecharts, Temporal logic, Soundness, Model checking
. 基于UML-Statecharts的工作流控制结构的验证[J]. 计算机科学, 2006, 33(5): 159-161. https://doi.org/
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: https://www.jsjkx.com/CN/
https://www.jsjkx.com/CN/Y2006/V33/I5/159
Cited