状态自动机

作品数：233被引量：688H指数：12
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：黄凯明早克热·卡德尔彭坤杨董群峰陈俊亮更多>>
相关机构：西安电子科技大学北京邮电大学清华大学中国科学院更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划陕西省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 机构=东南大学x
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
采用动作时序逻辑的Web服务组合方法被引量：2
《计算机科学与探索》2011年第3期208-220,共13页周宁 刘慧 王红兵 谢俊元 
国家自然科学基金;国家教育部重点项目;江苏省科技支撑计划~~
基于有限状态自动机理论,将Web服务建模成一个有限状态自动机。针对网络服务描述语言(WSDL)在服务行为描述方面的缺陷对其进行扩展,提出了从扩展的WSDL到动作时序逻辑(TLA)语言的转换算法,从而可以用TLA对服务行为进行形式化描述和规范...
关键词：网络服务组合 动作时序逻辑(TLA) 网络服务描述语言(WSDL) 有限状态自动机(FSA) 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部