您的位置： 专家智库 > >

国家重点基础研究发展计划(2010CB328100)

作品数：1 被引量：0H指数：0
相关作者：李景霞赵慧娟更多>>
相关机构：上海海洋大学同济大学更多>>
发文基金：国家重点基础研究发展计划国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇形式化
  • 1篇形式化描述
  • 1篇形式化描述模...
  • 1篇颜色PETR...
  • 1篇体系结构
  • 1篇网模型
  • 1篇模型驱动体系
  • 1篇模型驱动体系...
  • 1篇PETRI网
  • 1篇PETRI网...
  • 1篇WEB服务组...
  • 1篇WEB服务组...
  • 1篇WEB服务

机构

  • 1篇同济大学
  • 1篇上海海洋大学

作者

  • 1篇赵慧娟
  • 1篇李景霞

传媒

  • 1篇计算机应用与...

年份

  • 1篇2011
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
Web服务的颜色Petri网模型及验证
2011年
利用Web服务组合技术,能够快速、灵活地满足复杂多变的业务需求。针对现有Web服务组合描述模型不独立于具体组合流程描述语言且不能全面刻画Web服务组合这两个问题,提出了一个描述Web服务的颜色Petri网模型,并给出了五个Web服务基本组合结构的模型表达,用于构造满足实际需求的Web服务组合流程。该模型能较全面地描述Web服务组合,同时还能够对组合流程正确性进行分析验证,最后通过建模实例说明了所提模型的实用性。
李景霞赵慧娟
关键词：颜色PETRI网模型驱动体系结构形式化描述模型WEB服务组合验证
全选 清除 导出
共1页<1>
聚类工具0