Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques
Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques
复制标题
DOI：
10.1109/tse.2011.62
复制
发表时间：
2008-12
影响因子：
7.4
通讯作者：
Radu Mateescu;P. Poizat;Gwen Salaün
中科院分区：
文献类型：
--
作者：
Radu Mateescu;P. Poizat;Gwen Salaün
在现代软件工程中，越来越提倡和实践重用和组合。然而，要被重用来构建应用程序(例如服务)的软件实体很少被开发来集成和应对应用程序需求。因此，它们存在不匹配，这直接阻碍了它们的可重用性和组合它们的可能性。软件适配已经成为一个热门话题，作为一种非侵入性的解决方案，使用名为适配器的纠正部件来解决不匹配问题。然而，适应是一个复杂的问题，特别是当考虑到行为界面或对话时。在本文中，我们提出了最先进的技术来生成适配器，给出了对可复用实体的会话的描述，并抽象地说明了可以解决不匹配的方法。我们使用进程代数对适配问题进行编码，并提出了动态探索和约简技术来计算适配协议。我们的方法遵循模型驱动的工程范式，应用于面向服务的计算，作为基于组合的软件工程的一个代表领域。我们将服务描述语言作为适配过程的输入，并将适配器实现为集中式服务组合，即编排。我们的方法完全是由工具支持的。
Reuse and composition are increasingly advocated and put into practice in modern software engineering. However, the software entities that are to be reused to build an application, e.g., services, have seldom been developed to integrate and to cope with the application requirements. As a consequence, they present mismatch, which directly hampers their reusability and the possibility of composing them. Software Adaptation has become a hot topic as a nonintrusive solution to work mismatch out using corrective pieces named adaptors. However, adaptation is a complex issue, especially when behavioral interfaces, or conversations, are taken into account. In this paper, we present state-of-the-art techniques to generate adaptors given the description of reused entities' conversations and an abstract specification of the way mismatch can be solved. We use a process algebra to encode the adaptation problem, and propose on-the-fly exploration and reduction techniques to compute adaptor protocols. Our approach follows the model-driven engineering paradigm, applied to service-oriented computing as a representative field of composition-based software engineering. We take service description languages as inputs of the adaptation process and we implement adaptors as centralized service compositions, i.e., orchestrations. Our approach is completely tool supported.