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

基于UML和Z的软件体系结构求精方法及其应用

祝义  
【摘要】:软件体系结构是20 世纪90 年代国际软件工程领域出现的一个研究热点。软件体系结构着眼于软件系统的全局组织形式,是对系统高层抽象的描述。对于大型软件系统而言,软件体系结构的设计已经成为系统成功的关键因素。 对于规模和复杂性均不断增大的大型软件系统,在对软件体系结构进行抽象描述之后,一个十分重要的工作就是如何将其分层细化、逐层求精,形成具体的可实现的软件体系结构,即所谓的软件体系结构求精。 UML 自从1995 年被提出后,作为一种体系结构建模语言,它提供了一整套描述软件系统模型的概念和图形表示法。然而,UML 缺乏准确的形式化语义,多视角建模视图之间也存在不一致性,这使得对模型难以进行一致性检查和正确性分析,进而限制了它的有效性,所以UML 有必要在形式化方面进行拓展。 本文探讨了如何将可视化建模语言UML 和形式化方法Z 集成而得到一种新的求精方法,寻求一种在软件体系结构求精过程中UML 到Z 映射与转换机制,为今后软件体系结构的求精方法提供一点经验和思路。 本文的研究结果说明:UML 与Z 结合可以得到一种新的求精方法,这种求精方法不仅能够在一定程度上提高软件的一致性和可靠性,而且可以在实际应用中推广使用。
【学位授予单位】:苏州大学
【学位级别】:硕士
【学位授予年份】:2005
【分类号】:TP311.52

手机知网App
【相似文献】
中国期刊全文数据库 前10条
1 刘兵良;朱小军;;对软件体系结构的一些探讨[J];信息与电脑(理论版);2011年07期
2 范冰冰;;通用网络攻击平台研究和应用[J];保密科学技术;2010年03期
3 郭天娇;;关于软件体系结构课程改进教学模式的研究与探讨[J];才智;2011年16期
4 王伟伟;;软件体系结构模式探析[J];科技传播;2011年14期
5 张海攀;杨佳;;人事信息系统软件体系结构设计关键技术研究[J];电脑知识与技术;2011年22期
6 汪凤兰;;软件体系结构初探[J];计算机时代;2011年08期
7 李鸿;;粒的形式化表示研究[J];宿州学院学报;2011年05期
8 黄涛;贾涛;张志勇;;一种基于角色-活动的工作流系统访问控制模型[J];网络安全技术与应用;2011年07期
9 王勇;卢桂馥;王忠群;;基于软件体系结构的构件可迁移系统容错研究[J];长春大学学报;2011年08期
10 赵宏伟;秦昌明;;基于B/S 3层体系结构的软件设计方法研究[J];实验室研究与探索;2011年07期
中国重要会议论文全文数据库 前10条
1 蔡庆生;李凡长;徐金辉;;Fuzzy数学在知识量化形式化推理中的几点应用[A];复杂巨系统理论·方法·应用——中国系统工程学会第八届学术年会论文集[C];1994年
2 张玲;陈东义;陈霸东;韩露;马福齐;;可穿戴计算机软件体系结构综述[A];第一届中国情感计算及智能交互学术会议论文集[C];2003年
3 蒋心晓;李新星;;基于分布智能的防空指挥系统软件体系结构[A];'2010系统仿真技术及其应用学术会议论文集[C];2010年
4 李晖;张慧;赵海;蔡巍;;软件网络中的簇度相关性及演化分析[A];第八届沈阳科学学术年会论文集[C];2011年
5 陈于平;刘畅;伍星;迟毅林;;转子故障智能诊断系统的软件体系结构研究[A];第十二届全国设备故障诊断学术会议论文集[C];2010年
6 杨娟;张雷;王柏;艾波;;新一代电信业务支撑系统软件体系结构的研究[A];2003年通信软件技术学术年会论文集[C];2003年
7 戴学臻;赵勇;陈君;;B/S与C/S多层混合软件体系结构在公路信息管理系统中的应用[A];第十四届全国煤矿自动化学术年会暨中国煤炭学会自动化专业委员会学术会议论文集[C];2004年
8 杨娟;王柏;艾波;;新一代电信运营支撑系统软件体系结构的形式化描述[A];’2004计算机应用技术交流会议论文集[C];2004年
9 柳刘;金培权;周英华;岳丽华;;一种可重用和可重构的ERTDBS软件体系结构[A];第二十一届中国数据库学术会议论文集(技术报告篇)[C];2004年
10 李文军;阳春华;;起动机性能测试系统体系结构设计及组件开发[A];04'中国企业自动化和信息化建设论坛暨中南六省区自动化学会学术年会专辑[C];2004年
中国重要报纸全文数据库 前10条
1 周一文;年终检查力戒形式化[N];巴音郭楞日报;2010年
2 江苏省中兴药业有限公司董事长 章之俊;药企应走出质量管理形式化误区[N];中国医药报;2011年
3 赵磊;落实安全制度莫搞形式化[N];人民铁道;2011年
4 向志柱;匿名审稿制形式化思考[N];中国审计报;2003年
5 湖南省双牌县人民法院院长 傅芳萍;推进三项重点工作须防止形式化[N];人民法院报;2010年
6 中国政法大学政治与公共管理学院 王冬芳;市长信访联络员制度应避免形式化[N];中国社会报;2008年
7 本报评论员 张刃;年终考评形式化虚假化歪风当刹[N];工人日报;2006年
8 王知遇;从设计模式到体系结构模式[N];中华读书报;2003年
9 杨曾宪;质疑高考改革的形式化趋势[N];发展导报;2002年
10 里冰;学生军训亟待走出形式化误区[N];中国改革报;2005年
中国博士学位论文全文数据库 前10条
1 杨春花;软件体系结构中状态方面的编织研究[D];山东大学;2010年
2 任洪敏;基于π演算的软件体系结构形式化研究[D];复旦大学;2003年
3 吴克寿;基于公理设计的软件体系结构构建方法研究[D];华中科技大学;2011年
4 李长云;基于体系结构的软件动态演化研究[D];浙江大学;2005年
5 于江涛;多智能体模型、学习和协作研究与应用[D];浙江大学;2003年
6 张友生;基于代数理论的软件体系结构描述及软件演化方法研究[D];中南大学;2007年
7 郑志;动态软件体系结构建模与模型验证方法的研究[D];大连理工大学;2010年
8 李晓红;面向快速开发的智能AGENT关键技术研究[D];天津大学;2005年
9 于卫;软件体系结构与软件重用方法的研究[D];西安电子科技大学;1999年
10 杨捷;安全软件体系结构的形式化方法研究[D];武汉大学;2004年
中国硕士学位论文全文数据库 前10条
1 丁湘陵;基于B方法的软件体系结构描述语言的精化研究[D];湖南师范大学;2006年
2 祝义;基于UML和Z的软件体系结构求精方法及其应用[D];苏州大学;2005年
3 李凯;基于规则的软件体系结构研究[D];天津大学;2007年
4 蒋明;基于WEB的机械设备远程状态监测系统研究[D];昆明理工大学;2009年
5 徐宏兴;插件体系结构软件开发方法研究[D];四川大学;2005年
6 陆文佳;基于SA理论的代码自动生成技术实现和应用[D];复旦大学;2009年
7 孙学军;分布式对象技术在Web应用中的研究[D];西安科技大学;2003年
8 杨磊;基于科学数据共享网的软件体系结构及其质量属性的研究[D];北京工业大学;2005年
9 廖立君;基于EGSA的ADL研究及其开发工具的设计[D];中南大学;2004年
10 郗梦奕;面向软件外包的客户关系管理系统的设计与开发[D];天津大学;2010年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026