确定有限自动机

作品数：42被引量：126H指数：5
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：闵兰段振华雷丽晖刘益孙玉强更多>>
相关机构：西安电子科技大学成都理工大学国防科学技术大学宜宾学院更多>>
相关期刊：《航空计算技术》《计算机技术与发展》《计算机工程与设计》《计算机工程与应用》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划中央高校基本科研业务费专项资金国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=软件学报x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于事件确定有限自动机的UML2.0序列图描述与验证被引量：8
《软件学报》2011年第11期2625-2638,共14页张琛 段振华 田聪 
国家自然科学基金(60433010;60873018;60910004;91018010;61003078;61003079;61133001);国家重点基础研究发展计划(973)(2010CB328102);国家教育部博士点基金(200807010012);中央高校基本科研业务费专项资金(JY10000903004)
为了确保软件分析与设计阶段UML2.0序列图模型的可靠性,采用命题投影时序逻辑(propositional projection temporal logic,简称PPTL)模型检测方法对该模型进行分析和验证.提出了事件确定有限自动机(event deterministic finite automata...
关键词：UML2.0序列图 事件确定有限自动机 模型检测 命题投影时序逻辑 验证 
一种基于扩展有限自动机验证组合Web服务的方法被引量：37
《软件学报》2007年第12期2980-2990,共11页雷丽晖 段振华 
Supported by the National Natural Science Foundation of China under Grant Nos.60373103;60433010(国家自然科学基金);the Defence Pre-Research Project under Grant No.51315050105(装备预先研究项目)
为简化并自动化组合Web服务验证提出一种基于扩展有限自动机(extended deterministic finite automata,简称EDFA)验证组合Web服务的方法.使用EDFA可以准确地描述Web服务:EDFA的状态表达Web服务在与用户交互的过程中维护的状态;EDFA的状...
关键词：组合WEB服务 确定有限自动机 形式化验证 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部