期刊文章详细信息
多实例工作流模式的π演算形式化
Formalizing multiple instance workflow patterns based on the π-calculus
文献类型：期刊文章
机构地区：[1]湖南工业大学计算机科学与技术系,湖南株洲412008
基 金：湖南省自然科学基金资助项目(05JJ30122);湖南省教育厅科研项目(052520);湖南省教育厅优秀青年项目(06B023);湖南工业大学博士基金
年 份：2007
卷 号：27
期 号：1
起止页码：219-220
语 种：中文
收录情况：AJ、BDHX、BDHX2004、CSA、CSA-PROQEUST、CSCD、CSCD2011_2012、IC、INSPEC、JST、RCCSE、ZGKJHX、ZMATH、核心刊
摘 要：多实例工作流模式是一类重要的工作流模式。π演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模。对π演算进行了研究,提出了以π演算作为工作流形式化的基础,利用π演算对多实例工作流模式进行了详细的描述。
关 键 词：Π演算 ECA规则 多实例工作流模式
分 类 号：TP311.52]
参考文献：
正在载入数据...
二级参考文献：
正在载入数据...
耦合文献：
正在载入数据...
引证文献：
正在载入数据...
二级引证文献：
正在载入数据...
同被引文献：
正在载入数据...
