期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到1篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
为SOFL Specification自动生成消息序列(MSC)
1
作者 王浩 《计算机工程与应用》 CSCD 北大核心 2006年第16期114-117,共4页
形式化方法以其精确的描述能力,可验证性,和自动化潜力而得到了人们的关注。特别是在一些对安全性要求非常高的领域,已经有了很多成功的案例。但他始终没有在业界得到推广。原因之一就是基于数学符号的形式化语法十分晦涩难懂,这给开发... 形式化方法以其精确的描述能力,可验证性,和自动化潜力而得到了人们的关注。特别是在一些对安全性要求非常高的领域,已经有了很多成功的案例。但他始终没有在业界得到推广。原因之一就是基于数学符号的形式化语法十分晦涩难懂,这给开发人员之间,开发人员和客户之间的交流造成了巨大的障碍。我们认为要解决这一问题,就需要为形式化规范提供更直观,更为大家所熟悉的行为表现方式。文章介绍如何自动生成MSC(messagesequencechart)来描述SOFL(StructuredObjectorientedFormalLanguage)[12]specification的行为。通过用MSC来动态模拟规范的行为的执行过程,可以很好地帮助人们理解规范内容,这对于规范校验(specificationvalidation)有重要的意义。此外,我们为支持这一MSC自动生成过程编写的一款工具原形,也会在文中作简要介绍。 展开更多
关键词 形式化方法 sofl msc 模拟 规范校验
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部