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.
翻译:以往关于企业应用程序一体化设想方案正规化的工作表明,为了便利模式驱动的发展并确保其正确性,需要为一体化模式(EAI构件)建立正式基础;迄今为止,正规化要求侧重于更“常规”的一体化设想方案,其中考虑了控制-流量、交易性持久性数据和时间方面;然而,这些工程没有考虑到新出现的包含社会和多媒体计算机的另一种EAI趋势;在这项工作中,我们提出了一种基于Petri净化的正式主义,解决多媒体领域产生的要求;我们还展示了实现最常用的多媒体模式之一的情况,并讨论了我们的正式提案可能给多媒体EAI开发领域带来的影响。