Formal foundations for responsible application integration

作者：

Highlights：

• Responsible EAI development based on formalized Enterprise Integration Patterns (EIP).

• EIP formalization as timed db nets, fully equipped with execution semantics.

• Correctness criterion and checks for EIP executions.

• Prototype support for testing correctness for EIP realizations based on simulations.

• Case studies (e.g., predictive maintenance) from SAP Cloud Integration.

摘要

•Responsible EAI development based on formalized Enterprise Integration Patterns (EIP).•EIP formalization as timed db nets, fully equipped with execution semantics.•Correctness criterion and checks for EIP executions.•Prototype support for testing correctness for EIP realizations based on simulations.•Case studies (e.g., predictive maintenance) from SAP Cloud Integration.

论文关键词：Enterprise application integration,Enterprise integration patterns,Petri nets,Responsible programming,Trustworthy application integration

论文评审过程：Received 14 March 2019, Revised 13 July 2019, Accepted 10 September 2019, Available online 18 September 2019, Version of Record 25 June 2021.

论文官网地址：https://doi.org/10.1016/j.is.2019.101439