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

可视化与形式化相结合的软件体系结构描述研究

黄正宝  
【摘要】: 软件体系结构是20世纪90年代软件工程领域出现的一个新的研究方向。软件体系结构关注系统的全局组织形式,是对系统结构高层抽象的描述。研究软件体系结构的首要问题是如何描述一个软件系统的体系结构。基于此,本文通过把UML 2.0与XYZ/ADL结合起来描述软件体系结构,探索一种将可视化建模语言与形式化方法有效结合的软件体系结构描述的新途径。 本文分析和比较了当前国内外常用的软件体系结构描述方法,指出了它们各自存在的问题;分析了UML 2.0与UML 1.X相比在软件体系结构描述方面的优势,确定了用UML 2.0描述软件体系结构概念元素所使用的相关模型元素,给出了UML 2.0与XYZ/ADL在体系结构描述中的元素对应关系;提出了一种通过定义UML 2.0相关视图的XYZ/E语义,把UML 2.0与XYZ/ADL结合起来描述软件体系结构的新方法,并分别定义了UML 2.0的顺序图和状态图的XYZ/E时序逻辑语义;最后通过对一个简单的任务管理系统的体系结构进行描述,把本文提出的结合思想运用到实例系统的描述当中。 本文通过将面向对象的可视化建模语言与基于时序逻辑的形式化方法结合起来描述软件体系结构,对软件体系结构描述研究、UML形式语义研究和形式化方法在软件开发中的应用等方面都有一定的推动作用。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 吴永刚;陆慧娟;程倬;陈江;;基于时间自动机的实时系统建模及验证[J];计算机时代;2011年06期
2 ;[J];;年期
3 ;[J];;年期
4 ;[J];;年期
5 ;[J];;年期
6 ;[J];;年期
7 ;[J];;年期
8 ;[J];;年期
9 ;[J];;年期
10 ;[J];;年期
11 ;[J];;年期
12 ;[J];;年期
13 ;[J];;年期
14 ;[J];;年期
15 ;[J];;年期
16 ;[J];;年期
17 ;[J];;年期
18 ;[J];;年期
19 ;[J];;年期
20 ;[J];;年期
中国重要会议论文全文数据库 前10条
1 黄正宝;张广泉;;一种基于时序逻辑的UML 2.0形式化语义[A];2006年全国理论计算机科学学术年会论文集[C];2006年
2 冯荷飞;曹子宁;;交错时序认知逻辑在安全协议中的应用[A];逻辑学及其应用研究——第四届全国逻辑系统、智能科学与信息科学学术会议论文集[C];2008年
3 郭华;庄雷;;电子商务协议的形式化验证方法及FR验证实例[A];2005年全国理论计算机科学学术年会论文集[C];2005年
4 杜高明;张多利;高明伦;耿罗锋;候宁;;多核并行图像显示接口设计[A];2008’“先进集成技术”院士论坛暨第二届仪表、自动化与先进集成技术大会论文集[C];2008年
5 吴彪;朱立新;赵佳;;基于CPLD的可编程并行接口芯片8255设计与仿真[A];系统仿真技术及其应用(第7卷)——'2005系统仿真技术及其应用学术交流会论文选编[C];2005年
6 高静;曹子宁;;基于空间逻辑和计算树逻辑的模型检测[A];2009年中国高校通信类院系学术研讨会论文集[C];2009年
7 孙守卿;李廉;章超;李彩虹;;基于模型检测工具SPIN的安全协议形式化分析[A];2005年全国理论计算机科学学术年会论文集[C];2005年
8 文静华;张梅;张焕国;;电子支付协议的博弈逻辑模型与形式化分析[A];2007年全国开放式分布与并行计算机学术会议论文集(上册)[C];2007年
9 赵相福;欧阳丹彤;;动态系统基于模型诊断的研究进展与展望[A];第七届青年学术会议论文集[C];2005年
10 王冬蕾;翟正军;姜红梅;马捷中;;基于FPGA的MⅢ总线接口仿真板的设计与实现[A];全国第二届嵌入式技术联合学术会议论文集[C];2007年
中国博士学位论文全文数据库 前10条
1 田聪;命题投影时序逻辑的判定性、复杂性、表达性及模型检测[D];西安电子科技大学;2010年
2 舒新峰;投影时序逻辑的完备公理系统与形式验证[D];西安电子科技大学;2010年
3 杨琛;打结不变的命题投影时序逻辑与模型检测[D];西安电子科技大学;2010年
4 万良;基于行为时序逻辑TLA的系统、规则与协议检测的研究[D];贵州大学;2009年
5 李广元;LTLC:面向实时与混成系统的连续时序逻辑[D];中国科学院软件研究所;2001年
6 陈冬火;超协调时序逻辑及其模型检测方法[D];中国科学院研究生院(成都计算机应用研究所);2006年
7 张海宾;混合系统的形式化验证[D];西安电子科技大学;2007年
8 龙士工;串空间理论及其在安全协议分析中的应用研究[D];贵州大学;2007年
9 李杰;低功耗内建自测试(BIST)设计技术的研究[D];东南大学;2004年
10 尹全军;基于多Agent的计算机生成兵力建模与仿真[D];国防科学技术大学;2005年
中国硕士学位论文全文数据库 前10条
1 黄正宝;可视化与形式化相结合的软件体系结构描述研究[D];苏州大学;2006年
2 杨琳琳;基于时序逻辑的安全协议验证方法的研究[D];南京航空航天大学;2010年
3 陈琳琳;软件体系结构描述语言XYZ/ADL与UML的转换机制研究[D];苏州大学;2006年
4 费丽娟;构件组装中“特征干扰问题”的时序逻辑检测方法研究[D];华中师范大学;2004年
5 尹红丽;基于时序逻辑的协商公理体系多Agent系统的形式化模型[D];云南师范大学;2004年
6 伍晓敏;基于VSK-t逻辑的Agent形式化模型[D];云南师范大学;2004年
7 王帆;基于UML的形式化规范说明研究[D];天津大学;2004年
8 黎吾平;模型检测在软件方面的应用[D];吉林大学;2008年
9 李根;基于SPIN的命题投影时序逻辑模型检查[D];西安电子科技大学;2008年
10 董护斌;面向实时系统的实时区域时态逻辑:RRTL[D];西北大学;2002年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978