10.3969/j.issn.1000-3428.2010.06.023
基于π演算的工作流模型分析方法
使用合理性、弱合理性和松合理性对π演算形式化的工作流模式进行合理性分析时,工作流都不符合这3种合理性.针对以上问题,提出懒惰合理性的概念,用于对工作流进行分析.通过考虑节点语义,扩展结构合理性.为了表达节点语义,用π演算表达过程图,使过程图具有形式化语义.
工作流、合理性分析、π演算、懒惰合理性
36
TP311.5(计算技术、计算机技术)
国家自然科学基金资助项目60773110
2010-05-24(万方平台首次上网日期,不代表论文的发表时间)
共3页
70-72