2. 您的位置
3. 首页
4. 期刊论文
5. 基于SPIN内核的SDL模型检验工具设计

基于SPIN内核的SDL模型检验工具设计

来源 :电脑知识与技术 | 被引量 : 0次 | 上传用户：hstiantian

【摘 要】

：

西昌 610005;3.中国电子系统设备工程公司研究所,北京 100141)　　摘要:规格描述语言SDL目前广泛应用于复杂通信协议和软件系统的建模。使用模型检验技术对SDL进行分析和验证可以检测出模型中的逻辑错误,大大提高SDL建模结果的精确性。论文研究了SDL的形式化语义SDL/PR中常用部分与模型检验工具SPIN的输入语言Promela之间的语义映射规则,并以此为基础开发了一个基于SPIN内核

【作 者】

：

黄山 黄忠见 韩柯 王建伟 

【出 处】

：

电脑知识与技术

【发表日期】

：

2010年11期

【关键词】

：

SDL Model Checking 语义转换 SPIN 模型验证 

下载到本地 , 更方便阅读

下载此文 赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

　　西昌 610005;3.中国电子系统设备工程公司研究所,北京 100141) 全文查看链接 　　2.1 系统设计思路与结构 全文查看链接

其他文献

鲁迅小说食物意象研究

学位

唐代书启文研究

唐代书启文是唐代散文的重要组成部分,它有着丰富的思想内容和独特的艺术魅力。唐代书启文兼具实用性和审美性,是唐代士夫文人表达思想感情的重要媒介,也是丰富唐代文学内容

学位

唐代时期书启文创作风格艺术特征

Widget引擎编程应用

摘要:Widget是近年来较为流行的概念,通过Widget引擎用户可以编制丰富多彩的自定义桌面工具。该文通过对Widget引擎编程工具的研究,引导读者迅速进入Widget引擎编程的精彩世界。该文假定读者对于XML及JavaScript脚本有一定的了解,因此不详细对XML及JavaScript脚本进行讲解,重点在使用Widget引擎创建桌面应用。　　关键词:WIDGET;XML;JavaScript

期刊

WIDGETXMLJavaScript