2018/07/06 by Daniel Ritter, Stefanie Rinderle-Ma, Ritter, Daniel +8
Business, Management and Accounting · Computer Science · #Advanced Software Engineering Methodologies #Business Process Modeling and Analysis #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Service-Oriented Architecture and Web Services #Software Engineering (cs.SE) #cs.LO #cs.SE
paper · pdf · doi:10.48550/arxiv.1807.03197
5 pages, example implementations (correct and incorrect) can be found in https://github.com/dritter-hd/db-net-eip-patterns
openalex publication_date 2018/07/06 · arxiv created 2019/09/12 · arxiv updated 2019/09/13 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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.