Dynamic Synthesis of Mediators in Ubiquitous Environments
Dynamic Synthesis of Mediators in Ubiquitous Environments
复制标题
作者：
A. Bennaceur
考虑到当今高度动态和高度异构的软件系统，自动实现其软件组件之间的互操作性-而无需修改它们-不仅仅是期望的，它正在迅速成为必要的。尽管在互操作性方面已经进行了大量的工作，但是现有的解决方案还没有完全成功地跟上现代软件日益增加的复杂性和异构性的步伐，并满足运行时支持的需求。这些解决方案要求开发人员实现中介器，中介器是协调软件组件的实现之间的差异以便使它们能够一起工作的软件实体，或者基于组件的组成的声明性规范或组件接口之间的对应关系来生成中介器。由于它们依赖于这样的规范，现有的解决方案是不够的，无处不在的环境中，软件组件满足动态和交互自发地发生。本论文的主要贡献是定义了一种方法，并提供了一个支持工具，自动合成和部署的调解员，以使异构的软件组件，兼容的功能，互操作。综合中介协调组件接口之间的差异，并协调从应用程序到中间件层的行为。在这篇论文中，我们表明，本体推理，约束编程和自动机技术可以提供一个实际的和健全的解决方案，在设计时和运行时自动合成的调解人的基础。中介合成的完全自动化消除了对解决方案的需求，这些解决方案需要声明性的（通常是详细的）如何执行中介的规范。我们验证我们的方法，通过开发的工具，MICS，和它的实验与一些案例研究，从异构的聊天应用程序，系统的系统中的紧急管理。通过这些案例研究，我们证明了中介的自动化合成的可行性和效率，使功能兼容的软件组件进行无缝互操作。
Given today's highly dynamic and extremely heterogeneous software systems, automatically achieving interoperability between their software components -- without modifying them--- is more than simply desirable, it is fast becoming a necessity. Although much work has been carried out on interoperability, existing solutions have not fully succeeded in keeping pace with the increasing complexity and heterogeneity of modern software, and meeting the demands of runtime support. These solutions either require developers to implement mediators, which are software entities that reconcile the differences between the implementations of software components so as to enable them to work together, or generate mediators based on declarative specifications of the composition of components or correspondences between the components' interfaces. Due to their dependency on such specifications, existing solutions are insufficient for ubiquitous environments where software components meet dynamically and interactions take place spontaneously. The main contribution of this thesis is to define an approach and provide a supporting tool for the automated synthesis and deployment of mediators in order to enable heterogeneous software components, with compatible functionalities, to interoperate. The synthesised mediators reconcile the differences between the interfaces of the components and coordinate their behaviours from the application down to the middleware layers. In this thesis, we show that ontology reasoning, constraint programming, and automata techniques can provide the basis for a practical and sound solution to automate the synthesis of mediators at both design time and runtime. The full automation of mediator synthesis removes the need for solutions requiring declarative, often detailed, specifications of how to perform mediation. We validate our approach through the development of a tool, MICS, and its experimentation with a number of case studies ranging from heterogeneous chat applications to emergency management in systems of systems. Through these case studies, we demonstrate the viability and efficiency of the automated synthesis of mediators to enable functionally-compatible software components to interoperate seamlessly.