收藏本站
《苏州大学》 2009年
收藏 | 手机打开
二维码
手机客户端打开本文

基于UML需求建模的一种形式化分析方法及其应用

江春  
【摘要】: 软件需求分析是软件开发过程中的首要工作,其分析结果是否准确可靠,将直接影响软件产品的质量,甚至决定了项目的成败。而其中的需求分析方法成为能否有效提高需求分析质量乃至最终软件产品质量的关键因素。 UML是软件开发过程中广泛使用的建模语言。但由于它是一种半形式化的建模语言,缺乏精确的语义,用它建立的软件需求模型一方面在用户需求的语义描述上会存在歧异问题,另一方面也难以直接精化和验证,无法进一步提高软件的正确性和可靠性。因此,UML有必要在形式化方面进行拓展。 本文探讨了一种利用Object-Z和Perfect对基于UML的需求建模进行形式化分析的方法。其核心思想是:首先,利用Object-Z对UML元模型层上的UML类图的语法和静态语义进行形式化描述,并在UML和Object-Z两者元模型之间寻求一种映射和转换机制;接着在Object-Z和Perfect的元模型之间建立一种映射,并定义它们之间的转换规则,从而实现利用Perfect对Object-Z描述进行精化。这样,既可以保留利用UML进行系统分析设计时强大的系统建模能力和简洁明了的面向对象模型表示法,又能够对UML建立的需求模型进行形式化描述、精化和验证。通过对UML建立的企业人事系统和自动检票系统的需求模型的形式化描述与精化,进一步说明了该方法在实际应用中的可行性。 本文的研究结果表明:将UML、Object-Z和Perfect相结合而得到的一种新的软件需求描述方法,能够更好地满足规模和复杂性均不断增大的软件系统的分析、设计和开发等需要,在一定程度上有助于提高软件的正确性和可靠性。
【学位授予单位】:苏州大学
【学位级别】:硕士
【学位授予年份】:2009
【分类号】:TP311.52

手机知网App
【引证文献】
中国硕士学位论文全文数据库 前3条
1 张文彬;基于UML对象建模的国家高等学校创新引智计划综合管理平台的设计与实现[D];天津大学;2010年
2 段有胜;UML_PanSchema可视化建模研究[D];山东师范大学;2010年
3 王沙;基于开源框架的实验室管理系统设计与实现[D];河南师范大学;2011年
【参考文献】
中国期刊全文数据库 前10条
1 张广泉;关于软件形式化方法[J];重庆师范学院学报(自然科学版);2002年02期
2 陈火旺,王戟,董威;高可信软件工程技术[J];电子学报;2003年S1期
3 卢梅,李明树;软件需求工程——方法及工具评述[J];计算机研究与发展;1999年11期
4 邵维忠,蒋严冰,麻志毅;UML现存的问题和发展道路[J];计算机研究与发展;2003年04期
5 周瑾;马应龙;李巍;吴志林;;UML的形式化及其应用[J];计算机科学;2005年03期
6 黄正宝;张广泉;;UML 2.0顺序图的XYZ/E时序逻辑语义研究[J];计算机科学;2006年08期
7 缪淮扣;陈怡海;;带OCL约束条件的类图到Object-Z规格说明的转换[J];计算机科学;2007年01期
8 王云,周伯生;标准建模语言UML简介[J];计算机应用研究;1999年12期
9 李刚,朱关铭;结构化面向对象形式规格说明语言OOZS——设计原理[J];上海大学学报(自然科学版);1998年02期
10 肖健宇,张德运,董皓,陈海诠;UML状态机到B形式化规约的转换[J];微电子学与计算机;2005年08期
【共引文献】
中国期刊全文数据库 前10条
1 肖汉;张瑞霞;;基于UML-Java类的软件产品复杂性度量研究[J];安徽大学学报(自然科学版);2006年03期
2 王勇;戚君贤;韦良芬;;UML的精简与扩展[J];安徽工程科技学院学报(自然科学版);2006年03期
3 唐贻兴;;基于UML建模的高校仪器设备管理系统的设计[J];安徽科技学院学报;2009年04期
4 高志民;姚崎;;面向并行安全网关流水线模型的无锁队列算法[J];北京交通大学学报;2010年05期
5 王晓潭;易军凯;赵恒永;;多语言信息服务系统的UML建模研究[J];北京化工大学学报(自然科学版);2007年S1期
6 王善发;吴道荣;;计算机导论教学技巧[J];保山师专学报;2007年05期
7 田兆锋;阎楚良;;基于UML和JSP的农业机械化装备信息网络平台[J];吉林大学学报(信息科学版);2006年06期
8 李仲侠;通信业务自然描述方法的研究[J];长春邮电学院学报;1997年03期
9 陈国彬;金鹏;赖敏;;基于动态体系结构的形式化描述[J];成都大学学报(自然科学版);2009年04期
10 方程;;基于Zachman框架的信息系统需求工程建模方法[J];重庆交通学院学报;2007年02期
中国重要会议论文全文数据库 前10条
1 楼俊钢;江建慧;靳昂;;可信性属性权重分配的模糊层次分析方法[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
2 王飞明;胡元闯;董荣胜;;模型检测中状态爆炸及其优化策略研究[A];广西计算机学会2008年年会论文集[C];2008年
3 孙栋栋;王玉斌;马争先;张净;;基于NS2的队列管理机制RED的研究及仿真[A];广西计算机学会2010年学术年会论文集[C];2010年
4 王颜新;李向阳;;基于可信平台的军品供应链支持系统[A];2008全国制造业信息化标准化论坛论文集[C];2008年
5 赵晶;王丹;史领航;;一种软件可信性的度量和评价方法[A];第三届中国可信计算与信息安全学术会议论文集(1)[C];2008年
6 黄正宝;张广泉;;一种基于时序逻辑的UML 2.0形式化语义[A];2006年全国理论计算机科学学术年会论文集[C];2006年
7 黄芳;苏中滨;郑萍;;基于UML的中小企业客户关系管理系统的设计[A];黑龙江省计算机学会2009年学术交流年会论文集[C];2010年
8 肖晶;陈曙;;工作流模型的语义及验证[A];2009国际信息技术与应用论坛论文集(上)[C];2009年
9 张悦今;张玲玲;刘莹;石勇;;软件可信性属性及其度量研究[A];第四届(2009)中国管理学年会——管理科学与工程分会场论文集[C];2009年
10 柳永坡;晏海华;张懋;刘雪梅;;测试流程管理与监控技术的研究与实现[A];第五届中国测试学术会议论文集[C];2008年
中国博士学位论文全文数据库 前10条
1 张海涛;自律计算系统的自律可信性评估研究[D];哈尔滨工程大学;2010年
2 赵倩;基于自配置的软件可信性增长模型及方法[D];哈尔滨工程大学;2010年
3 计春雷;全功能点方法和功能规模度量统一模型的研究与应用[D];华东理工大学;2011年
4 王晓暾;不确定信息环境下的质量功能展开研究[D];浙江大学;2011年
5 赵晓峰;虚拟制造环境的信息规范及其Z描述研究[D];山东大学;2010年
6 郭健强;面向对象软件测试理论与技术的研究[D];西安电子科技大学;1999年
7 李广元;LTLC:面向实时与混成系统的连续时序逻辑[D];中国科学院软件研究所;2001年
8 艾萍;构件柔性组装描述的形式化方法研究及其在水利领域的应用[D];河海大学;2002年
9 张小栓;水产品价格预测支持系统研究[D];中国农业大学;2003年
10 郑红;分布式系统形式化建模技术研究[D];中国科学院研究生院(软件研究所);2003年
中国硕士学位论文全文数据库 前10条
1 林雨;集成通信的中小企业客户管理系统的研究与设计[D];山东科技大学;2010年
2 刘海娇;基于魔力平台的需求分析系统的研究与实现[D];哈尔滨工程大学;2010年
3 王永伟;基于构件的形式化方法在软件开发中的应用研究[D];哈尔滨工程大学;2010年
4 周静;以就业为导向的产学互动在线教育平台的研究与实现[D];中国海洋大学;2010年
5 苏昭;关系代数→关系演算转换系统的研制[D];江西师范大学;2010年
6 张龙;数字资源统一内容管理系统应用研究[D];兰州大学;2010年
7 崔康乐;UML时序图模型到UPPAAL时间自动机模型转换方法研究和工具实现[D];华东师范大学;2011年
8 张启鹏;思想政治理论课辅助教学系统设计[D];华东师范大学;2010年
9 刘广宾;分布式系统中实体交互行为的可信研究[D];湖南工业大学;2010年
10 张铭霖;农村中青年信息能力培训系统的设计与实现[D];华南理工大学;2010年
【同被引文献】
中国期刊全文数据库 前10条
1 华晓清;;论网站页面设计的一致性原则[J];电脑知识与技术;2009年21期
2 熊开宏;王永红;;引入MDA理念对金盾工程建设的意义[J];中国人民公安大学学报(自然科学版);2006年03期
3 崔向平;论学习化社会与远程开放教育[J];甘肃联合大学学报(社会科学版);2005年01期
4 黄道斌;尹荣章;叶明全;朱金好;;基于开源框架的内容管理系统[J];电脑知识与技术;2010年10期
5 欧阳璟;牛颖;;回眸ICONIX软件过程方法[J];程序员;2005年10期
6 田海利;姚丹霖;;Struts框架技术在J2EE中的研究和应用[J];计算机与信息技术;2005年12期
7 周瑾;马应龙;李巍;吴志林;;UML的形式化及其应用[J];计算机科学;2005年03期
8 徐晓钟;;模型驱动架构(MDA)相关技术研究与实现[J];计算机科学;2006年12期
9 刘洪星;卢炎生;陈明;;一种XML概念模型—XUML[J];计算机科学;2007年01期
10 王润生,贾希胜,刘利,杜晓明;UML和ROSE工具在某损伤评估系统开发中的应用[J];计算机工程;2003年18期
中国硕士学位论文全文数据库 前10条
1 袁立罡;VMI软件构架及XUML研究[D];南京航空航天大学;2005年
2 徐慧;元数据集成系统研究及应用[D];江苏大学;2005年
3 张俊;基于J2EE架构的网上虚拟实验室平台设计与实现[D];国防科学技术大学;2005年
4 雷刚跃;基于Web服务的开放实验室综合信息处理平台及关键技术研究[D];中南大学;2005年
5 段旭光;基于Java Web的国家重点实验室信息管理系统的设计与实现[D];湖南大学;2005年
6 杨启仁;基于B/S结构的实验室管理系统设计[D];重庆大学;2006年
7 章伟刚;基于DTD的XML环的研究[D];燕山大学;2007年
8 罗江;基于C/S模式的高校实验室管理信息系统的设计与实现[D];电子科技大学;2007年
9 林亨斌;基于工作流的实验室建设项目管理系统的研究与实现[D];广东工业大学;2007年
10 陈伟;基于校园网的实验室管理系统的研究与设计[D];广东工业大学;2007年
【二级引证文献】
中国硕士学位论文全文数据库 前2条
1 陈立焕;利用开源UML软件实现PanSchema的可视化建模[D];山东师范大学;2011年
2 祝连鹏;UML模型与企业开发平台Panschema模型的映射研究与实现[D];山东师范大学;2012年
【二级参考文献】
中国期刊全文数据库 前10条
1 杨芙清,梅宏,吕建,金芝;浅论软件技术发展[J];电子学报;2002年S1期
2 林惠民,张文辉;模型检测:理论、方法与应用[J];电子学报;2002年S1期
3 赖明志,尤晋元;从UML状态图到PVS规范的自动转换、验证[J];电子学报;2002年S1期
4 杨芙清,邵维忠,梅宏;面向对象的CASE环境青岛Ⅱ型系统的设计与实现[J];中国科学(A辑 数学 物理学 天文学 技术科学);1995年05期
5 邵维忠,梅宏;统一建模语言UML述评[J];计算机研究与发展;1999年04期
6 韦银星,张申生,曹健;UML类图的形式化及分析[J];计算机工程与应用;2002年10期
7 黄春荣,李宣东,郑国梁;UML模型到COOZ规约的形式化转换[J];计算机工程与应用;2003年20期
8 戎玫;张广泉;;形式化与可视化相结合的软件体系结构描述方法研究[J];计算机科学;2005年04期
9 崔萌 ,李宣东 ,郑国梁;UML实时活动图的形式化分析[J];计算机学报;2004年03期
10 缪淮扣;Z规格说明的前置条件的简化[J];软件学报;1997年09期
中国博士学位论文全文数据库 前1条
1 朱雪阳;软件体系结构形式描述研究[D];中国科学院研究生院(软件研究所);2005年
【相似文献】
中国期刊全文数据库 前10条
1 张勇;夏树发;钟昌乐;;基于UML的网络课程CMS系统设计与实现[J];信息技术;2011年06期
2 陈雪梅;;基于工作流技术的实验室管理系统开发[J];科技信息;2011年21期
3 刘若冰;;基于UML的助学贷款管理系统的设计[J];经营管理者;2011年12期
4 文敏;;基于UML的图书馆应用系统的设计[J];福建电脑;2011年06期
5 杜博;;高校实验室管理系统的设计与实现[J];电子设计工程;2011年15期
6 孙平安;谭秋月;;基于C/S模式考试系统的设计与实现[J];长江大学学报(自然科学版);2011年06期
7 陈振庆;罗兰花;;基于动态描述逻辑的UML状态图形式化方法[J];计算机工程;2011年13期
8 魏红娟;;基于UML的“用况驱动”在软件开发过程中的作用分析[J];新乡学院学报(自然科学版);2011年03期
9 闻立民;;一种基于统一建模语言的系统测试方法[J];科技传播;2011年15期
10 郑华利;郭忠伟;张少兵;;基于UML的炮兵指挥信息系统体系结构设计[J];计算机技术与发展;2011年08期
中国重要会议论文全文数据库 前10条
1 燕飞;唐涛;;形式化方法在基于通信的列车运行控制系统(CBTC)中的应用研究[A];可持续发展的中国交通——2005全国博士生学术论坛(交通运输工程学科)论文集(下册)[C];2005年
2 雷敏;雷友殉;;一种UML到SDL转换方法的研究与应用[A];2006通信理论与技术新进展——第十一届全国青年通信学术会议论文集[C];2006年
3 ;Topologies Needed For Perfect Adaptation[A];中国自动化学会控制理论专业委员会A卷[C];2011年
4 闫凤利;高亭;闫智超;;Perfect NOT and conjugate transformations[A];第十五届全国量子光学学术报告会报告摘要集[C];2012年
5 ;A New Control Method with Perfect Tracking Control for Flight Simulator[A];Proceedings of the 2011 Chinese Control and Decision Conference(CCDC)[C];2011年
6 ;Graphene and its Supercapacitor Application[A];2011中国材料研讨会论文摘要集[C];2011年
7 RABITZ Herschel;;Perfect Information Transfer in Neighbor-coupled Spin Chains[A];第二十九届中国控制会议论文集[C];2010年
8 ;Atomic and molecular adsorption on perfect and defective Pd(100) surface[A];中国化学会第28届学术年会第13分会场摘要集[C];2012年
9 宗建建;王峰;施寅生;;UML测试剖面技术研究与进展[A];第十四届全国容错计算学术会议(CFTC'2011)论文集[C];2011年
10 吴琛;杨涛;林春梅;;UML建模分析及其在Ego365.com上的应用开发[A];第十八届全国数据库学术会议论文集(技术报告篇)[C];2001年
中国重要报纸全文数据库 前10条
1 对外经济贸易大学信息学院 曹景广;用UML实现ERP系统建模(五)[N];国际商报;2002年
2 阿航;UML面向对象分析[N];中华读书报;2002年
3 对外经济贸易大学信息学院 曹景广;用UML实现ERP系统建模(一)[N];国际商报;2002年
4 阮洁;IT企业培训如何“保鲜”[N];北京人才市场报;2005年
5 本报记者 张华甲;力破产业瓶颈 中软协培育UML建模人才[N];中国工业报;2010年
6 中国网通集团研究院 聂鑫 吴欣;需求分析 EAI成功的保证[N];通信产业报;2004年
7 本报记者 周锦鸾 刘小如;谁支撑着巨人[N];中国计算机报;2001年
8 本报记者 刘学习;软件开发过程能统一吗?[N];计算机世界;2002年
9 华市;为我国计算机软件专业教育添砖加瓦[N];中华读书报;2002年
10 上海交通大学APEX数据和知识管理实验室 王昊奋俞勇;语义Web推动下一代搜索[N];计算机世界;2007年
中国博士学位论文全文数据库 前10条
1 陈怡海;面向对象软件规格说明的构造及确认技术研究[D];上海大学;2007年
2 邓阿群;面向方面技术在大规模嵌入式软件中的应用[D];浙江大学;2007年
3 姚全珠;基于构件的软件形式化开发方法研究与应用[D];西安理工大学;2008年
4 龙慧云;基于进程代数的Web服务数据和组合的形式化方法研究[D];贵州大学;2009年
5 杨年华;模型驱动架构中的可信嵌入式软件建模与分析[D];华东理工大学;2011年
6 高晓雷;SOZRSL软件需求规格说明语言及其求精[D];上海大学;2004年
7 田精白;网络式软件非功能需求分析方法及其应用[D];武汉大学;2009年
8 杨红丽;XML家族语言语义研究[D];西北大学;2003年
9 颜炯;基于UML的软件统计测试研究[D];国防科学技术大学;2005年
10 江敏;多视点需求工程中不一致性的检测与处理[D];武汉大学;2007年
中国硕士学位论文全文数据库 前10条
1 江春;基于UML需求建模的一种形式化分析方法及其应用[D];苏州大学;2009年
2 刘瑞成;基于UML和形式化方法的面向方面实时系统模型[D];广东工业大学;2006年
3 陈卉;UML顺序图和状态图的形式化方法研究[D];南京师范大学;2008年
4 李晔;基于构件的形式化需求分析方法研究与实现[D];西安理工大学;2003年
5 赵建利;基于演化构件的形式化需求分析方法研究与应用[D];华北电力大学(河北);2005年
6 李东;城市客车信息集成控制系统需求信息处理技术研究[D];武汉理工大学;2009年
7 张志慧;UML类图转换到OWL DL本体的一种形式化方法的研究[D];东北大学;2008年
8 朱宜炳;安全协议UML模型的SPIN分析[D];南昌大学;2007年
9 刘万授;基于UML安全协议的建模和自动检测[D];华南师范大学;2005年
10 燕昊;UML建模的形式化研究[D];兰州大学;2006年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026