基于开放Petri网的Web服务行为弱合理性分析

Chinese

您当前的位置：

首页 >

文章列表页 >

基于开放Petri网的Web服务行为弱合理性分析

更新时间：2026-09-04

- 基于开放Petri网的Web服务行为弱合理性分析
- The Analyzing Method about Behavior Weak Soundness of Web Services Based on Open Petri Net
- 微电子学与计算机 2012年29卷第5期页码：77-80
- 作者机构：
- 作者简介：
- 基金信息：
  
  安徽省高校自然科学基金重点项目(KJ2011A086);国家自然科学基金项目(60873144)
- DOI：
  中图分类号：
- 纸质出版：2012
- 稿件说明：
移动端阅览
基于开放Petri网的Web服务行为弱合理性分析[J]. 微电子学与计算机, 2012, 29(5): 77-80,85.

The Analyzing Method about Behavior Weak Soundness of Web Services Based on Open Petri Net[J]. 2012, 29(5): 77-80.
基于开放Petri网的Web服务行为弱合理性分析[J]. 微电子学与计算机, 2012, 29(5): 77-80,85. DOI：

The Analyzing Method about Behavior Weak Soundness of Web Services Based on Open Petri Net[J]. 2012, 29(5): 77-80. DOI：

摘要

目前

组合Web服务的正确性主要是通过合理性来判定

判定服务组合模型是否满足行为一致相关性是判定合理性的有效方法

而已提出的行为一致相关性判定算法仅在T-不变量存在的情况是可行的.文中利用开放Petri网对Web服务进行建模

基于服务树理论

提出了判定多个Web服务组合后满足行为弱合理性的算法

实现对组合Web服务的正确性分析.最后通过具体实例分析了该方法的有效性.

Abstract

At present

the correctness of the web service composition is primarily analyzed by soundness and determining whether the composition model meets the behavior relativity is an effective method for judging soundness.But the algorithm for judging the behavior relativity is feasible only in the case that T-invariant exists.In the consideration of the fact

web services are modeled by the open Petri net.Then

in order to realize the correctness analysis of the composition

an algorithm for determining the weak soundness of the service composition based on the theory of the service tree is presented.Finally the concrete example shows the effectiveness of the proposed method.

关键词

Keywords

references

浏览量

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

V型沟槽SiC中子探测器的蒙特卡洛分析

大模型发展综述：从BERT到Deepseek的技术演进

面向处理器分支预测单元的Spectre攻击轻量化防御方法

AlN/GaN混合缓冲层双异质结p-GaN HEMT直流特性仿真

一种用于极低压boost系统的高效率电荷泵