论文部分内容阅读
本文提出了一种基于消息总线的协同式工作流建模系统体系结构,这种协作的建模方式能适应复杂业务流程的建模需要.为了保证模型的正确性,采用形式化语言来描述工作流模型,并提出了一种基于形式化推导规则的建模方法.最后为了逼真准确的模拟实际的分布式工作流运行环境,本文提出了一个基于消息总线的工作流仿真系统体系结构.