Proceedings Article10.1109/EDOC49727.2020.00018
Formalizing Integration Patterns with Multimedia Data
Marco Montali,Andrey Rivkin,Daniel Ritter +2 more
- 01 Oct 2020
- pp 67-76
3
TL;DR: This work proposes a Petri net-based formalism that addresses requirements arising from the multimedia domain and demonstrates how to realize some of the most frequently used multimedia patterns.
read more
Abstract: 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 model-driven development of enterprise applications and ensure their 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 how to realize some of the most frequently used multimedia patterns and discuss which implications our formal proposal may bring into the area of the multimedia EAI development.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
•Posted Content
SMT-Based Safety Verification of Data-Aware Processes under Ontologies (Extended Version).
TL;DR: In this article, the authors introduce a variant of one of the most investigated models in this spectrum, namely simple artifact systems (SASs), where, instead of managing a database, they operate over a description logic (DL) ontology expressed in (a slight extension of) RDFS.
1
SMT-Based Safety Verification of Data-Aware Processes under Ontologies (extended Version)
Diego Calvanese,Alessandro Gianola,Andrea Mazzullo,Marco Montali +3 more
TL;DR: This paper extends SMT-based safety verification for data-aware processes by introducing a variant of simple artifact systems that operate over a description logic ontology, enabling decidability in PSPACE of corresponding safety problems through backward reachability.
References
A Decade of Enterprise Integration Patterns: A Conversation with the Authors
TL;DR: Department editors Olaf Zimmerman and Cesare Pautasso interview Gregor Hohpe and Bobby Woolf, authors of Enterprise Integration Patterns, about the book's impact, pattern language design, message-oriented middleware, integration technology's evolution, and the authors' future plans.
Exception Handling in Message-Based Integration Systems and Modeling Using BPMN
Daniel Ritter,Jan Sosulski +1 more
TL;DR: The Exception Flow was introduced, evaluated syntactically and semantically for representative integration scenarios, and the exception strategies and patterns were extended, resulting in general patterns for exception handling and compensation.
20
Formal foundations for responsible application integration
TL;DR: The EIP formalization based on timed db-nets constitutes the first step towards responsible EAI, which is advocated based on the formalization, implementation, and correctness of EIPs.
17
Petri Nets with Structured Data
TL;DR: This paper uses an order on documents, and shows that under reasonable restrictions on documents and on the expressiveness of patterns and queries, StDNs are well-structured transition systems, for which coverability, termination and soundness are decidable.