Catalog of Formalized Application Integration Patterns
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- July 2018
- DOI:
- 10.48550/arXiv.1807.03197
- arXiv:
- arXiv:1807.03197
- Bibcode:
- 2018arXiv180703197R
- Keywords:
-
- Computer Science - Software Engineering;
- Computer Science - Logic in Computer Science
- E-Print:
- 5 pages, example implementations (correct and incorrect) can be found in https://github.com/dritter-hd/db-net-eip-patterns