Enterprise Application Integration deals with the problem of connecting heterogeneous applications, and is the centerpiece of current on-premise, cloud and device integration scenarios. For integration scenarios, structurally correct composition of patterns into processes and improvements of integration processes are crucial. In order to achieve this, we formalize compositions of integration patterns based on their characteristics, and describe optimization strategies that help to reduce the model complexity, and improve the process execution efficiency using design time techniques. Using the formalism of timed DB-nets - a refinement of Petri nets - we model integration logic features such as control- and data flow, transactional data storage, compensation and exception handling, and time aspects that are present in reoccurring solutions as separate integration patterns. We then propose a realization of optimization strategies using graph rewriting, and prove that the optimizations we consider preserve both structural and functional correctness. We evaluate the improvements on a real-world catalog of pattern compositions, containing over 900 integration processes, and illustrate the correctness properties in case studies based on two of these processes.

翻译：企业应用集成关注异构应用程序的连接问题，是当前本地部署、云端及设备集成场景的核心。在集成场景中，模式到过程的结构正确组合以及集成过程的改进至关重要。为此，我们根据集成模式的特征对其组合进行形式化描述，并阐述通过设计时技术降低模型复杂度、提升过程执行效率的优化策略。利用计时DB-net（佩特里网的细化形式）这一形式化工具，我们将集成逻辑特征（如控制流与数据流、事务性数据存储、补偿与异常处理、时间方面）建模为可复现解决方案中的独立集成模式。进而提出基于图重写实现优化策略的方法，并证明所考虑的优化同时保持了结构正确性与功能正确性。我们基于包含900余个集成过程的真实模式组合目录评估改进效果，并通过其中两个过程的案例研究阐述正确性属性。