10.3321/j.issn:1002-8331.2007.17.020
工作流模式的π演算建模研究
π演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模.根据π演算的语法,提出了一种新的用于工作流模式的形式化建模方法,以π演算作为工作流形式化的基础,并利用π演算对工作流模式进行了建模.
π演算、ECA规则、工作流模式
43
TP311(计算技术、计算机技术)
湖南省教育厅科研项目052520
2007-07-09(万方平台首次上网日期,不代表论文的发表时间)
共4页
66-68,73