Most of the existing approaches focus on identifying mismatches and synthesizing adaptors at design-time or recently at run-time. However, few works have been proposed to support adaptor reconfiguration when services ...Most of the existing approaches focus on identifying mismatches and synthesizing adaptors at design-time or recently at run-time. However, few works have been proposed to support adaptor reconfiguration when services in the composition evolve due to changes in business needs. To address the deficiencies, the problem of adaptor reconfiguration is targeted in the context of service composition. Firstly, the formal models for describing services and adaptors are presented. Then, under this formalization,the notion of reconfiguration compliance is proposed to determine the validity of an adaptor instance with respect to its history executions and future executions. Based on the notion,the algorithm for reconfiguration analysis of adaptors is presented and it can be used for determining the migratability of an adaptor instance and the corresponding target state of reconfiguration if migratable.Finally,feasibility of the proposed approach is validated on a realistic case study. The proposed approach improves the flexibility of adaptor-based service composition by equipping adaptors with reconfiguration capabilities.展开更多
本文提出了一种新的服务调试机制，给出了相关的服务调试规则和调试器结构．这一机制采用标准的服务消息协议处理调试命令请求和响应，采用具有服务行为操作语义的控制逻辑管理服务执行状态和行为断点，采用元级表示法处理相关服务调用...本文提出了一种新的服务调试机制，给出了相关的服务调试规则和调试器结构．这一机制采用标准的服务消息协议处理调试命令请求和响应，采用具有服务行为操作语义的控制逻辑管理服务执行状态和行为断点，采用元级表示法处理相关服务调用执行过程中的上下文元素．在服务调试过程中，这种方法通过自标识检测有效地避免了多个服务调用调试可能产生的相互影响，为网格与Web服务提供了一种多对多在线调试方法．服务行为迁移调试处理方法扩展了常规调试技术和工具的使用范围，并使其更方便有效地用于服务行为的源码级调试．本文还介绍织女星服务调试器（Vega Service Debugger）原型系统组成及其特点．展开更多
基金National Natural Science Foundations of China(Nos.61272083,61262002,61170043)China Postdoctoral Science Foundation(Nos.20110491411,2014M562177)The Science Foundations of Nanjing Institute of Technology,China(Nos.QKJB201304,YKJ201420)
文摘Most of the existing approaches focus on identifying mismatches and synthesizing adaptors at design-time or recently at run-time. However, few works have been proposed to support adaptor reconfiguration when services in the composition evolve due to changes in business needs. To address the deficiencies, the problem of adaptor reconfiguration is targeted in the context of service composition. Firstly, the formal models for describing services and adaptors are presented. Then, under this formalization,the notion of reconfiguration compliance is proposed to determine the validity of an adaptor instance with respect to its history executions and future executions. Based on the notion,the algorithm for reconfiguration analysis of adaptors is presented and it can be used for determining the migratability of an adaptor instance and the corresponding target state of reconfiguration if migratable.Finally,feasibility of the proposed approach is validated on a realistic case study. The proposed approach improves the flexibility of adaptor-based service composition by equipping adaptors with reconfiguration capabilities.
文摘本文提出了一种新的服务调试机制，给出了相关的服务调试规则和调试器结构．这一机制采用标准的服务消息协议处理调试命令请求和响应，采用具有服务行为操作语义的控制逻辑管理服务执行状态和行为断点，采用元级表示法处理相关服务调用执行过程中的上下文元素．在服务调试过程中，这种方法通过自标识检测有效地避免了多个服务调用调试可能产生的相互影响，为网格与Web服务提供了一种多对多在线调试方法．服务行为迁移调试处理方法扩展了常规调试技术和工具的使用范围，并使其更方便有效地用于服务行为的源码级调试．本文还介绍织女星服务调试器（Vega Service Debugger）原型系统组成及其特点．
