现代企业信息化程度加深,业务流程管理逐步被引入企业的管理与运营,跨企业的业务流程管理系统间的业务流程协作有很高的实用价值。本文以事件驱动多流程协同交互为研究对象,针对BPMN流程形式化验证、流程引擎的事件路由与消息过滤、流程集中设计与部署执行等问题进行理论和技术上的研究。多流程交互的集中设计与切分部署是事件驱动多流程协同交互平台最基本的需求。本文研究BPMN2Modeler开源工具,针对多流程交互集中设计的相关问题,通过拓展元模型和利用开源工具提供的拓展点等方式实现流程嵌套建模、事件建模等功能;建模工具以流程为单位进行远程部署,针对流程切分部署的问题,本文研究建模工具的元模型,通过冗余拷贝的方式对集中设计的流程进行处理提取并生成可以部署执行的业务流程。消息事件的路由与过滤是事件驱动多流程交互运行时需要解决的重要问题。本文以jBPM为业务流程的执行引擎,在研究学习jBPM基础上利用WorkItemHandler机制将现有的基于事件的消息中间件集成到jBPM流程引擎中实现消息事件跨流程引擎的路由转发。本文研究BPMN业务流程与Petri网模型的映射转化关系,并通过Petri网安全性、可达性和死锁验证等相关的理论算法对业务流程进行验证,保证建模开发的业务流程的正确性。最后,基于理论分析和研究,对事件驱动多流程交互平台进行了编码实现,并针对流程的建模与运行构建具体的实例进行验证与分析。实验结果表明事件驱动多流程协同交互平台实现了多流程交互集中建模、流程验证及事件交互等相关功能,达到了预期的功能需求。