收藏本站
《沈阳工业大学》 2007年
收藏 | 手机打开
二维码
手机客户端打开本文

Z规格说明中关系和函数到C++STL的自动转换

于云赫  
【摘要】: 软件开发的形式化方法被当今计算机界誉为克服“软件危机”,提高软件可靠性和生产效率的革命性途径。形式化开发方法中,人们利用软件的规格说明来描述计算机“做什么”。目前Z是最为流行的一种规格说明语言,于2002年在ISO指导下完成了国际标准化Z工作,正逐渐应用于工业界各个领域。然而由于Z规格说明的抽象性和复杂性,还未为程序员广泛接受并使用。 本文首先介绍了Z规格说明的基本数据类型和复合数据类型,并举例给出了建立在复合数据结构上的操作。其次,简要阐述了词法分析的处理过程,语法处理的基本思想及出错处理。然后,针对Z规格说明的组成结构,提出了模式的处理框架,使得Z规格说明中声明和谓词的求精处理更加灵活。最后给出了求精的常见错误及其处理。 本课题主要研究Z规格说明关系和函数的分析处理和求精,其主要步骤如下:将规范化的Z规格说明进行词法处理和语法处理,再根据数据类型的不同,结合STL对数据结构和通用算法的强大支持功能和自己编写部分代码,分别进行语义和求精处理,解决关系和函数的存储及操作,在不改变Z规格说明原有意义的基础上,从而实现了Z规格说明到中间代码,再到C++代码的自动转换。 本文的实现为软件工程概要设计阶段提供新思路,有助于将软件工程语言应用于软件开发实践,使软件开发过程更加合理,软件设计更加周密,软件开发的资金分配更加明确,进而达到降低软件开发成本和减少软件后期维护的目的。
【学位授予单位】:沈阳工业大学
【学位级别】:硕士
【学位授予年份】:2007
【分类号】:TP312.1

【参考文献】
中国期刊全文数据库 前10条
1 古天龙;形式化技术及其工业应用:现状与展望[J];桂林电子工业学院学报;2000年04期
2 陈广明,张立臣,陈生庆;并发Z规格说明在系统需求分析与设计中的应用[J];兰州理工大学学报;2005年04期
3 祝义;张广泉;;基于UML和Z的软件体系结构求精方法及其应用[J];计算机工程与应用;2006年05期
4 邹盛荣;郑国梁;;B语言和方法与Z、VDM的比较[J];计算机科学;2002年10期
5 刘玲,缪淮扣;Z规格说明构造方法[J];计算机工程;2000年02期
6 高晓雷;缪淮扣;李勇;;基于C++模板的Z规格说明的数据类型的实现[J];计算机工程;2006年11期
7 陈晶,朱关铭,童頫 ;Z语言模式正确性的检验[J];计算机工程;1995年05期
8 王宏生,王晓龙,李巍巍;基于C++STL的Z规格说明数据类型的表示[J];辽宁大学学报(自然科学版);2005年01期
9 袁晓东,郑国梁;Z的面向对象扩充COOZ的设计[J];软件学报;1997年09期
10 缪淮扣;Z规格说明的前置条件的简化[J];软件学报;1997年09期
中国硕士学位论文全文数据库 前1条
1 乔木;基于状态图与Z的测试用例生成研究[D];重庆大学;2004年
【共引文献】
中国期刊全文数据库 前10条
1 高志民;姚崎;;面向并行安全网关流水线模型的无锁队列算法[J];北京交通大学学报;2010年05期
2 乔爱科,张乃龙,孙洪鹏,李燕葵;钢结构CAE的简洁可视化后处理[J];北京工业大学学报;2005年03期
3 赵晓峰;赵正旭;周以齐;杨超英;;设备操作控制过程模型及其仿真环境的规范化研究[J];北京工业大学学报;2012年03期
4 李震;刘斌;陆民燕;殷永峰;;基于扩展Petri网的除冰软件安全需求建模和验证[J];北京航空航天大学学报;2012年01期
5 陈国彬;金鹏;赖敏;;基于动态体系结构的形式化描述[J];成都大学学报(自然科学版);2009年04期
6 付东炜;;基于Z-ADL语言的动态体系结构描述[J];成都大学学报(自然科学版);2012年01期
7 曹琼;;LL(1)预测分析程序设计与实现[J];重庆工学院学报(自然科学版);2007年08期
8 朱朝霞;周云才;;语法分析方法实践教学模式[J];重庆工学院学报(自然科学版);2008年06期
9 姚远,谭喜成,王方雄,金宝轩;基于Generic组件库STL的3D GIS数据组织与调度方法[J];测绘信息与工程;2005年03期
10 赵国毅;张广泉;;基于Petri网和UML的流水作业调度模型设计及实现[J];重庆师范大学学报(自然科学版);2008年02期
中国重要会议论文全文数据库 前5条
1 李佳晨;慕晓冬;孙玉铭;宋洪军;李密;翟国锋;;软件密集型装备软硬件故障代码前端分析方法研究[A];中国电子学会第十六届信息论学术年会论文集[C];2009年
2 王飞明;胡元闯;董荣胜;;模型检测中状态爆炸及其优化策略研究[A];广西计算机学会2008年年会论文集[C];2008年
3 孙栋栋;王玉斌;马争先;张净;;基于NS2的队列管理机制RED的研究及仿真[A];广西计算机学会2010年学术年会论文集[C];2010年
4 文欣;;Z规格说明中笛卡尔积算子自动求精的研究与实现[A];中国通信学会第五届学术年会论文集[C];2008年
5 高林杰;隽志才;倪安宁;;交通并行仿真系统框架设计与实现[A];第一届中国智能交通年会论文集[C];2005年
中国博士学位论文全文数据库 前10条
1 赵晓峰;虚拟制造环境的信息规范及其Z描述研究[D];山东大学;2010年
2 陈彬;面向DEVS的多范式建模与仿真关键技术研究与实现[D];国防科学技术大学;2010年
3 曹源;高速铁路列车运行控制系统的形式化建模与验证方法研究[D];北京交通大学;2011年
4 吕继东;列车运行控制系统分层形式化建模与验证分析[D];北京交通大学;2011年
5 马健丽;信息系统安全功能符合性检验关键技术研究[D];北京邮电大学;2010年
6 朱维军;时间区间时序逻辑模型检测:理论、算法及应用[D];西安电子科技大学;2011年
7 王彬;基于实时语义模型的模型转换及语义一致性研究[D];昆明理工大学;2011年
8 陈晓江;分布式系统软件体系结构建模与开发方法研究[D];西北大学;2010年
9 马坤;模型驱动架构下模型及模型转换方法关键问题研究[D];山东大学;2011年
10 卢雷;基于OOCPN的软件可执行模型建模方法的研究[D];山东大学;2011年
中国硕士学位论文全文数据库 前10条
1 王永伟;基于构件的形式化方法在软件开发中的应用研究[D];哈尔滨工程大学;2010年
2 苏昭;关系代数→关系演算转换系统的研制[D];江西师范大学;2010年
3 谢鹏;空间数据库数据缓存与调度技术研究[D];解放军信息工程大学;2009年
4 李海鹏;应用系统的形式化描述研究与实现[D];电子科技大学;2011年
5 张玉国;通用可组态串行协议解析器的设计与实现[D];西安电子科技大学;2010年
6 赵晋强;基于UML与Petri网的软件需求建模与验证[D];西安电子科技大学;2009年
7 白明;卡箱式高速公路联网收费通行IC卡管理系统的设计与实现[D];西安电子科技大学;2008年
8 崔光霁;UML状态图的形式化研究[D];太原理工大学;2011年
9 赵洪伟;基于规则格网DEM的等高线自动提取技术研究[D];吉林大学;2011年
10 王玉奎;通用高性能网络棋牌游戏服务端的研究和设计[D];武汉理工大学;2011年
【二级参考文献】
中国期刊全文数据库 前10条
1 乔木,曾一,吴洪丽,杨献军;软件过程评估与改进模型的比较[J];重庆大学学报(自然科学版);2004年02期
2 孙宇霖,屈玉贵,赵保华;多单元协议一致性测试中的同步序列的生成[J];计算机研究与发展;2001年05期
3 李留英,王戟,齐治昌;UML statecharts的测试用例生成方法[J];计算机研究与发展;2001年06期
4 张涌,钱乐秋,王渊峰;基于确定有限状态机的测试输入序列选取[J];计算机研究与发展;2002年09期
5 朱雪阳,唐稚松;UML活动图的时序逻辑语义[J];计算机研究与发展;2005年09期
6 李刚;朱关铭;童頫;;Z规格说明求精的正确性判定[J];计算机科学;1997年01期
7 缪淮扣;朱关铭;;Z规格说明中的定理证明方法[J];计算机科学;1998年01期
8 戎玫;张广泉;;软件体系结构求精方法研究[J];计算机科学;2003年04期
9 暴建民,王申科;关于可应用测试数据充分性准则复杂性的注记[J];计算机学报;1999年04期
10 兰毓华,毛法尧,曹化工;基于Z规格说明的软件测试用例自动生成[J];计算机学报;1999年09期
中国博士学位论文全文数据库 前1条
1 潘秋菱;基于过程和度量的软件质量管理方法研究[D];合肥工业大学;2002年
中国硕士学位论文全文数据库 前1条
1 祝义;基于UML和Z的软件体系结构求精方法及其应用[D];苏州大学;2005年
【相似文献】
中国期刊全文数据库 前10条
1 吴春年;平面设计中的几种关系新论[J];常熟高专学报;2001年03期
2 胡远珍;大众传媒舆论形成分析[J];湖北大学学报(哲学社会科学版);2002年04期
3 谢晓锋,张文俊,杨之廉;在全局优化中利用参数和目标的关系[J];小型微型计算机系统;2003年06期
4 唐宏伟;高校学报与学科建设[J];青海师范大学学报(哲学社会科学版);2003年05期
5 木兵;舆论引导的辩证思维[J];晋东南师范专科学校学报;2004年01期
6 张守忠;关系数据库多表查询的优化实现[J];沈阳工业大学学报;1987年04期
7 张谨;观察与理论关系的历史考察及其哲学思考[J];科技进步与对策;2001年04期
8 胡志刚,邹恒华,刘欧,钟掘;WVP3——1个基于Win32的可视化并行程序开发平台[J];中南工业大学学报(自然科学版);2001年03期
9 信永华,吴苑;正确处理校报工作的几个关系[J];泰安师专学报;2001年02期
10 季拥政;可持续发展与图书馆[J];图书馆学刊;2001年01期
中国重要会议论文全文数据库 前10条
1 陈柏君;熊磊;;论急性上呼吸道感染与黏膜免疫的关系[A];第25届全国中医儿科学术研讨会暨中医药高等教育儿科教学研究会会议学术论文集[C];2008年
2 杨昌智;吴健丹;;暖通空调中的温热环境研究[A];1997年湖南省暖通空调制冷学术年会论文集[C];1997年
3 谷万里;史载祥;;中医学“气”与气体信号分子关系初探[A];全国中医药研究生专辑[C];2005年
4 文黎照;;试析环境政策与环境法的关系[A];秩序与进步:社会建设、社会政策与和谐社会研究——浙江省社会学学会成立二十周年纪念暨2007学术年会论文集[C];2007年
5 杜晓蓉;;建立地方公共服务型政府过程中五大关系的反思[A];“构建和谐社会与深化行政管理体制改革”研讨会暨中国行政管理学会2007年年会论文集[C];2007年
6 姚冬而;屠永坤;;浅析土地整理和农村现代化的关系[A];“土地整理与城市化”研究文集[C];2003年
7 张媛;王靖飞;吴亦红;;论生态功能区划与主体功能区划关系[A];环境与健康:河北省环境科学学会环境与健康论坛暨2008年学术年会论文集[C];2008年
8 袁书琪;彭俊芳;贺伶俐;;中国历史文化名城城市旅游开发应处理好的几个关系[A];旅游业:推动产业升级和城市转型——第十三届全国区域旅游开发学术研讨会论文集[C];2008年
9 张为杰;杨子生;;土地整理与新农村建设关系研究[A];节约集约用地及城乡统筹发展——2009年海峡两岸土地学术研讨会论文集[C];2009年
10 白晓昱;;肺炎与便秘的关系临床观察——有感于“肺与大肠相表里”[A];中华中医药学会肛肠分会换届会议暨便秘专题研讨会论文专刊[C];2007年
中国博士学位论文全文数据库 前10条
1 康敏;中国农产品期货市场功能与现货市场关系研究[D];中国农业大学;2005年
2 闫东;中国共产党与民间组织关系研究[D];中共中央党校;2007年
3 梁银林;苏轼与佛学[D];四川大学;2005年
4 陈琳;明清时期徽州盐商与新安籍画家群关系研究[D];中国艺术研究院;2006年
5 蔡成效;人与世界关系的实践基础之沉思[D];武汉大学;2004年
6 刘力波;文化视域中的马克思主义中国化[D];陕西师范大学;2007年
7 朴延华;高丽后期王权研究[D];延边大学;2007年
8 张英丽;论学术职业与博士生教育的关系[D];华中科技大学;2008年
9 秦琴;当代乡村社会中的“社会资本”研究[D];上海大学;2005年
10 丛晓波;自尊的本质研究[D];东北师范大学;2006年
中国硕士学位论文全文数据库 前10条
1 于云赫;Z规格说明中关系和函数到C++STL的自动转换[D];沈阳工业大学;2007年
2 吉芳;论语言和经济的关系[D];新疆大学;2005年
3 李雄;基于理性与非理性关系的技术异化问题研究[D];湖南大学;2006年
4 尤明辉;试析工笔画发展与颜料衍变之关系[D];首都师范大学;2007年
5 梁沛华;慢性前列腺炎与心理因素的相关性研究[D];广州中医药大学;2008年
6 孙浩源;语义预设和语用预设探析[D];吉林大学;2008年
7 苗建红;论学生与知识的关系[D];山西大学;2008年
8 张菁;社会文化对团队学习影响研究[D];大连理工大学;2009年
9 王林林;鲁迅与魏晋南北朝小说[D];辽宁师范大学;2008年
10 王清;关系、限度、程序[D];湖南师范大学;2005年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026