论文部分内容阅读
现有服务行为适配方法通常侧重于如何消除服务之间行为上的不相容而往往没有考虑用户的需求，因而需要对基于适配器的服务组合进行需求的可满足性验证，这使得基于适配器的服务组合过程复杂且低效。针对此问题，在适配器生成过程中考虑用户的需求，提出一种需求驱动的服务行为适配方法，并给出用于描述用户需求的形式模型的语法及语义。证明了利用本文方法所生成的适配器不仅可以消除服务之间行为上的不相容，并且保证基于适配器的服务组合的行为满足需求给出的时序约束，避免了对基于适配器的服务组合进行验证。通过一个贯穿全文的实例分析表明了方法