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

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