收藏本站
《哈尔滨工程大学》 2010年
收藏 | 手机打开
二维码
手机客户端打开本文

基于构件的形式化方法在软件开发中的应用研究

王永伟  
【摘要】:基于构件的软件开发是提高软件生产率、提高软件质量、解决软件危机的重要方法,是软件复用领域的研究热点;解决软件危机的另一方面是如何建立严格的数学方法,如何进行形式化软件开发。如何将基于构件的软件开发和形式化方法相结合是软件开发发展的重要方向。 鉴于基于构件的软件开发缺少严密的数学推理,没有形式化的规格说明,大部分开发过程采用自然语言进行描述,本文给出了基于构件的形式化软件开发模型,重点研究该模型中需求分析的形式化、设计阶段软件体系结构、形式化构件模型及形式化构件交互。针对传统软件开发中需求分析不准确和二义性等问题,使用Z语言对需求分析形式化表示进行了扩充,并通过实例对形式化表示进行了说明,其具有消除需求分析的二义性和不一致性的能力。需求分析关注如何刻画问题空间,软件体系结构关注如何刻画解空间,如何根据需求分析获得软件体系结构没有定论,文中给出了一种基于功能和三层开发框架获取概要设计软件体系结构的方法。针对现阶段构件接口定义中构件行为和交互协议信息缺乏,利用形式化语言session type定义了构件、连接子以及构件交互语义,完成了详细设计阶段软件体系结构的精化,增强了构件接口信息的描述能力。 最后,将基于构件的形式化软件开发模型应用于某公司OA中的办公用品管理系统开发,结果表明该模型具有一定的可行性和适用性,且具有一定的实际应用价值。
【学位授予单位】:

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 杨鸿奋,莫少东,黎绍发,罗伟其;基于构件技术的Internet地理信息系统的设计方法[J];暨南大学学报(自然科学与医学版);2001年01期
2 ;构件与SOA异同[J];软件世界;2005年08期
3 闫鑫;刘杨;张春光;;微型消息总线(MMB)集成开发环境的设计[J];仪器仪表用户;2006年01期
4 王坚;雷英杰;申晓勇;;中间件及其评估方法研究[J];计算机技术与发展;2006年12期
5 谢斌红;张英俊;陈立潮;;分层模式软件体系结构在招商引资平台开发中的应用[J];太原科技大学学报;2007年01期
6 廖建军;焦允;;基于构架/构件的分布式数字图书馆系统开发研究[J];情报理论与实践;2008年04期
7 费杨;;构件技术及其在ERP开发中的应用[J];科技创新导报;2008年33期
8 唐宇;;一种基于B方法和构件技术的形式化开发方法[J];井冈山学院学报;2008年04期
9 于洪涛;;基于构件技术的信息系统研究[J];科技风;2010年06期
10 叶峰,沈英;基于构件技术的图书馆自动化系统的开发[J];现代图书情报技术;2000年01期
11 李满华;基于构件技术的分布式应用框架的研究与实现[J];井冈山师范学院学报;2003年06期
12 马天蔚;;构件出线赢在产业链[J];每周电脑报;2004年22期
13 韩宇星;;构件技术在分布式信息系统中的应用[J];河南公安高等专科学校学报;2006年03期
14 谢卫星;刘朝晖;汪琳霞;;基于构件的电子商务系统体系结构研究[J];南华大学学报(自然科学版);2006年02期
15 陈丽萍;傅英亮;宫玉彬;;基于构件的工作流系统[J];科技信息(学术研究);2007年17期
16 李胜利;黄宁洲;任军;;基于J2EE及构件技术设计实现发电商运营分析系统[J];湖北电力;2007年03期
17 姚蕾;;软件构件技术的研究[J];科技资讯;2007年22期
18 王亚明;郭峰;向阳霞;;软件复用技术及其开发方法[J];北京广播电视大学学报;2007年02期
19 叶苗;;基于构件的软件测试方法概述[J];电脑知识与技术;2008年14期
20 刘红艳;翟学明;刘华新;;基于构件技术的电力实时信息交换的研究[J];微计算机信息;2008年16期
中国重要会议论文全文数据库 前10条
1 朱云龙;李伟平;;网络制造管理信息系统的现状与发展趋势[A];面向复杂系统的管理理论与信息系统技术学术会议专辑[C];2000年
2 胡金柱;舒江波;陈志伟;杜志强;窦桂琴;;基于本体构件的工作流检索研究[A];第四届中国软件工程大会论文集[C];2007年
3 姜锴;;基于构件技术银烟通系统设计与实现[A];全国第21届计算机技术与应用学术会议(CACIS·2010)暨全国第2届安全关键技术与应用学术会议论文集[C];2010年
4 张载龙;沈苏彬;张顺颐;;基于Parlay的多媒体应用系统研究[A];2003年中国通信学会信息通信网络技术年会论文集[C];2003年
5 王森;;基于中间件的冶金MES构件的研究及其实现[A];冶金企业MES和ERP技术实践论文集[C];2005年
6 李嵩山;李彤;李志勇;;软件过程模型的复用[A];2008'中国信息技术与应用学术论坛论文集(一)[C];2008年
7 洪悦;;基于WEB的企业通用查询构件的设计与实现[A];全国第十届企业信息化与工业工程学术年会论文集[C];2006年
8 李宏芒;吕杨;;基于构件技术的HIS系统开发实践[A];全国第十五届计算机科学与技术应用学术会议论文集[C];2003年
9 黄玉坤;陈榕;王芳;;基于Elastos的普适计算环境研究[A];第三届和谐人机环境联合学术会议(HHME2007)论文集[C];2007年
10 李胜利;任军;陈勇;戴宏伟;;电力市场发电商运营分析系统设计与应用[A];2005中国电机工程学会电力系统自动化专委会全国供用电管理自动化学术交流暨供用电管理自动化学科组第二届年会论文集[C];2005年
中国重要报纸全文数据库 前10条
1 王辉;构件技术会是代码的终结者吗?[N];通信产业报;2004年
2 王辉;构件的未来是统一[N];通信产业报;2004年
3 本报记者 叶林海 实习记者 万国燕;以不变应万变[N];中国计算机报;2005年
4 本报记者 王辉;构件“要细活还是要简单?[N];通信产业报;2005年
5 ;中国企业的SOA最佳实践[N];中国计算机报;2007年
6 刘磊;软件革命路还长……[N];中国计算机报;2005年
7 本报记者 高丽华;构件孕育产业变局[N];计算机世界;2005年
8 本报记者 叶林海 实习记者 万国燕;构件化带动软件工业化[N];中国计算机报;2005年
9 本报记者 叶林海 实习记者 万国燕;构件化带动软件工业化[N];中国计算机报;2005年
10 本报记者 叶林海 实习记者 万国燕;构件化:别无选择[N];中国计算机报;2005年
中国博士学位论文全文数据库 前10条
1 杨娟;国内新一代电信业务支撑系统软件体系结构的研究[D];北京邮电大学;2008年
2 龚洪泉;基于形式语义的构件组装与演化研究[D];复旦大学;2005年
3 闫丹凤;下一代网络业务管理的研究[D];北京邮电大学;2008年
4 王佳;基于领域工程和构件技术的林业GIS系统研究[D];北京林业大学;2009年
5 方坤;基于RIA技术的构件式WebGIS表现层技术研究[D];中国地质大学(北京);2009年
6 李海涛;海洋环境信息集成方法研究与新一代MAGIS平台软件开发[D];中国海洋大学;2007年
7 唐彬;基于本体的构件检索研究[D];复旦大学;2007年
8 马志奇;应用于平台型数据融合测试床的构件技术研究[D];国防科学技术大学;2008年
9 车颖;计算无关模型驱动的ERP系统重构关键技术研究[D];哈尔滨工业大学;2011年
10 谢铖;多内核构件化嵌入式操作系统的研究[D];浙江大学;2006年
中国硕士学位论文全文数据库 前10条
1 王锐;基于CORBA的构件技术在分布式信息系统中的应用研究[D];华中师范大学;2002年
2 王平;基于XML的异构 数据库间数据转换的研究与构件开发[D];昆明理工大学;2003年
3 魏源;基于构件技术的电子海图系统的研究[D];大连海事大学;2004年
4 刘勇;基于CORBA的广告管理信息系统服务器的研究与设计[D];中南大学;2004年
5 冷波;基于构件技术的智能手机操作系统的研究与开发[D];武汉理工大学;2004年
6 杨振宇;“和欣”构件化操作系统内存保护模型研究[D];清华大学;2005年
7 郑震坤;构件平台的调用技术及其应用的研究[D];清华大学;2005年
8 郭雄峰;基于构件技术高扩展性组态软件研究[D];太原理工大学;2007年
9 熊文;基于构件技术的手机短消息应用系统开发[D];华中师范大学;2004年
10 梁哲;嵌入式Linux操作系统TCP/IP协议栈构件化的研究与实现[D];燕山大学;2006年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978