Formalizing Integration Patterns with Multimedia Data (Extended Version)

TL;DR

This paper introduces a Petri net-based formalism for enterprise application integration patterns tailored to multimedia and social computing, addressing a gap in existing formalization approaches.

Contribution

It extends formalization of integration patterns to multimedia and social computing domains using Petri nets, enhancing model-driven development and correctness assurance.

Findings

Proposes a Petri net-based formalism for multimedia integration patterns

Demonstrates realization of common multimedia integration pattern

Discusses implications for multimedia EAI development

Abstract

The previous works on formalizing enterprise application integration (EAI) scenarios showed an emerging need for setting up formal foundations for integration patterns, the EAI building blocks, in order to facilitate the model-driven development and ensure its correctness. So far, the formalization requirements were focusing on more "conventional" integration scenarios, in which control-flow, transactional persistent data and time aspects were considered. However, none of these works took into consideration another arising EAI trend that covers social and multimedia computing. In this work we propose a Petri net-based formalism that addresses requirements arising from the multimedia domain. We also demonstrate realizations of one of the most frequently used multimedia patterns and discuss which implications our formal proposal may bring into the area of the multimedia EAI development.