基于π演算的多实例工作流模式的建模方法  

MODELING METHOD FOR MULTIPLE INSTANCE WORKFLOW PATTERNS BASED ON π-CALCULUS

作　　者：梁爱南[1] 李长云[1] 黄贤明[1] 

机构地区：[1]湖南工业大学计算机系,湖南株洲412008

出　　处：《计算机应用与软件》2008年第5期65-66,71,共3页Computer Applications and Software

基　　金：湖南省自然科学基金(05JJ30122);湖南省教育厅科研项目(052520);湖南省教育厅优秀青年项目(06B023)

摘　　要：π演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模。根据π演算的语法,利用π演算对多实例工作流模式进行了建模。提出的方法具有较强的语义表达能力,同时使过程模型的语义更加精确。π-calculus is a kind of mobile process algebra which can be used to model concurrent and dynamic systems. Multiple instance workflow patterns are modeled by ,π-calculus according to its syntax as presented in this article. The proposed method has stronger ability in semantics expression and the semantics of process model is more accurate.

关 键 词：工作流建模 Π演算 ECA规则 多实例工作流模式 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论] TP391.9[自动化与计算机技术—计算机科学与技术]