摘要
工作流模型技术是当前的一个研究热点 ,工作流模型必须支持动态可适应性并且能够模型大规模的复杂系统才能被广泛应用 .作者首次提出用进程代数———通信顺序进程 (CommunicationSequentialProcess ,CSP)描述工作流的方法 ,并给出了模型可适应问题的解决方法 .进程代数的合并 (composition)特点可以将简单的工作流模型组合成复杂的工作流模型 ,从而解决复杂系统的模型问题 。
Today workflow technology is a hot research topic and workflow models should support adaptation and be able to model large-scale and complex systems in order to be widely applied. We first put forward using Process Algebra(PA) - Communication Sequential Process(CSP) to model workflow systems and solve the adaptation of the models. The composition property of PA can be used to construct complex systems from simple systems, so it can solve the difficult problem to model complex systems and support the reusability of workflow models.
出处
《电子学报》
EI
CAS
CSCD
北大核心
2002年第11期1624-1628,共5页
Acta Electronica Sinica
基金
国家自然科学基金 (No .90 1 0 4 0 0 2和 60 1 730 1 2 )
国家高技术研究发展计划 (863计划 )课题 (No.2 0 0 1AA1 1 2 0 80 )
国家重点基础研究发展规划项目 (G1 9990 32 70 7)
关键词
进程代数
可适应工作流
一致性
有效性
通信顺序进程
Algebra
Communication
Computer software reusability
Large scale systems
Mathematical models
