您的位置： 专家智库 > >

安徽省高校省级科学研究项目(KJ2012Z282)

作品数：1 被引量：1H指数：1
相关作者：王涛胡晓静刘士喜更多>>
相关机构：滁州学院更多>>
发文基金：安徽省自然科学基金安徽省高校省级科学研究项目更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇WEB服务组...
  • 1篇PETRI网
  • 1篇WEB服务

机构

  • 1篇滁州学院

作者

  • 1篇刘士喜
  • 1篇胡晓静
  • 1篇王涛

传媒

  • 1篇湖北工程学院...

年份

  • 1篇2015
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
一种Web服务组合模型合理性验证方法被引量：1
2015年
为了更加有效地对Web服务组合进行分析验证,设计BPEL到PNML语言的文件转换规则,实现Web服务组合流程的Petri网建模。针对Web服务组合流程设计中可能存在死锁及不正确的流程,在不破坏原Petri网模型结构性质与系统行为的基础上,将其调整映射为自由选择网。在自由选择Petri网理论基础上,设计了一种Web服务组合Petri网模型的合理性验证规则,能在多项式时间内分析网模型的结构活性与有界性,从而避免采用传统的可达树等分析方法出现的状态空间爆炸问题。最后,使用两个具体的Web服务组合Petri网模型证明了本文方法的有效性。
胡晓静刘士喜王涛
关键词：WEB服务PETRI网
全选 清除 导出
共1页<1>
聚类工具0