论文部分内容阅读
随着Web服务组合的发展,整合业务过程成为可能。组合Web服务可以被看作是基于过程的工作流。由于死锁、不安全和不可达等流的设计错误会影响组合Web服务的有效执行,因此这些错误应在组合Web服务执行前被检测出并修改。提出了基于语义标记Petri网的组合Web服务建模与验证方法。首先提出语义标记Petri网(SaPNs),并给出其语义;用受限描述逻辑tableau算法获得组合Web服务;使用SaPNs描述组合Web服务及其组成部分;最后,使用基于SaPNs的分析方法验证了组合Web服务。使用该方法在开放的Internet环境下可以获得满足客户需求的、可靠的组合Web服务。
With the evolution of Web service composition, it is possible to integrate business processes. Composite web services can be thought of as process-based workflows. Due to design errors such as deadlocks, insecure and unreachable flows, which can affect the effective execution of composite Web services, these errors should be detected and modified before the composite Web service executes. A new method of modeling and validating Web services based on semantic markup Petri nets is proposed. Firstly, semantic tag Petri nets (SaPNs) are proposed and their semantics are given. Combined web services are obtained by the restricted description logic tableau algorithm. SaPNs are used to describe the composition of Web services and its components. Finally, the SaPNs- Web service. Use this method in a open Internet environment can be obtained to meet customer needs, reliable combination of Web services.