计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2010年
6期
70-72
,共3页
工作流%合理性分析%π演算%懒惰合理性
工作流%閤理性分析%π縯算%懶惰閤理性
공작류%합이성분석%π연산%라타합이성
workflow%soundness analysis%π-calculus%lazy soundness
使用合理性、弱合理性和松合理性对π演算形式化的工作流模式进行合理性分析时,工作流都不符合这3种合理性.针对以上问题,提出懒惰合理性的概念,用于对工作流进行分析.通过考虑节点语义,扩展结构合理性.为了表达节点语义,用π演算表达过程图,使过程图具有形式化语义.
使用閤理性、弱閤理性和鬆閤理性對π縯算形式化的工作流模式進行閤理性分析時,工作流都不符閤這3種閤理性.針對以上問題,提齣懶惰閤理性的概唸,用于對工作流進行分析.通過攷慮節點語義,擴展結構閤理性.為瞭錶達節點語義,用π縯算錶達過程圖,使過程圖具有形式化語義.
사용합이성、약합이성화송합이성대π연산형식화적공작류모식진행합이성분석시,공작류도불부합저3충합이성.침대이상문제,제출라타합이성적개념,용우대공작류진행분석.통과고필절점어의,확전결구합이성.위료표체절점어의,용π연산표체과정도,사과정도구유형식화어의.
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.
