论文部分内容阅读
随着信息技术的不断发展和电子商务的逐渐成熟,企业越来越多地依赖信息系统来完成业务和业务管理。应用集成是企业信息化从无到有、逐步发展的必经步骤。应用集成在信息系统之间建立起可供数据交流和应用沟通的中枢平台,对外提供统一的业务逻辑接口,实现跨系统、跨部门、乃至跨企业的业务信息处理和业务逻辑交互。多年来的技术发展为应用集成提供了多种实现技术,但仍需解决两方面问题。一是集成逻辑快速建模。由于企业中信息系统更新换代频繁、业务流程不断调整等因素,应用集成逻辑需根据这些变化频繁地修改,迫切需要一种快速建模集成逻辑的方法。二是高效地分布式运行集成逻辑。由于互联网技术、云技术的广泛应用更是极大的推动了数据规模的增长,集中式运行难以满足这集成逻辑的快速处理数据的需求,分布式运行可以带来系统性能的提升。 针对上述问题,在深入分析国内外研究现状基础上,本文开展了企业应用集成方法的相关研究,基于企业集成模式、Petri网理论和S4集群技术,提出了一种基于EIP的集成逻辑建模及模型验证方法和分布式的集成逻辑部署运行方法,并实现了相关工具和原型系统,在制造业、保险业和电网等相关领域进行了示范应用。本文的主要贡献和成果包括: 1)提出一种基于EIP组合的集成逻辑建模方法。 基于对现有企业应用集成方法的分析,设计了一种基于EIP组合的集成逻辑建模方法,通过组合配置EIP组件的方式进行快速的集成逻辑建模,支持业务流程的快速调整和信息系统不断更新。 2)提出一种EIP组合的正确性验证方法。 基于Petri网理论,定义了一种扩展的Petri网模型(企业集成模式组合网),形式化描述EIP组合。并在此基础上,对EIP组合逻辑结构和消息处理的正确性进行验证。利用Petri网的活性和有界性验证EIP组合结构上的安全性和死锁。基于模型检测方法,定义了5种消息处理缺陷的CTL描述,可检测消息数据读取失败、消息内容冗余等处理缺陷。 3)提出一种EIP组合的分布式部署运行方法。 通过对现有分布式计算模型的分析,结合企业应用集成的特点,设计了基于S4集群框架的EIP组合分布式部署运行方法。该方法基于EIP组件的特点和服务器运行状态,对消息进行动态地分配。实验结果表明,该方法在一定程度上实现了均衡集群负载,提高了系统吞吐。 4)完成了相关工具和原型系统的开发,在多个实际项目中示范应用。 本文依据研究成果进行了相关工具和原型系统的开发。开发了支持分布式部署和运行的MixEIP系统,可完成集成逻辑建模快速建模、调试、集中和分布式的部署运行等功能,并在多个实际项目中示范应用,解决了相关行业的实际问题,达到了较好的实用效果。