[发明专利]一种事件驱动的多流程协同处理系统

摘要

本发明提供一种事件驱动的多流程协同处理系统，通过多流程建模模块创建业务流程的协作图，为业务流程之间进行信息交互创造了可能，根据协作图配置消息路由，可知道消息的发送者和接收者，通过对协作图进行安全性验证、可达性验证、死锁检测以及死循环检测，能够检测出协作图中的错误，避免在业务流程运行时造成损失，再通过分布式部署及运行模块将协作图拆分成单业务流程，将各单业务流程打包后分布式部署到jBPM流程引擎，分布式运行能解耦，而且根据具体的业务场景，可能每个业务流程发生在不同的地方，每个流程就近部署和运行；分布式运行也为流程管理带来方便，每个jBPM服务器上的流程可由不同的组织管理和维护。

主权项

1.一种事件驱动的多流程协同处理系统，其特征在于，包括：多流程建模模块，用于创建业务流程的协作图、根据所述协作图生成消息路由、完成所述协作图的安全性验证、可达性验证、死锁检测以及死循环检测；分布式部署及运行模块，用于将所述协作图拆分为一定数量的单业务流程，将各单业务流程打包后分布式部署到jBPM流程引擎；其中，所述多流程建模模块还包括多流程验证子模块，所述多流程验证子模块包括：业务流程转换单元，用于将业务流程转换为Petri网；以及可达性验证单元，用于当检测到Petri网中所有变迁都出现在可达图中时，获知协作图可达；所述可达性验证单元具体用于：提取可达图中所有边上的变迁，构成散列表；循环遍历Petri网中的所有变迁，检测是否存在于散列表，对于petri网中的一个变迁，若该变迁存在于所述散列表中，将该变迁加入至变迁表中，若该变迁不存在于散列表中，则继续判断变迁表是否为空；若变迁表不为空，则获知可达性验证成功；若变迁表为空，则查找并显示变迁表中变迁对应的BPMN元素，同时判断不通过可达性验证。