抽象状态机

作品数：22被引量：35H指数：4
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：艾波赵宇虹李明禄刘晖蒋晶晶更多>>
相关机构：上海交通大学北京邮电大学中国科学院湖南工业大学更多>>
相关期刊：《Journal of Computer Science & Technology》《吉林大学学报（信息科学版）》《北京大学学报（自然科学版）》《计算机工程与应用》更多>>
相关基金：国家重点基础研究发展计划国家自然科学基金湖南省自然科学基金国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
实时嵌入式软件时间抽象状态机的扩展被引量：5
《北京大学学报（自然科学版）》2019年第2期197-208,共12页单锦辉 张路 王金波 张涛 
国家自然科学基金(61225007)资助
针对时间抽象状态机(TASM)存在的不足,对TASM进行扩展,增加数组数据类型、while循环处理规则以及"%","&","|","^",">>"和"<<"等运算符,定义扩展后TASM的语法和语义。采用扩展后的TASM为实际的实时嵌入式软件需求建模,通过实验,验证了采...
关键词：需求建模语言 实时 嵌入式软件 形式化定义 扩展 时间抽象状态机 
基于时间抽象状态机的AADL模型验证被引量：9
《软件学报》2015年第2期202-222,共21页杨志斌 胡凯 赵永望 马殿富 Jean-Paul BODEVEIX 
法国航空航天基金;软件开发环境国家重点实验室自主课题(SKLSDE-2014ZX-09;SKLSDE-2013ZX-30)
提出了一种基于时间抽象状态机(timed abstract state machine,简称TASM)的AADL(architecture analysis and design language)模型验证方法.分别给出了AADL子集和TASM的抽象语法,并基于语义函数和类ML的元语言形式定义转换规则.在此基础...
关键词：AADL(architecture analysis and design language) TASM(timed ABSTRACT state machine) 模型转换 形式验证 
安全攸关软件系统建模与验证专题前言被引量：1
《软件学报》2015年第2期179-180,共2页李宣东 刘超 毛晓光 
随着计算机技术应用的日益普及和不断深入，软件系统的规模和复杂性急剧增大，软件在越来越多的系统中成为主要的使能部件．在航空航天、武器装备、医疗设备、交通、核能、金融等安全攸关的应用领域，软件系统失效将导致灾难性的后果，...
关键词：软件系统 模型验证 建模 安全 专题 航空电子系统 形式化方法 抽象状态机 
基于抽象状态机的普适服务组合分析与验证被引量：1
《微电子学与计算机》2013年第3期122-126,共5页易良辰 黄林鹏 
国家自然科学基金项目(60970010);国家重点基础研究发展计划项目(2009CB320705)
提出了一个普适环境下服务组合的框架,使用抽象状态机对服务的行为进行不同精化层级的形式化描述,然后利用CoreASM这一模型检测工具对服务组合进行模拟执行验证,从而验证服务组合的正确性.最后给出了一个运用此方法进行服务组合验证的...
关键词：抽象状态机 普适计算 服务组合 验证方法 
基于ASM的混合式情境感知共享机制研究
《计算机工程与科学》2012年第6期50-58,共9页蒋晶晶 叶剑 朱珍民 
国家863计划资助项目(2009AA011902);国家自然科学基金资助项目(61070109)
移动的用户能够方便地访问分布在普适计算环境中的传感器,进而获得情境信息,是情境感知系统的核心目标。本文提出了一种融合分布式P2P和Publish/Subscribe模式的混合式情境感知共享机制,基于抽象状态机对该机制的高鲁棒和可扩展的特性...
关键词：情境感知 P2P 抽象状态机 可执行规范 有限状态机 抽象状态机语言 
一种网构软件体系结构中的纵横验证机制被引量：1
《计算机应用研究》2012年第2期601-605,共5页陈暄 高俊 李长云 
湖南省自然科学基金资助项目(09JJ6087);中国博士后科学基金资助项目(20080440216);浙江省教育技术研究规划课题(JB036);绍兴市教育科学规划课题(SGJ11061)
如何在开放、动态、复杂的Internet环境下开发网构软件是软件技术领域一个挑战性课题。从网构软件整个生命周期入手,对网构软件的形式化模型,在简单介绍抽象状态机(ASM)的基础理论之后,刻画了网构软件的构件模型,并对构件模型进行了基于...
关键词：形式化模型 形式化验证 软件体系结构 抽象状态机 
基于ASM的元模型形式化语义的研究被引量：4
《计算机应用研究》2012年第1期161-164,共4页李智伟 徐中伟 万勇兵 李盼 
国家自然科学基金资助项目(61075002);铁道部科技重点资助项目(2009X002-A)
提出一种在模型驱动开发过程中的形式化语义描述方法。该方法利用元建模技术,形式化地描述了元模型及其语义间的映射关系,以提供精确的语义描述,从而为模型驱动开发提供有力的支持。将描述框架用于模型转换规则的定义以及元模型的分析...
关键词：模型驱动工程 元模型 简单Petri网 抽象状态机 
基于ASM描述共享网络的实时任务可执行概率设计
《计算机系统应用》2011年第9期48-53,16,共7页张冬松 金士尧 陈芳园 李超 
国家教育部博士点基金(20079998014;20104307110005);国防科学技术大学优秀研究生创新资助(B100601)
利用抽象状态机(ASM),形式化描述了共享网络中实时任务接纳控制机制,提出了实时任务可执行概率设计过程的ASM模型,利用Spec Explorer给出了分析该模型的方法步骤。该模型不仅有助于验证其设计,还有利于实现实时任务接纳控制机制,并为利...
关键词：抽象状态机 共享资源网络 实时任务 可执行概率 接纳控制 
网构软件模型中的抽象状态机设计
《浙江大学学报（工学版）》2010年第5期923-929,共7页张引 何浩 赵丽娜 张三元 
国家"973"重点基础研究发展规划资助项目(2009CB320804);浙江省自然科学基金资助项目(Y1090597)
为了更好地支持和实现网构软件的自动化,提出在网构软件模型中使用抽象状态机(ASM).在Internet的计算环境下,采用peer-to-peer(P2P)拓扑结构作为网构软件模型的支撑网络环境,使用ASM的方法从较高的抽象层次(概念层)描述整个系统的行为...
关键词：网构软件 抽象状态机(ASM) peer-to-peer(P2P) AGENT 
Chord协议的抽象状态机模型
《计算机工程与科学》2010年第4期83-85,92,共4页米海波 王怀民 尹刚 
国家973计划资助项目(2005CB321800)
P2P是构筑于互联网的大规模分布计算协议,采用形式化方法对P2P协议的本质原理进行分析,将有助于P2P协议的优化和改进。本文采用抽象状态机(ASM)对经典P2P协议Chord进行分析,用基于抽象状态机语言(Asml)对其建模,设计了核心运行规则,并...
关键词：抽象状态机 CHORD协议 抽象状态机语言 有限状态机 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部