【摘要】 针对服务组合系统中存在某些实体属性会控制Web服务内在的隐式执行路径,致使客户端发送的消息与服务组合系统等待接收的消息不一致时,会发生交互无响应等问题,提出一种在服务组合系统的设计阶段进行交互协议兼容性检测的通用模型。将实体信息抽象为上下文变量,并对上下文感知服务交互协议进行建模;设计一种消除隐式转换的算法,对消除隐式转换后的服务组合系统进行上下文感知服务交互协议兼容性检测模型的形式化定义,并通过NuSMV模型检测工具对应用案例中的CSR模型进行验证。实验结果表明,该模型应用范围广,实现简单,实用性强;不仅能避免服务组合模型状态数较大时引发的状态爆炸问题,而且能有效地缩短服务组合系统的开发周期,降低系统的开发成本。更多还原

【Abstract】 An universal model of interaction protocol compatibility testing is proposed in the design phase of a service composition system,which based on what caused by the case that the inner implicit execution paths of Web services will be controlled by some entity attributes in the service composition system,thus many problems will be lead to,such as no response of interaction while the message sent by client is not consistent with the message waited by the service combination system.The entity information is primarily abstracted as a context variable,and the context-aware service interaction protocol is modeled;then an algorithm is designed to eliminate the implicit conversion,and the compatibility checking model about context-aware service interaction protocol is defined through a formal method after eliminating the implicit conversion,later to verify CSR model of an application case with the model checking tool NuSMV.The experimental results are proved that this model has advantages of wider application range,simpler implementation and stronger practical;it can not only avoid the states explosion problem triggered by the larger numbers of service composition model’s states,but also effectively shorten the development cycle and reduce the development costs of the service composition system.更多还原