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

• 作者: 林闯 田立勤 魏丫丫
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: 进程代数 可适应工作流 一致性 有效性
• 年，卷（期）: 2002,（11）
• 所属期刊栏目: 学术论文
• 页码范围: 1624-1628
• 页数: 5页
• 分类号: TP302
• 字数: 7562字
• 语种: 中文
• DOI: 10.3321/j.issn:0372-2112.2002.11.012

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	林闯	清华大学计算机科学与技术系	151	10702	46.0	102.0
2	田立勤	清华大学计算机科学与技术系	15	744	10.0	15.0
3	魏丫丫	清华大学计算机科学与技术系	6	259	5.0	6.0