用进程代数描述可适应工作流的模型方法

被引：36

作者：

魏丫丫

林闯

田立勤

机构：

[1] 清华大学计算机科学与技术系,清华大学计算机科学与技术系,清华大学计算机科学与技术系北京,北京,北京

来源：

电子学报 | 2002年 / 11期

基金：

国家高技术研究发展计划(863计划);

关键词：

进程代数; 可适应工作流; 一致性; 有效性;

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

080201 [机械制造及其自动化];

摘要：

工作流模型技术是当前的一个研究热点 ,工作流模型必须支持动态可适应性并且能够模型大规模的复杂系统才能被广泛应用 .作者首次提出用进程代数———通信顺序进程 (CommunicationSequentialProcess ,CSP)描述工作流的方法 ,并给出了模型可适应问题的解决方法 .进程代数的合并 (composition)特点可以将简单的工作流模型组合成复杂的工作流模型 ,从而解决复杂系统的模型问题 ,并为工作流模型的可重用性提供有力的支持

引用

页码：1624 / 1628

页数：5