收藏本站
《中国科学院研究生院(软件研究所)》 2005年
收藏 | 手机打开
二维码
手机客户端打开本文

软件体系结构形式描述研究

朱雪阳  
【摘要】:体系结构设计在软件开发整个过程中扮演着重要角色。工程中常用直观、半形式化的图形建模的方法对软件体系结构进行描述,但这些建模语言的缺点是语义不够精确,难以对它们所表示的模型进行分析,这一点上形式化方法可与之互补。如何结合二者之长以提高软件的可靠性,是工业界和学术界共同关心的问题。 为此,我们提出了双重软件体系结构描述框架XYZ/ADL:支持工程中关于软件体系结构的基本概念,前端用一般的体系结构框图作为结构描述,抽象行为用UML活动图、状态图表示,以便于软件工程师的使用和交流;后端用时序逻辑语言XYZ/E作为一致的语义基础,以支持进一步的形式化分析验证。 本文主要贡献在于: ◆ 结合体系结构框图、UML活动图、状态图等图形语言和时序逻辑语言XYZ/E作为双重软件体系结构描述框架。该框架包括一套完整的图形语言,并以一套完整的形式化文本语言(XYZ/E的扩充)作为语义支持。 ◆ 用XYZ/E作为软件体系结构各部分的语义基础;对XYZ/E进行扩充,在语言上提供对软件体系结构基本概念的显式支持,并对扩充部分给予严格的形式定义,使XYZ/ADL具备广泛认可的软件体系结构描述语言的特征。 ◆ 定义UML活动图、状态图的时序逻辑语义。使得它们不仅在我们的描述框架下,具有严格的语义,而且由于UML活动图、状态图可用于软件开发的其它阶段,这一语义定义也有益于对其它阶段模型进行形式化分析验证。
【学位授予单位】:中国科学院研究生院(软件研究所)
【学位级别】:博士
【学位授予年份】:2005
【分类号】:TP311.52

手机知网App
【引证文献】
中国期刊全文数据库 前7条
1 魏慧;;基于XYZ/ADL的BPEL4WS Web服务组合描述方法[J];电脑知识与技术;2010年29期
2 黄正宝;张广泉;;UML 2.0顺序图的XYZ/E时序逻辑语义研究[J];计算机科学;2006年08期
3 杨敬中;张广泉;戎玫;;UML2.0类图的一种形式化描述方法[J];计算机科学;2007年02期
4 张广泉;戎玫;陈琳琳;;UML与软件体系结构描述语言之间的转换机制研究[J];计算机科学;2007年06期
5 陈琳琳;戎玫;张广泉;;体系结构描述语言XYZ/ADL到UML的映射[J];计算机应用;2006年02期
6 陈琳琳;张广泉;;XYZ/ADL到UML的一种映射方法[J];苏州大学学报(自然科学版);2006年01期
7 钟金琴;辜丽川;张友华;朱诚;;设计模式的一种形式化描述方法[J];微电子学与计算机;2009年06期
中国博士学位论文全文数据库 前4条
1 陈晓江;分布式系统软件体系结构建模与开发方法研究[D];西北大学;2010年
2 张友生;基于代数理论的软件体系结构描述及软件演化方法研究[D];中南大学;2007年
3 赵也非;动态UML子图的形式语义研究[D];华东师范大学;2010年
4 彭君;领域软件开发中体系结构元模型及模型转换方法研究[D];吉林大学;2010年
中国硕士学位论文全文数据库 前10条
1 梁毅;基于Web Service的公交智能查询系统[D];天津理工大学;2010年
2 张鹏飞;基于投影时序逻辑的片上系统形式化描述和验证[D];西安电子科技大学;2006年
3 黄正宝;可视化与形式化相结合的软件体系结构描述研究[D];苏州大学;2006年
4 陈琳琳;软件体系结构描述语言XYZ/ADL与UML的转换机制研究[D];苏州大学;2006年
5 朱梅霞;基于XYZ/E的UML2.0顺序图的时序逻辑语义描述研究[D];青岛大学;2007年
6 杨敬中;基于软件体系结构的面向方面建模研究[D];苏州大学;2007年
7 魏慧;基于软件体系结构的Web服务组合研究[D];苏州大学;2008年
8 吴博;基于时间通信顺序进程的实时软件体系结构描述语言研究[D];南京航空航天大学;2009年
9 仲巍;基于应用集成的软件开发技术研究与实践[D];华东理工大学;2010年
10 王明宇;森工中考招生系统关键技术研究[D];哈尔滨工程大学;2012年
【参考文献】
中国期刊全文数据库 前10条
1 焦文品,史忠植;用XYZ/E形式化体系结构风格[J];软件学报;2000年03期
2 闫安,唐稚松;在 XYZ/ E中实现混成实时系统——蒸气锅炉控制问题的解决(英文)[J];软件学报;2000年06期
3 骆华俊,唐稚松,郑建丹;可视化体系结构描述语言XYZ/ADL[J];软件学报;2000年08期
4 李广元,唐稚松;基于线性时序逻辑的实时系统模型检查[J];软件学报;2002年02期
5 郭亮,唐稚松;基于XYZ/E描述和验证容错系统[J];软件学报;2002年05期
6 蒋慧,谢希仁,林东;UML状态机的形式语义[J];软件学报;2002年12期
7 郭亮,唐稚松;XYZ/E面向对象程序语义概述[J];软件学报;2003年03期
8 董威,王戟,齐治昌;UMLStatecharts的模型检验方法[J];软件学报;2003年04期
9 柳军飞,唐稚松;软件过程建模语言研究[J];软件学报;1996年08期
10 周莹新,艾波;软件体系结构建模研究[J];软件学报;1998年11期
中国硕士学位论文全文数据库 前2条
1 郑建丹;基于组件的逐步求精程序设计方法[D];中国科学院软件研究所;2001年
2 舒明;基于XYZ/E的软件体系结构描述及求精实例研究[D];中国科学院软件研究所;2001年
【共引文献】
中国期刊全文数据库 前10条
1 王庆生,曹健,刘维平;一个基于模糊综合评判规则的干部评测系统[J];安徽大学学报(自然科学版);2002年03期
2 吴晓琴;浅析面向对象程序设计特点[J];安徽大学学报(自然科学版);2002年03期
3 朱旭东;软件过程与CMM[J];安徽大学学报(自然科学版);2003年02期
4 王一宾,韩承双;计算机体系结构与软件体系结构[J];安徽建筑工业学院学报(自然科学版);2005年01期
5 刘全金,张杰,徐英勋;“物理实验数据处理系统”的实现[J];安庆师范学院学报(自然科学版);2000年04期
6 叶彩虹;软件可靠性的理解[J];安庆师范学院学报(自然科学版);2002年03期
7 王一宾,江唯青;软件体系结构初探[J];安庆师范学院学报(自然科学版);2003年04期
8 付守国;环保监测系统前台应用软件的开发[J];鞍山钢铁学院学报;2001年05期
9 李良俊,徐然;软件复用技术的理论与应用[J];鞍山师范学院学报;2003年06期
10 李维涛;;面向对象程序设计思想在基坑设计中的应用[J];地下空间与工程学报;2006年04期
中国重要会议论文全文数据库 前8条
1 杨永红;;基于VB.NET和ACESS2002的合同管理系统[A];重庆市测绘学会第三届优秀论文评选获奖论文暨2005-2006年度学术交流会论文选编[C];2008年
2 李必通;;探讨软件测试过程模型[A];2007北京地区高校研究生学术交流会通信与信息技术会议论文集(上册)[C];2008年
3 李华;;信息处理系统软件可靠性设计的研究[A];第十一届全国可靠性物理学术讨论会论文集[C];2005年
4 陈冬梅;王忠群;;基于UML的动态工作流过程建模的研究[A];全国第19届计算机技术与应用(CACIS)学术会议论文集(上册)[C];2008年
5 杨志勇;郑敏;;语音告警平台在新一代国内通信系统中的应用[A];第28届中国气象学会年会——S1第四届气象综合探测技术研讨会[C];2011年
6 柳永坡;晏海华;张懋;刘雪梅;;测试流程管理与监控技术的研究与实现[A];第五届中国测试学术会议论文集[C];2008年
7 王会霞;赵新俊;王行仁;;基于HLA的计算机生成兵力仿真框架研究[A];二○○一年中国系统仿真学会学术年会论文集[C];2001年
8 姚丹霖;殷建平;;大型汉英双语电子词典的结构与自动生成[A];数据库研究进展97——第十四届全国数据库学术会议论文集(下)[C];1997年
中国博士学位论文全文数据库 前10条
1 殷昱煜;面向服务的软件动态配置技术研究[D];浙江大学;2010年
2 张晶;面向钢铁质量过程控制的分布式并行软件框架模型研究[D];昆明理工大学;2009年
3 吴新星;基于语言的软件可信性度量理论及其应用[D];华东师范大学;2011年
4 赵振南;联合作战信息系统体系结构若干关键技术研究[D];南京理工大学;2010年
5 朱维军;时间区间时序逻辑模型检测:理论、算法及应用[D];西安电子科技大学;2011年
6 代飞;基于EPMM的软件演化过程模型验证[D];云南大学;2011年
7 邢建英;程序验证关键技术研究[D];国防科学技术大学;2011年
8 陈晓江;分布式系统软件体系结构建模与开发方法研究[D];西北大学;2010年
9 曾颖;基于抽象解释的软件保护相关问题研究[D];解放军信息工程大学;2011年
10 席琳;形式化方法在构件组装实时系统中的应用研究[D];郑州大学;2012年
中国硕士学位论文全文数据库 前10条
1 尹传龙;实时模型检测中精确加速的研究[D];郑州大学;2010年
2 韩冰;线性时序逻辑在失业保险审计中的应用研究[D];哈尔滨工程大学;2010年
3 周翔;银行全面合规管理系统设计与开发[D];华东师范大学;2010年
4 崔康乐;UML时序图模型到UPPAAL时间自动机模型转换方法研究和工具实现[D];华东师范大学;2011年
5 朱艳;基于UML大型制造业企业MES系统建模[D];华东师范大学;2010年
6 喻瑗;基于J2EE的电信计费系统业务受理模块的设计与开发[D];南昌大学;2010年
7 张庆新;基于xUML的列控系统需求规范验证方法研究[D];北京交通大学;2011年
8 贺转峡;基于JAVA的CMS的企业网站的设计与实现[D];电子科技大学;2010年
9 罗正生;实验室管理信息系统的设计和实现[D];电子科技大学;2010年
10 田立;软件过程建模及驱动技术研究[D];解放军信息工程大学;2010年
【同被引文献】
中国期刊全文数据库 前10条
1 王亚明;郭峰;向阳霞;;软件复用技术及其开发方法[J];北京广播电视大学学报;2007年02期
2 刘冬云,梅宏;从需求到软件体系结构:一种面向特征的映射方法[J];北京大学学报(自然科学版);2004年03期
3 刘伯超,马晓轩,葛声,怀进鹏;基于Web服务的软件服务体系结构的研究与实现[J];北京航空航天大学学报;2004年03期
4 赵晓明;谭浩;;基于Petri网的BPEL4WS模型的分析[J];成都信息工程学院学报;2006年04期
5 张广泉,刘剑云,黄正宝;基于XYZ/E的CA系统体系结构描述[J];重庆师范大学学报(自然科学版);2005年03期
6 王广奇;张宇;于戈;;基于Web Service的可伸缩工作流管理系统e_Scope Work[J];东北大学学报(自然科学版);2007年02期
7 金朝光,林焰,纪卓尚;基于模糊集理论事件树分析方法在风险分析中应用[J];大连理工大学学报;2003年01期
8 杨新苗,王炜,马文腾;基于GIS的公交乘客出行路径选择模型[J];东南大学学报(自然科学版);2000年06期
9 张世琨,王立福,常欣,杨芙清;基于层次消息总线的软件体系结构描述语言[J];电子学报;2001年05期
10 赵文耘,张志;基于XML的构架描述语言XBA的研究[J];电子学报;2002年S1期
中国博士学位论文全文数据库 前10条
1 于卫;软件体系结构与软件重用方法的研究[D];西安电子科技大学;1999年
2 张波;基于XML的分布式软件体系结构研究[D];中国科学院软件研究所;2001年
3 王广昌;软件产品线关键方法与技术研究[D];浙江大学;2001年
4 任洪敏;基于π演算的软件体系结构形式化研究[D];复旦大学;2003年
5 王维维;数字系统形式设计的理论与方法研究[D];浙江大学;2004年
6 洪云;大坝安全管理关键技术研究[D];河海大学;2005年
7 古幼鹏;嵌入式实时软件的构件化开发技术研究[D];电子科技大学;2005年
8 刘静;基于形式规格说明的统一软件建模系统的研究[D];上海大学;2005年
9 李长云;基于体系结构的软件动态演化研究[D];浙江大学;2005年
10 蒋哲远;基于Web服务的特定领域软件体系结构及其关键技术研究[D];合肥工业大学;2006年
中国硕士学位论文全文数据库 前10条
1 石坤;CTCS-2列控中心自动化测试平台的研究与实现[D];北京交通大学;2010年
2 高昊;基于混合算法的研究生招生考试考场座位编排系统研究及应用[D];中南大学;2011年
3 舒明;基于XYZ/E的软件体系结构描述及求精实例研究[D];中国科学院软件研究所;2001年
4 康其桔;基于Web服务的电子政务综合平台系统设计[D];南京理工大学;2003年
5 周红;大坝运行风险评价方法研究[D];河海大学;2004年
6 嵇海明;基于构件的开发方法及其支撑工具的研究[D];华东师范大学;2004年
7 张玲红;UML与ADLs在软件体系结构建模中的应用[D];苏州大学;2004年
8 张晓敏;基于体系结构的软件系统族开发方法研究[D];华中科技大学;2004年
9 陈刚;Web Services的企业应用集成技术研究[D];河海大学;2005年
10 祝义;基于UML和Z的软件体系结构求精方法及其应用[D];苏州大学;2005年
【二级引证文献】
中国期刊全文数据库 前10条
1 徐省华;;设计模式在政府采购系统中的应用[J];广东技术师范学院学报;2012年06期
2 曹晓龙;李华;;基于SystemC的51单片机程序设计仿真环境构建[J];计算机光盘软件与应用;2012年18期
3 肖岗;;基于OOZS的UML类图形式化描述及其应用[J];重庆师范大学学报(自然科学版);2013年01期
4 杨敬中;张广泉;戎玫;;UML2.0类图的一种形式化描述方法[J];计算机科学;2007年02期
5 张广泉;戎玫;陈琳琳;;UML与软件体系结构描述语言之间的转换机制研究[J];计算机科学;2007年06期
6 刘福军;孟晨;王成;孙香冰;汤宫民;焦现炜;;面向服务的ATS软件平台体系结构研究[J];计算机工程;2012年12期
7 曾一;王健;洪媛;周欣;蔡森虎;;一种支持MDA的UML类图到RDB模型的转换方法[J];计算机工程与科学;2010年04期
8 葛君伟;何勇;;基于UML扩展的面向方面建模[J];计算机应用研究;2008年10期
9 史玉珍;李波;;一种面向方面的UML建模方法研究[J];计算机测量与控制;2009年12期
10 黄正宝;;UML 2.0状态图的XYZ/E时序逻辑语义研究[J];科技信息(科学教研);2008年23期
中国重要会议论文全文数据库 前1条
1 黄正宝;张广泉;;一种基于时序逻辑的UML 2.0形式化语义[A];2006年全国理论计算机科学学术年会论文集[C];2006年
中国博士学位论文全文数据库 前5条
1 卢雷;基于OOCPN的软件可执行模型建模方法的研究[D];山东大学;2011年
2 朱勇;基于SoC的实时红外图像高速通道设计与研究[D];华中科技大学;2007年
3 王小兵;面向对象MSVL语言及其在组合Web服务验证中的应用[D];西安电子科技大学;2009年
4 江涛;特定领域元建模语言的形式化及其模型一致性验证研究[D];云南大学;2010年
5 张涛;复杂信息系统模型的形式化验证方法研究[D];哈尔滨工程大学;2012年
中国硕士学位论文全文数据库 前10条
1 杨鑫钊;PPTL模型检查工具的实现与应用[D];西安电子科技大学;2009年
2 刘向东;基于J2EE的数字化校园应用框架研究与应用[D];中南大学;2011年
3 张萌;基于OSGi的领域内框架扩展方法研究及应用[D];哈尔滨工程大学;2011年
4 刘长林;面向方面软件体系结构设计方法与描述机制研究[D];苏州大学;2011年
5 姜诚;嵌入式网络视频检测技术的研究与实现[D];南京邮电大学;2012年
6 黄力;SoS中框架方法的形式化研究[D];南京邮电大学;2012年
7 杨美荣;基于ACXML的应用层软构件生成器的研究与设计[D];哈尔滨工业大学;2006年
8 王友;基于Event-B的软件形式化需求获取方法研究[D];重庆师范大学;2007年
9 杨敬中;基于软件体系结构的面向方面建模研究[D];苏州大学;2007年
10 孟静;基于统一过程的UML-B系统转换技术的研究[D];扬州大学;2008年
【二级参考文献】
中国期刊全文数据库 前4条
1 闫安 ,唐稚松;A unified linear-time temporal logic solution to the steam-boiler control specification problem[J];Science in China(Series E:Technological Sciences);1999年03期
2 李广元,唐稚松;带有时钟变量的线性时序逻辑与实时系统验证[J];软件学报;2002年01期
3 唐稚松,赵琛;一种面向软件工程的时序逻辑语言[J];软件学报;1994年12期
4 周莹新,艾波;软件体系结构建模研究[J];软件学报;1998年11期
中国博士学位论文全文数据库 前1条
1 李广元;LTLC:面向实时与混成系统的连续时序逻辑[D];中国科学院软件研究所;2001年
【相似文献】
中国期刊全文数据库 前10条
1 方莉英;;新一代网络技术系统下软件技术的发展趋势[J];教育信息化;2005年15期
2 王涛;杨娟;邹杰;;基于随机集贝叶斯网络的构件软件体系可靠性模型研究[J];西南师范大学学报(自然科学版);2009年04期
3 苟仲文;;合作 分享 交流 共赢 促进开源大发展[J];信息系统工程;2006年09期
4 ;用友新一代财务及企业管理软件体系──UFERP[J];会计之友;1999年01期
5 ;CAPS-Sun软件体系的擎天柱[J];中国计算机用户;2006年Z1期
6 王一宾,李心科;软件体系结构设计方法的研究[J];计算机工程与设计;2005年03期
7 钱世樑;;电视连续剧结构形式浅谈[J];现代传播;1986年03期
8 杨畅;葛冬梅;;中国IT核心技术(软件体系、集成电路)的发展[J];黑龙江科技信息;2004年09期
9 吴坤;蔡金燕;韩春辉;;基于ATML标准的UUT信号信息标准化描述研究[J];信息技术;2011年02期
10 郑雪松;;试析中国IT核心技术——软件体系的发展展望[J];价值工程;2010年24期
中国重要会议论文全文数据库 前10条
1 徐鲁溪;郭聿林;;国家固定资产投资项目管理信息系统及其软件体系的设计思想[A];第十一届全国数据库学术会议论文集[C];1993年
2 宫赫;张明;;一种用于预测小梁骨结构形式的骨重建过程计算模型[A];第八届全国生物力学学术会议论文集[C];2006年
3 陈超;方小斌;廖闻剑;;面向构件的电信BSS软件框架[A];中国通信学会第五届学术年会论文集[C];2008年
4 虞家祥;;转子式混凝土喷射机结构与性能分析[A];煤矿安全、高效、洁净开采——机电一体化新技术学术会议论文集[C];2009年
5 李红;刘孟;陈超;;微喷头及大射程微喷头的研究与开发[A];农业机械化与新农村建设——中国农业机械学会2006年学术年会论文集(上册)[C];2006年
6 杨海明;陈恒良;杜文飞;;两种结构形式的节流制冷器分析[A];第八届全国低温工程大会暨中国航天低温专业信息网2007年度学术交流会论文集[C];2007年
7 尚琦;王永跃;李志萍;;大跨度空间结构与城市建设的发展[A];第五届全国现代结构工程学术研讨会论文集[C];2005年
8 闫玉山;杨凤学;;工程测量全息电子化初探[A];2001年东北三省测绘学术与信息交流会论文集[C];2001年
9 周德新;;模糊神经网络控制器结构形式的分析[A];1996年中国智能自动化学术会议论文集(上册)[C];1996年
10 牛斌;;中国高速铁路桥梁综述[A];第十八届全国桥梁学术会议论文集(上册)[C];2008年
中国重要报纸全文数据库 前10条
1 申景丰;构建合乎GMP标准的软件体系不难[N];中国医药报;2003年
2 周平;国家的结构形式[N];云南日报;2001年
3 本报记者 田梦;数据库技术创新推动行业创新[N];计算机世界;2009年
4 邱垚记者 陈明喜 傅华云;国产软件体系获群体性突破[N];南昌日报;2007年
5 耿纯;音响的结构形式[N];音乐周报;2001年
6 普元软件公司CEO 刘亚东;没有什么能挡住我们的步伐[N];中国计算机报;2006年
7 本报记者 高丽华 周蓉蓉 刘绍华;SOA商机几何?[N];计算机世界;2005年
8 本报记者 贾婧;夺回不可不争的市场份额[N];科技日报;2006年
9 ;软件业大规模敏捷定制时代将来临[N];中国高新技术产业导报;2004年
10 董仲平;大袋包装机的结构形式及应用[N];中国建材报;2006年
中国博士学位论文全文数据库 前10条
1 朱雪阳;软件体系结构形式描述研究[D];中国科学院研究生院(软件研究所);2005年
2 李勇;大跨度钢—混凝土组合桥梁空间理论与应用研究[D];华中科技大学;2011年
3 张波;基于XML的分布式软件体系结构研究[D];中国科学院软件研究所;2001年
4 陈鸿铎;利盖蒂结构思维研究[D];上海音乐学院;2005年
5 高庆辉;结构的关联[D];东南大学;2006年
6 解植永;中古汉语判断句研究[D];四川大学;2007年
7 田广宇;车辐式张拉结构设计理论与施工控制关键技术研究[D];清华大学;2012年
8 牛胜鸟;病毒基因介导的抗性机制及抗病毒转基因西瓜的研究[D];中国农业大学;2004年
9 杨君;专用指令集处理器(ASIP)体系结构设计研究[D];中国科学技术大学;2006年
10 秦胜君;复杂适应信息系统体系结构的研究与应用[D];大连海事大学;2011年
中国硕士学位论文全文数据库 前10条
1 刘长林;面向方面软件体系结构设计方法与描述机制研究[D];苏州大学;2011年
2 汪保杰;软件体系结构设计方法的研究与应用[D];湖南大学;2009年
3 舒明;基于XYZ/E的软件体系结构描述及求精实例研究[D];中国科学院软件研究所;2001年
4 王涛;面向服务实体的网构软件演化模型的研究[D];哈尔滨工程大学;2011年
5 马健勋;软件电话的设计与实现[D];电子科技大学;2011年
6 李青;翻译规范与林纾的翻译[D];苏州大学;2008年
7 张玲红;UML与ADLs在软件体系结构建模中的应用[D];苏州大学;2004年
8 崔殷;基于ARM9的智能公交控制终端设计与实现[D];武汉纺织大学;2011年
9 朱建浩;软件体系结构设计方法的研究与应用[D];武汉大学;2004年
10 张乃对;单位犯罪主体问题研究[D];中国政法大学;2006年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026