您的位置： 专家智库 > >

刘慧

作品数：1 被引量：2H指数：1
供职机构：东南大学计算机科学与工程学院更多>>
发文基金：教育部科学技术研究重点项目国家自然科学基金江苏省科技支撑计划项目更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇有限状态自动...
  • 1篇状态自动机
  • 1篇自动机
  • 1篇WSDL
  • 1篇FSA
  • 1篇WEB服务

机构

  • 1篇东南大学
  • 1篇南京大学

作者

  • 1篇王红兵
  • 1篇谢俊元
  • 1篇周宁
  • 1篇刘慧

传媒

  • 1篇计算机科学与...

年份

  • 1篇2011
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
采用动作时序逻辑的Web服务组合方法被引量：2
2011年
基于有限状态自动机理论,将Web服务建模成一个有限状态自动机。针对网络服务描述语言(WSDL)在服务行为描述方面的缺陷对其进行扩展,提出了从扩展的WSDL到动作时序逻辑(TLA)语言的转换算法,从而可以用TLA对服务行为进行形式化描述和规范,为描述Web服务提供了一个新的方法。讨论了在动作时序逻辑中,服务组合时各组件服务的有限状态自动机的组合方式,以及伴随着服务组合,单个服务的TLA规范如何组合以形成复合服务的TLA规范的问题,并在此基础上,提出了实现TLA规范正确组合的算法思想。
周宁刘慧王红兵谢俊元
全选 清除 导出
共1页<1>
聚类工具0