摘要
π演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模。根据π演算的语法,提出了一种新的用于工作流模式的形式化建模方法,以π演算作为工作流形式化的基础,并利用π演算对工作流模式进行了建模。
The π-calculus is a kind of mobile process algebra which can be used to model concurrent and dynamic systems.According to the syntax of π-calculus,a novel formal modeling method of workflow patterns has been proposed.The π-calculus has been regarded as a formal foundation for workflow,furthermore models workflow patterns by using the π-calculus.
出处
《计算机工程与应用》
CSCD
北大核心
2007年第17期66-68,73,共4页
Computer Engineering and Applications
基金
湖南省教育厅资助科研课题(the Research Project of Department of Education of Hunan Province
China under Grant No.052520)
