论文部分内容阅读
随着Web服务组合的发展，整合业务过程成为可能。组合Web服务可以被看作是基于过程的工作流。由于死锁、不安全和不可达等流的设计错误会影响组合Web服务的有效执行，因此这些错误应在组合Web服务执行前被检测出并修改。提出了基于语义标记Petri网的组合Web服务建模与验证方法。首先提出语义标记Petri网（SaPNs），并给出其语义；用受限描述逻辑tableau算法获得组合Web服务；使用SaPNs描述组合Web服务及其组成部分；最后，使用基于SaPNs的分析方法验证了组合Web服务。使用该方法在开放的In