计算机工程 ›› 2010, Vol. 36 ›› Issue (06): 70-72.doi: 10.3969/j.issn.1000-3428.2010.06.023

• 软件技术与数据库 • 上一篇    下一篇

基于π演算的工作流模型分析方法

梁爱南1,李长云1,黄贤明1,2   

  1. (1. 湖南工业大学计算机与通信学院,株洲 412008;2. 中南大学信息科学与工程学院,长沙 410083)
  • 收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2010-03-20 发布日期:2010-03-20

Analysis Method for Workflow Model Based on π-calculus

LIANG Ai-nan1, LI Chang-yun1, HUANG Xian-ming1,2   

  1. (1. School of Computer and Communication, Hunan University of Technology, Zhuzhou 412008;2. School of Information Science and Engineering, Central South University, Changsha 410083)
  • Received:1900-01-01 Revised:1900-01-01 Online:2010-03-20 Published:2010-03-20

摘要: 使用合理性、弱合理性和松合理性对π演算形式化的工作流模式进行合理性分析时,工作流都不符合这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

中图分类号: