论文部分内容阅读
随着服务组合系统的广泛应用，许多新的研究问题被提出。由于Web服务松散、低耦合等特点，使得Web服务之间的异步交互方式被广泛的采用。而以往的研究往往局限于同步交互情形，很少关注异步通信情况下服务之间交互。在同步条件下，可以使用现有的UPPAAL模型检测工具进行服务交互建模与检测，而在异步情况下需要给出合适的交互模型和检测算法来检测服务的相容性。另外，实际的业务需求常常要求服务之间的交互行为需要添加时间约束。在这种情况下，参与服务组合的服务交互行为必须在满足特定时间约束的前提下，才能保证服务的正确组合，因此，需要对带有时间约束的服务相容性进行检测，但现有的研究多是针对服务交互行为本身能否正确的进行交互，缺乏对操作行为带有时间约束条件的检测验证。针对上述问题，本文的给出了带有时间约束的服务相容性检测方法，具体研究工作如下：（1）分析了三种服务交互模型，分别是同步交互模型、本地序列化异步交互模型、相互序列化异步交互模型，确定在同步和异步不同情形下适用的交互模型。（2）讨论了基于时间自动机的服务建模方法。本文采用将BPEL进行时间属性的扩展，根据实际的业务需求规约在活动元素上添加时间约束属性，将扩展后的BPEL转换为时间自动机。最后分析归纳了BPEL活动元素到自动机模型的转换规则。（3）通过分析给出了异步交互的服务相容性的检测流程和检测算法，设计实现了带有时间约束的服务相容性检测原型工具，该工具支持带有时间约束的异步交互Web服务相容性的检测，最后通过实例分析，表明验证方法与检测算法的可行性。