【摘 要】
:
Z是目前应用最为广泛的一种形式规格说明语言,它以一阶谓词逻辑和集合论作为其形式语义基础,具有简明、精确的特点。主要用于软件的需求阶段,它摒弃了采用自然语言描述需求的
【机 构】
:
泉州仰恩大学计算机学院,362014
论文部分内容阅读
Z是目前应用最为广泛的一种形式规格说明语言,它以一阶谓词逻辑和集合论作为其形式语义基础,具有简明、精确的特点。主要用于软件的需求阶段,它摒弃了采用自然语言描述需求的模糊性和二义性。但由于z规格说明本身缺少一套完整的编译环境,发展较为缓慢,鉴于这个原因提出了Z向高级程序语言自动转化的思想。本文主要研究的是集合论中笛卡尔积算子的自动求精。 论文包括了以下几个方面:首先研究了Z中的各种数据类型及其间的相互关系。其次归纳总结了Z规格说明文法,形成了一个Z文法的子集,我们称之为Smart Z。之后把它转换成EBNF文法,再通过一系列变换转化成无二义性的SI-NS图,根据此图就可以写出相应的各个子程序。再次本文主要是研究了笛卡尔积算子的数据求精和过程求精,笛卡尔积本质上是n个集合元素组成序偶的集合,根据笛卡尔积自身的特点数据求精后转化成C++中的记录类型,而在过程求精中则采用了C++模板和STL技术,首先编写了两个乃至多个集合所形成的笛卡尔积的模板,其次制定了两个笛卡尔积之间的交、并、补的求精规则。最后举例说明Z到C自动求精的过程,在这里对Z词法分析后输出各类单词及其内码值,对Z语法分析后如有错给出相应的错误处理,最终通过求精规则转化成C++程序代码。 提出从Z规格说明到高级语言自动转换的思想,实现了从完全形式化的需求说明到编码的自动转换,这不仅将加快Z在工业界的广泛推广,也将加快软件产品的开发。
其他文献
当前我国正处于社会转型的急剧变革时期,社会转型对政治、经济、文化等各个领域均产生了深刻的影响,对主流意识形态和当代价值观也造成了极大的冲击和震荡,而且这种影响还将会在
老年妇女在老年人口中人数多、寿命高、健康状况差是老年群体中最弱势的群体。通过社区干预项目的研究,深化从社会性别视角对老年妇女问题的认识,是提高老年妇女生活
本文研究了播种期对大棚越冬西葫芦的影响。综合来看,10月21日播种的西葫芦生长和结果的习性为最佳,为江汉平原种植大棚越冬西葫芦的最佳播种期。
This paper studied the s
Apriori算法是关联规则挖掘中的经典算法。针对Apriori算法的瓶颈提出一种改进算法产生频繁2项目集,并给出了一种简单有效的逐步缩减交易数据库的方法。新算法减小了存储空间,
社会性别领域中的男性研究在中国内地仍然几乎是空白,本文从男性研究角度思考社会性别问题。在推进社会性别平等的过程中,男性自身参与的愿望仍然非常不够。笔者提出
1947年7月至9月全国土地会议前后,邓颖超提出“全党做妇女工作,男女一齐发动”的方针。要以土地改革为中心,使妇女工作与土地改革相结合,妇女运动与农民运动相结合,相互
本文着重研究了群及其聚结规则,由雷诺兹启发提出的控制规律确保所有个体的前进方向和速度以渐近线趋向于相同值,并且避免个体间的相互碰撞。本文重点对群集运动的稳定性进行分
在漫长的历史岁月里,城市公共设施成为主要体现统治者思想意识的载体。从剧场到浴室,从神庙到广场,都成为统治者用以表达自己思想情感的工具。另一方面,城市公共设施发展到近现代
SERDES作为一种串行接口正在逐步代替传统并行接口而成为高速接口技术的主流。详细讨论了采用VERILOG语言并结合FPGA来实现高速串行接口SERDES,不但在数据中增加了CRC校验位,有
本文对FC协议,IFR协议进行了综述,并提出了IFR的简单模型,及探讨了实现此模型的各功能模块的划分。