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

魏丫丫; 林 闯; 田立勤

您当前的位置：

首页 >

文章列表页 >

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

论文 | 更新时间：2025-07-16

- 用进程代数描述可适应工作流的模型方法
- Represent and Analyse with Adaptive Workflow by Process Algebra
- 电子学报 2002年30卷第11期页码：1624-1628
- 作者机构：
  
  清华大学计算机科学与技术系,北京,100084
- 作者简介：
- 基金信息：
  
  国家自然科学基金 (No.90104002和60173012);国家高技术研究发展计划 (863计划)课题 (No.2001AA112080);国家重点基础研究发展规划项目 (G1999032707)
- DOI：
  中图分类号： TP302
- 纸质出版：2002
- 稿件说明：
移动端阅览
魏丫丫, 林闯, 田立勤. 用进程代数描述可适应工作流的模型方法[J]. 电子学报, 2002,30(11):1624-1628.

WEI Ya-ya, LIN Chuang, TIAN Li-qin. Represent and Analyse with Adaptive Workflow by Process Algebra[J]. Acta Electronica Sinica, 2002, 30(11): 1624-1628.
魏丫丫, 林闯, 田立勤. 用进程代数描述可适应工作流的模型方法[J]. 电子学报, 2002,30(11):1624-1628. DOI：

WEI Ya-ya, LIN Chuang, TIAN Li-qin. Represent and Analyse with Adaptive Workflow by Process Algebra[J]. Acta Electronica Sinica, 2002, 30(11): 1624-1628. DOI：

摘要

工作流模型技术是当前的一个研究热点

工作流模型必须支持动态可适应性并且能够模型大规模的复杂系统才能被广泛应用.作者首次提出用进程代数——通信顺序进程(Communication Sequential Process

CSP)描述工作流的方法

并给出了模型可适应问题的解决方法.进程代数的合并(composition)特点可以将简单的工作流模型组合成复杂的工作流模型

从而解决复杂系统的模型问题

并为工作流模型的可重用性提供有力的支持.

Abstract

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.

关键词

Keywords

references

浏览量

1627

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

基于PF/CUKF/EKF的移动机器人SLAM框架算法

基于预排序和上取整函数的 AHP判断矩阵生成算法

基于进化策略生成可解释性模糊系统

信息系统安全策略研究

组稀疏模型及其算法综述