English

Catalog of Formalized Application Integration Patterns

Software Engineering 2019-09-13 v3 Logic in Computer Science

Abstract

Enterprise application integration (EAI) solutions are the centrepiece of current enterprise IT architectures (e.g., cloud and mobile computing, business networks), however, require the formalization of their building blocks, represented by integration patterns, verification and optimization. This work serves as an instructive pattern formalization catalog that leads to the formalization of all currently known integration patterns. Therefore, we explain the classification of the underlying requirements of the pattern semantics and formalize representative patterns from the different categories, by realizing them in timed db-net. In this way, the catalog will allow for the addition of future patterns by assigning them to a category and applying the described formalism.

Keywords

Cite

@article{arxiv.1807.03197,
  title  = {Catalog of Formalized Application Integration Patterns},
  author = {Daniel Ritter and Stefanie Rinderle-Ma and Marco Montali and Andrey Rivkin and Aman Sinha},
  journal= {arXiv preprint arXiv:1807.03197},
  year   = {2019}
}

Comments

5 pages, example implementations (correct and incorrect) can be found in https://github.com/dritter-hd/db-net-eip-patterns

R2 v1 2026-06-23T02:55:09.830Z