摘要: 使用合理性、弱合理性和松合理性对π演算形式化的工作流模式进行合理性分析时,工作流都不符合这3种合理性。针对以上问题,提出懒惰合理性的概念,用于对工作流进行分析。通过考虑节点语义,扩展结构合理性。为了表达节点语义,用π演算表达过程图,使过程图具有形式化语义。
关键词:
工作流,
合理性分析,
π演算,
懒惰合理性
Abstract: Soundness, relaxed soundness, or weak soundness are not satisfactory for workflow patterns based on π-calculus. Aiming at the problem, this paper proposes the concept of lazy soundness to analyze workflow. Lazy soundness extends structural soundness by taking the semantics of the process nodes into account. In order to express semantics of the nodes, it considers π-calculus representation of a process graph, which includes formal semantics.
Key words:
workflow,
soundness analysis,
π-calculus,
lazy soundness
中图分类号:
梁爱南;李长云;黄贤明;. 基于π演算的工作流模型分析方法[J]. 计算机工程, 2010, 36(06): 70-72.
LIANG Ai-nan; LI Chang-yun; HUANG Xian-ming;. Analysis Method for Workflow Model Based on π-calculus[J]. Computer Engineering, 2010, 36(06): 70-72.