收藏本站
《上海大学》 2005年
收藏 | 手机打开
二维码
手机客户端打开本文

基于形式规格说明的统一软件建模系统的研究

刘静  
【摘要】:近年来,随着软件规模的不断扩大,复杂性不断增加,如何提高软件开发效率,保证软件质量成为软件业界的中心问题。面向对象软件建模技术为提高大规模软件开发的效率与质量带来了希望,为软件开发自动化奠定了基础。 面向对象软件建模语言UML以其图形化的表达及对软件设计提供各种各样的支持而迅速成为软件业界的标准。它为设计人员提供了各种各样的视图、半形式化的元模型语义、对设计元素的形式化逻辑约束。UML采用直观的图形表示法,给使用者带来了方便,但同时图形表示法有模糊性,特别是需求分析模型中语义描述用的是自然语言,使设计人员难以建立严格的需求模型,无法通过工具自动完成模型内部的一致性检查、证明、验证;无法从需求模型自动或半自动地获得设计模型,并保持模型间的一致。 形式化的软件规格说明建立在严格数学基础上,具有精确的符号表示,采用严格的数学工具、具有精确数学语义,能够进行推理和演算,并适合工具处理。因此,用形式方法来构建系统,可提高传统的结构性和易维护性,提高软件的质量。 本文从提高UML模型的精度和模型一致性入手,将形式化的软件规格说明技术应用到UML需求模型与设计模型的构建中,对面向对象的软件模型的框架、类模型、交互模型、构件模型、体系结构模型,以及模型的静态特性与动态特性进行了深入的研究。所做的工作和取得的成果主要体现在以下几个方面: ●提出了一种基于形式规格说明和面向对象技术的软件建模策略。采用面向对象建模方法,将统一建模语言UML(Unified Modeling Language)、统一开发过程RUP(Rational Unified Process)与统一程序设计理论UTP(Unified Theory of Programming)相结合。分析了软件开发过程,并对统一开发过程RUP中涉及的模型进行了深入的研究,定义了概念类模型、设计类模型、交互模型、构件模型、体系结构模型,并从语义上给出了模型的良定义条件。 ●系统地提出了一系列提高UML软件模型精确性的策略。利用面向对象的形式化规格说明语言OOL建立了软件开发中涉及的各种动、静态模型,给出了模型精确的形式化语义,从而可以从语义上分析所建模型的正确性,以及设计模型相对于需求模型的正确性。 ●提出了保持静态模型与动态模型一致的策略。分析了RUP中类模型与交互模型的关系,根据模型的语义,给出了动静态模型一致的条件和实现的策略。 ●提出了保持需求模型和设计模型一致以及下一迭代段与上一迭代段一致的策略,既保持模型的横向一致又保持模型的纵向一致,并显示了如何用模型精化的方法消除不一致。
【学位授予单位】:上海大学
【学位级别】:博士
【学位授予年份】:2005
【分类号】:TP311.5

【参考文献】
中国期刊全文数据库 前5条
1 张涌,王渊峰,钱乐秋;一个集成式的软件构件描述框架[J];计算机学报;2002年05期
2 邵维忠,蒋严冰,麻志毅;UML现存的问题和发展道路[J];计算机研究与发展;2003年04期
3 孙昌爱,金茂忠,刘超;软件体系结构研究综述[J];软件学报;2002年07期
4 梅宏,陈锋,冯耀东,杨杰;ABC:基于体系结构、面向构件的软件开发方法[J];软件学报;2003年04期
5 马于涛,陈建勋;基于UML的软件体系结构建模技术的研究[J];武汉科技大学学报(自然科学版);2003年03期
【共引文献】
中国期刊全文数据库 前10条
1 乎西旦·居马洪;蒋新革;古丽米拉;;常用软件体系结构模型的分析[J];计算机工程与设计;2006年14期
2 马于涛,谷淑化,姜灵敏;基于体系结构的组件集成框架的研究[J];武汉理工大学学报(交通科学与工程版);2004年03期
3 梁青,肖向军,陈德运;Visual C++/MFC下自定义控件的开发[J];哈尔滨理工大学学报;2004年04期
4 吴士亮,薛恒新,韦东方;ERP系统的组件化模型研究[J];计算机工程;2004年15期
5 李桂丽,刘悦,田莹;可复用构件的制作和组装[J];鞍山钢铁学院学报;2002年03期
6 李龙澍;;软件体系结构风格综述[J];安庆师范学院学报(自然科学版);2006年04期
7 刘瑜,张世琨,邬伦,叶燕林;地理信息系统中的设计模式——以过滤和精化为例[J];北京大学学报(自然科学版);2001年06期
8 宋宇培,叶青;UML可视化建模系统研制与原型开发[J];长春光学精密机械学院学报;2001年02期
9 姚敏,张柏,张树清;基于构件的地理信息系统应用软件开发模型研究[J];测绘工程;2001年01期
10 姚敏!130021,张柏!130021;采用构件技术开发地理信息系统应用软件[J];测绘信息与工程;2000年03期
中国重要会议论文全文数据库 前10条
1 施霖;刘喻民;;层次化Web应用模型[A];第一届全国Web信息系统及其应用会议(WISA2004)论文集[C];2004年
2 朱治国;孙长嵩;;一个异构构件库群联合检索模型[A];2006北京地区高校研究生学术交流会——通信与信息技术会议论文集(下)[C];2006年
3 李浩;谢庆生;;开放式热处理车间管理控制一体化系统的研究与应用[A];全国先进制造技术高层论坛暨制造业自动化、信息化技术研讨会论文集[C];2005年
4 李少光;傅荣;;软件过程成熟度模型[A];2000中国控制与决策学术年会论文集[C];2000年
5 黄正宝;张广泉;;一种基于时序逻辑的UML 2.0形式化语义[A];2006年全国理论计算机科学学术年会论文集[C];2006年
6 张继军;董卫;;基于Petri网的构件组装运算及其性质[A];2006年全国开放式分布与并行计算机学术会议论文集(三)[C];2006年
7 潘全文;李天;李行善;;预测与健康管理系统体系结构研究[A];第十七届全国测控计量仪器仪表学术年会(MCMI'2007)论文集(上册)[C];2007年
8 陈亮亮;孔祥艳;程甜甜;李云飞;;基于体系结构和面向构件的虚拟仪器开发方法[A];2007'中国仪器仪表与测控技术交流大会论文集(一)[C];2007年
9 黄洪;胥琳;叶枫;;新的对象概念与系统分析方法研究[A];管理科学与系统科学研究新进展——第8届全国青年管理科学与系统科学学术会议论文集[C];2005年
10 谢蓓;曹万华;;构件组装方法研究[A];中国造船工程学会电子技术学术委员会2006学术年会论文集(上册)[C];2006年
中国博士学位论文全文数据库 前10条
1 袁江;小卫星组网路由方法研究[D];中国科学院研究生院(空间科学与应用研究中心);2006年
2 李河;基于构件复用的测井解释系统及成像测井图像处理与自动识别技术研究[D];吉林大学;2005年
3 李朝辉;基于构件复用技术的组态模型及平台研究[D];大连理工大学;2005年
4 阎志华;虚拟企业信息系统若干关键技术研究[D];南京航空航天大学;2005年
5 周健;分布构件计算平台cBus的研究与实现[D];中国人民解放军国防科学技术大学;2000年
6 汤宝平;新一代虚拟仪器—智能控件化虚拟仪器系统的研究[D];重庆大学;2003年
7 邓达强;运动机械监测系统数据融合关键技术的研究与应用[D];重庆大学;2001年
8 潘铁军;虚拟企业过程集成中几个关键问题的研究[D];浙江大学;2001年
9 艾萍;构件柔性组装描述的形式化方法研究及其在水利领域的应用[D];河海大学;2002年
10 张小栓;水产品价格预测支持系统研究[D];中国农业大学;2003年
中国硕士学位论文全文数据库 前10条
1 朱泽彬;类层次结构抽象描述语言的设计及其到C++的转换[D];长沙理工大学;2005年
2 廖昕;面向程序挖掘的构件组装设计与关键技术的研究[D];中南大学;2005年
3 刘茵;远程数据采集系统体系结构研究[D];中南大学;2005年
4 金联;建筑材料质量监测检验管理系统的设计与实现[D];中南大学;2005年
5 陈弦;基于组件的异构数据集成与转换系统的研究与实现[D];中南大学;2005年
6 王宝兴;基于对象关系映射的对象持久化模型分析与应用[D];华中科技大学;2005年
7 吴进文;移动短消息联网业务计费系统设计与实现[D];华中科技大学;2005年
8 王小军;ERP系统中组件技术及库存控制问题的研究与应用[D];华中科技大学;2005年
9 陈琼;现代物流信息系统的构件化研究[D];华中科技大学;2005年
10 李朝霞;基于组件的税务干部测评系统的研究[D];天津大学;2004年
【同被引文献】
中国期刊全文数据库 前10条
1 孙荀英,张怀,梁国平;亚洲大陆下的地幔流动及其对亚洲地壳的作用力[J];地震学报;2002年03期
2 刘正光,林孔元,郭爱民,程彦;卫星云图形态特征提取[J];计算机研究与发展;1997年09期
3 郑继川,胡正国,杨冬菊,郑炜;基于Petri网的工作流建模与分析[J];计算机工程;2003年05期
4 尹建伟,陈刚,董金祥;柔性工作流动态行为建模方法[J];计算机辅助设计与图形学学报;2002年10期
5 罗红,慕德俊,邓智群,王晓东;网格计算中任务调度研究综述[J];计算机应用研究;2005年05期
6 王胤,杨红红,庞小红,吴智铭;动态柔性制造系统仿真平台[J];上海交通大学学报;2002年08期
7 侯伦,唐小我;企业信息化及其指标体系探讨[J];电子科技大学学报(社会科学版);2001年03期
8 谢建华;岳元亚;;应用Flash Media Server技术开发网络视频会议系统[J];福建电脑;2006年08期
9 李腊元;通信协议工程学进展[J];计算机研究与发展;1993年07期
10 于卫,杨万海,蔡希尧;软件体系结构的描述方法研究[J];计算机研究与发展;2000年10期
中国博士学位论文全文数据库 前10条
1 赵志刚;基于Petri网理论的计算机网络性能分析和电子商务模型设计[D];浙江大学;2002年
2 祖旭;基于Petri网理论的产品开发过程建模方法研究[D];大连理工大学;2005年
3 董威;面向UML的模型检验研究[D];中国人民解放军国防科学技术大学;2002年
4 任洪敏;基于π演算的软件体系结构形式化研究[D];复旦大学;2003年
5 柯清超;分布式学习系统软件建模方法研究[D];华南师范大学;2003年
6 朱雪阳;软件体系结构形式描述研究[D];中国科学院研究生院(软件研究所);2005年
7 古幼鹏;嵌入式实时软件的构件化开发技术研究[D];电子科技大学;2005年
8 李长云;基于体系结构的软件动态演化研究[D];浙江大学;2005年
9 陈迎欣;小组软件过程的仿真建模方法研究[D];哈尔滨工程大学;2006年
10 蒋哲远;基于Web服务的特定领域软件体系结构及其关键技术研究[D];合肥工业大学;2006年
中国硕士学位论文全文数据库 前3条
1 冯云;Petri网基本性质的研究[D];西华大学;2008年
2 王涛;统一软件过程(RUP)核心原则的实践[D];电子科技大学;2004年
3 丁湘陵;基于B方法的软件体系结构描述语言的精化研究[D];湖南师范大学;2006年
【二级参考文献】
中国期刊全文数据库 前2条
1 于卫,杨万海,蔡希尧;软件体系结构的描述方法研究[J];计算机研究与发展;2000年10期
2 骆华俊,唐稚松,郑建丹;可视化体系结构描述语言XYZ/ADL[J];软件学报;2000年08期
【相似文献】
中国期刊全文数据库 前10条
1 孙秀英,韦有臣;RUP在图书馆管理系统开发中的应用[J];科技情报开发与经济;2004年09期
2 江崇礼,刘天建,董明;一种新的具有自主知识产权的GIS平台[J];计算机工程与应用;2003年08期
3 安杨,赵波;UML建模方法在地理信息系统开发中的应用[J];计算机工程;2004年21期
4 曾孟佳,程兆麟;面向对象软件工程的软件过程改进[J];大连民族学院学报;2005年01期
5 苏琼,胡继承,张振兴;基于UML的嵌入式系统的分析与设计[J];计算机应用研究;2005年11期
6 卢毓伟;;基于UML的J2EE企业级应用开发建模[J];微处理机;2006年04期
7 陆明洲;何菊;徐大华;;统一建模语言在农机管理信息系统中的应用[J];安徽农业科学;2006年14期
8 卢宏锋;于洪敏;陈利军;;基于UML的武器装备体系需求工程建模技术研究[J];科学技术与工程;2008年16期
9 隋树林;张华军;;一种实时运动控制软件的建模与研究[J];微计算机信息;2009年16期
10 景鑫;陆瑶;;基于.net的五自由度机械手控制软件的设计与实现[J];江南大学学报(自然科学版);2009年03期
中国重要会议论文全文数据库 前10条
1 谌菲;曹万华;黄志刚;;舰载作战指挥系统模型驱动软件开发技术研究[A];中国造船工程学会电子技术学术委员会2006学术年会论文集(上册)[C];2006年
2 李北平;陈星光;;UML在VE中的应用探讨[A];信息经济与国民经济增长方式的转变——中国信息经济学会2006年学术年会论文集[C];2006年
3 张愉;顾毅;;基于UML的远程监控系统设计[A];全国先进制造技术高层论坛暨制造业自动化、信息化技术研讨会论文集[C];2005年
4 贲可荣;米磊;;一种基于UML活动图的软件可靠性测试用例生成方法[A];中国造船工程学会电子技术学术委员会2006学术年会论文集(下册)[C];2006年
5 周晖;刘仲刚;贾建军;;IHO S-100中的概念模式语言研究[A];第二十一届海洋测绘综合性学术研讨会论文集[C];2009年
6 张冰剑;华贲;罗向龙;梁喜革;;炼油企业全厂生产计划系统设计与开发[A];第十届全国信息技术化工应用年会论文集[C];2005年
7 唐晓兵;孙国基;刘皓;;基于UML的防空系统仿真建模[A];系统仿真技术及其应用(第7卷)——'2005系统仿真技术及其应用学术交流会论文选编[C];2005年
8 何群;董威;李存斌;;基于UML建模技术设计和开发管理信息系统[A];2006北京地区高校研究生学术交流会——通信与信息技术会议论文集(下)[C];2006年
9 李舰;郑世勇;;基于CGF技术的反辐射导弹仿真研究[A];2007系统仿真技术及其应用学术会议论文集[C];2007年
10 刘良;毕义明;杨萍;;基于UML导弹任务规划系统建模与实现研究[A];'2008系统仿真技术及其应用学术会议论文集[C];2008年
中国博士学位论文全文数据库 前10条
1 刘静;基于形式规格说明的统一软件建模系统的研究[D];上海大学;2005年
2 高军礼;基于模型驱动开发方法的开放式结构计算机数控系统的研究[D];华南理工大学;2005年
3 路世忠;流程企业动力设备的集成维护管理系统研究[D];天津大学;2005年
4 包世泰;基于GIS的地质勘察信息模型研究及其应用[D];中国科学院研究生院(广州地球化学研究所);2004年
5 蔡瑾;组合夹具元件库集成建模技术研究[D];河北工业大学;2009年
6 范年柏;程序正确性验证的几个问题[D];湖南大学;2005年
7 袁锋;基于资源优化的制造过程建模与仿真研究[D];东北大学;2006年
8 付雅琴;基于复杂系统理论的梯级水电开发生态环境影响评价研究[D];华中科技大学;2009年
9 张涛;复杂信息系统模型的形式化验证方法研究[D];哈尔滨工程大学;2012年
10 周凡利;工程系统多领域统一模型编译映射与仿真求解研究[D];华中科技大学;2011年
中国硕士学位论文全文数据库 前10条
1 赵家强;基于UML的AMT系统建模与实现[D];合肥工业大学;2008年
2 王帅;基于J2EE的医院信息系统的分析与设计[D];同济大学;2008年
3 张淼;基于ASP.NET的教务管理系统的设计与实现[D];中国海洋大学;2009年
4 张钦礼;基于设计模式的实训系统的设计与实现[D];复旦大学;2009年
5 王照;基于Web Service的医院信息系统的设计与实现[D];华东师范大学;2009年
6 关锋;利用UML对货物受理信息系统进行需求收集的研究[D];山东大学;2005年
7 李楠;基于UML的分布式交互仿真系统[D];吉林大学;2005年
8 赵国栋;工商银行统计报表管理信息系统的建设[D];内蒙古大学;2006年
9 滕勇;敏捷建模研究及在软件项目中的应用[D];长春理工大学;2007年
10 戚龙;基于UML的ERP环境下的库存管理系统的分析与设计[D];长春理工大学;2007年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026