收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

基于XYZ/SE的C/S体系结构风格研究

刘曼霞  
【摘要】:XYZ/SE是中国学者唐稚松教授历经二十余年研究而提出的第一种时序逻辑语言,由于其独特性而具有重要理论价值和应用前景,但遗憾的是自提出以来并未得到更为广泛的研究和应用。本文基于XYZ/SE时序逻辑语言对软件体系结构风格进行了研究。 首先,本文详细介绍了XYZ/SE的关键语法,并提出了应用XYZ/SE对软件体系结构进行描述的一般流程。同时,基于逐步求精思想,以财税库银系统TIPS为对象研究了XYZ/SE的应用过程。即:(1)先将TIPS分解为各个组件(客户端组件、连接件、服务器组件及服务器子组件)并基于XYZ/SE完成TIPS的整体描述;(2)再基于XYZ/SE分别完成对各组件的形式化描述,以确保较高抽象层次与低层次之间语义的一致性。研究结果表明,XYZ/SE具备对不同抽象层次进行规范描述的能力,能实现从抽象(静态语义)到具体(动态语义)的平滑过渡。 其次,研究了基于XYZ/SE的部分正确性验证规则的软件部分正确性验证问题。基于XYZ/SE对软件的形式化描述结果,提出了对应的软件部分正确性验证一般流程。然后以同一研究对象TIPS,在统一的XYZ/SE逻辑框架下,对XYZ/SE的形式化描述结果按照XYZ/SE的部分正确性验证规则逐步进行转换,直到得出部分正确性验证式子,从而直观地从静态上判断程序的部分正确性。研究表明,XYZ/SE可以在统一框架下表达出Hoare逻辑推演规则,实现了形式化描述与部分正确性验证的统一,简化了程序部分正确性的验证。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 陈莉君;提高数据库系统性能的关键技术[J];计算机系统应用;1999年06期
2 郑成增,陈志锋;基于B/S模式的WEB数据库技术研究[J];山西大学学报(自然科学版);2000年03期
3 阮灵,汪军;基于C/S体系下的CCMIS的设计与实现[J];武汉工业学院学报;2001年03期
4 樊文超;在Delphi中开发“瘦”单机数据库应用系统[J];沧州师范专科学校学报;2002年03期
5 张凤芝,宁禄乔,王震;氢氮比调节中的并发控制[J];工业控制计算机;2002年05期
6 李书杰,李志刚;B/S三层体系结构模式[J];河北理工学院学报;2002年S1期
7 虞春峰,陈钢;基于B/S的多层分布式结构应用[J];计算机与现代化;2002年11期
8 王亚杰;基于C/S和B/S的信息系统开发与研究[J];沈阳大学学报;2002年02期
9 尹兰,吕国斌,彭春,李杏;实验室帐务管理系统的设计与应用[J];现代电子技术;2002年02期
10 鲁明,赖芳东,李明;C/S与B/S模式在J2EE框架下的综合应用[J];微型电脑应用;2003年04期
11 刘晓静,王蔚;基于C/S模式和B/S模式结合的ZZGL系统开发方案[J];现代电子技术;2003年15期
12 钱晓群,何虎,王茂莉;教学信息网络管理系统的构建[J];计算机应用;1999年S1期
13 杨拥民,陈仲生;基于B/S模式的远程故障诊断系统[J];机电一体化;2000年06期
14 梁振球;基于混合模式的校园“一码通”工程的设计与实现[J];计算机应用研究;2001年12期
15 孙金苏;战时伤病员分类及处置系统研究[J];交通与计算机;2001年S1期
16 郑志琴,钟叔玉;柔性MIS及其支撑技术[J];昆明理工大学学报;2001年02期
17 张天乐,秦勃,张永良,时鹏;面向对象多线程工业监控网络通信模型[J];计算机应用;2002年06期
18 向艳,白康生;用存储过程改进C/S结构的大型数据库系统性能的优化设计技术[J];工矿自动化;2002年01期
19 戴云峰,陈临强;基于B/C/S模式的伙食物流管理系统[J];齐齐哈尔大学学报;2002年02期
20 吴凌娇;透视企业Intranet[J];常州信息职业技术学院学报;2002年01期
中国重要会议论文全文数据库 前10条
1 陈科;张斗南;郭利;范圣耀;刘晓敏;;基于C/S结构的印刷企业信息管理系统的研究与开发[A];2004“安徽制造业发展”博士科技论坛论文集[C];2004年
2 杨通胜;张艳玲;;基于C/S架构的科研管理信息系统软件设计[A];经济策论(上)[C];2011年
3 许浩磊;姜增如;于潇;戴亚平;;基于C/S结构的机器鱼远程控制系统[A];中国自动化学会控制理论专业委员会C卷[C];2011年
4 黎智刚;徐洁磐;;面向对象数据库系统OMNIX基于C/S结构的接口的设计和实现[A];第十六届全国数据库学术会议论文集[C];1999年
5 钱雪忠;蔡勇;;基于C/S方式的计算机联网考试系统开发[A];第十五届全国数据库学术会议论文集[C];1998年
6 章若冰;;基于C/S模式的通信机房通风节能控制系统[A];2010航空试验测试技术学术交流会论文集[C];2010年
7 申刚;钱龙根;魏艳红;占小红;;基于C/S结构的钢材焊接专家系统[A];第十六次全国焊接学术会议论文摘要集[C];2011年
8 廖彬;周跃进;王宇新;;模具企业管理信息系统的研究与开发[A];管理科学与系统科学研究新进展——第8届全国青年管理科学与系统科学学术会议论文集[C];2005年
9 陈科;郭利;范圣耀;;基于C/S和B/S混合结构的印刷管理信息系统研究[A];2004“安徽制造业发展”博士科技论坛论文集[C];2004年
10 张意;王甲东;周昆;;杂志社信息管理系统C/S与B/S模式比较研究[A];首届科技出版发展论坛论文集[C];2004年
中国博士学位论文全文数据库 前8条
1 李绍龙;网络游戏用户行为分析和应用[D];北京交通大学;2009年
2 孙军梅;基于形式方法面向服务的Web软件开发技术研究[D];上海大学;2008年
3 杨娟;国内新一代电信业务支撑系统软件体系结构的研究[D];北京邮电大学;2008年
4 常志明;自适应系统软件体系结构的关键技术研究[D];国防科学技术大学;2009年
5 杨红;适应性软件体系结构评价方法研究[D];大连理工大学;2007年
6 郭兵;嵌入式软件开放式集成开发平台体系结构研究[D];电子科技大学;2002年
7 李长云;基于体系结构的软件动态演化研究[D];浙江大学;2005年
8 毛炎新;全国林业资源信息服务体系结构研究[D];中国林业科学研究院;2010年
中国硕士学位论文全文数据库 前10条
1 刘曼霞;基于XYZ/SE的C/S体系结构风格研究[D];湖南大学;2013年
2 黄石磊;基于C/S模式的机要文件管理系统的设计[D];电子科技大学;2010年
3 刘振杰;基于C/S与B/S混合模式的煤矿安全管理信息系统研究[D];中北大学;2011年
4 胡为民;高职学院学生管理信息系统的设计与实现[D];苏州大学;2004年
5 彭利勇;基于C/S与B/S混合模式的信息系统研究[D];天津师范大学;2010年
6 张军;Z公司保险代理人薪酬系统设计与实现[D];广东工业大学;2005年
7 刘慧;基于C/S与B/S的煤矿安全监察信息管理系统研究[D];西安科技大学;2005年
8 郑一凡;混合模式之船舶检验管理信息系统总体方案研究[D];上海海事大学;2005年
9 许德武;基于C/S的人力资源管理系统的研究及实现[D];华东师范大学;2006年
10 周春娟;基于DCOM的远程监控系统的研究与实现[D];苏州大学;2005年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978