  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.
