论文标题
使用多媒体数据（扩展版）形式化集成模式
Formalizing Integration Patterns with Multimedia Data (Extended Version)
论文作者
论文摘要
以前的关于正式化企业应用程序集成（EAI）方案的作品表明，有必要为集成模式，EAI构建块建立正式的基础，以促进模型驱动的开发并确保其正确性。到目前为止，形式化要求着重于更多的“常规”集成方案，在该方案中，考虑控制流，交易持续数据和时间方面。但是，这些作品都没有考虑到涵盖社会和多媒体计算的另一个趋势。在这项工作中，我们提出了一种基于培养皿的形式主义，该形式主义解决了由多媒体领域产生的要求。我们还展示了对最常用的多媒体模式之一的实现，并讨论了我们的正式建议可能带入多媒体EAI开发领域的含义。
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.
