Enterprise Application Integration (EAI) constitutes the cornerstone in enterprise IT landscapes that are characterized by heterogeneity and distribution. Starting from established Enterprise Integration Patterns (EIPs) such as Content-based Router and Aggregator, EIP compositions are built to describe, implement, and execute integration scenarios. The EIPs and their compositions must be correct at design and runtime in order to avoid functional errors or incomplete functionalities. However, current EAI system vendors use many of the EIPs as part of their proprietary integration scenario modeling languages that are not grounded on any formalism. This renders correctness guarantees for EIPs and their composition impossible. Thus this work advocates responsible EAI based on the formalization, implementation, and correctness of EIPs. For this, requirements on an EIP formalization are collected and based on these requirements an extension of db-net, i.e., timed db-net , is proposed, fully equipped with execution semantics. It is shown how EIPs can be realized based on timed db-nets and how the correctness of these realizations can be shown. Moreover, the simulation of EIP realizations based on timed db-nets is enabled which is essential for later implementation. The concepts are evaluated in many ways, including a proof-of-concept implementation and case studies. The EIP formalization based on timed db-nets constitutes the first step towards responsible EAI.

企业应用程序集成（EAI）构成了以异构和分布为特征的企业IT领域的基石。从建立的企业集成模式（EIP）（例如基于内容的路由器和聚合器）开始，构建EIP组合以描述，实施和执行集成方案。EIP及其组成在设计和运行时必须正确，以避免功能错误或功能不完整。但是，当前的EAI系统供应商将许多EIP用作其专有的集成方案建模语言的一部分，这些语言不基于任何形式主义。这样就无法保证EIP及其组成的正确性。因此，这项工作提倡基于EIP的形式化，实施和正确性的负责任的EAI。为了这， 提出了定时db-net，它完全具备执行语义。它显示了如何基于定时db- net实现EIP，以及如何显示这些实现的正确性。而且，启用了基于定时db-net的EIP实现的仿真，这对于以后的实现至关重要。对概念进行了多种评估，包括概念验证实施和案例研究。基于定时db-net的EIP形式化是迈向负责任EAI的第一步。