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

基于XYZ/E的软件体系结构描述及求精实例研究

舒明  
【摘要】:随着软件系统规模的增大,算法和数据结构已经不再是系统设 计的主导问题了。伴随着对整个系统的组织(软件体系结构)的研究 的发展,产生了许多我们亟待研究的各种问题。 不幸的是,大多数对软件体系结构的表述都是非形式化的。软 件体系结构概念经常是局限于某个特定的领域之内,很显然这将极 大的阻碍我们对软件体系结构的研究。我们需要的是一个能精确描 述一些系统的语言,甚至可以检验软件体系结构整体与各个组件之 间的一致性。更进一步的是,我们需要一个完整的体系结构描述语 言,可以从组件的性质推导出整个系统的性质。 XYZ系统是一个建立在线性时序逻辑基础上语言(TLL)XYZ/E 上的系统,并且拥有一系列的加强可靠性,可支持性,效率的工具。 作为第一个可执行的时序逻辑语言,它把时序逻辑算子融入到编程 语言当中,因此它能在统一的框架内表示程序的静态语义和动态语 义,并且支持从抽象规范到可执行程序间的逐步求精。我们以 XYZ/E为基础描述了一些常用的体系结构风格,给出了基于体系结 构风格的求精模式,并且提出了软件体系结构子风格概念。软件的 开发可以从按照特定模式互相关联的组件开始,在规范的导引之 下,实现组件的逐个求精,并且每一步都可以做形式化的验证。最 后,我们将以一个实例来展示这种方法。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 杨娟;杨丹;李博;;基于随机集证据推理的构件软件体系可靠性模型[J];系统工程理论与实践;2011年06期
2 宋波;王安军;王正树;;符合AUTOSAR规范的MCU驱动设计和实现[J];汽车零部件;2011年03期
3 张海峰;张维;;B2B数据交换系统[J];计算机应用与软件;2011年07期
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 徐鲁溪;郭聿林;;国家固定资产投资项目管理信息系统及其软件体系的设计思想[A];第十一届全国数据库学术会议论文集[C];1993年
2 陈超;方小斌;廖闻剑;;面向构件的电信BSS软件框架[A];中国通信学会第五届学术年会论文集[C];2008年
3 张侹;王璠;韩柯;;基于SPIN的变异分析方法研究[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
4 闫玉山;杨凤学;;工程测量全息电子化初探[A];2001年东北三省测绘学术与信息交流会论文集[C];2001年
5 刘其成;陈小宏;郝振江;;时移地震软件体系结构研究[A];中国地球物理学会第二十届年会论文集[C];2004年
6 李健;吕志平;李建伟;乔书波;;面向CORS的精密定位服务软件体系设计[A];计算机技术与应用进展·2007——全国第18届计算机技术与应用(CACIS)学术会议论文集[C];2007年
7 梁睿;刘林霞;张自强;;基于运行时验证的AOP程序检测框架[A];全国第20届计算机技术与应用学术会议(CACIS·2009)暨全国第1届安全关键技术与应用学术会议论文集(下册)[C];2009年
8 李密;吕钊;于晶;;无线传感网的软件设计[A];2008年中国高校通信类院系学术研讨会论文集(下册)[C];2009年
9 毛善君;;中国数字矿山的整体构架及关键技术研究[A];加入WTO和中国科技与可持续发展——挑战与机遇、责任和对策(上册)[C];2002年
10 李永明;王俭勤;郑晋光;王成青;;ARINC 608A标准的ATE[A];探索创新交流--中国航空学会青年科技论坛文集[C];2004年
中国博士学位论文全文数据库 前10条
1 朱雪阳;软件体系结构形式描述研究[D];中国科学院研究生院(软件研究所);2005年
2 张波;基于XML的分布式软件体系结构研究[D];中国科学院软件研究所;2001年
3 赵常智;基于运行时验证的软件监控关键技术研究[D];国防科学技术大学;2011年
4 秦胜君;复杂适应信息系统体系结构的研究与应用[D];大连海事大学;2011年
5 李东光;服务业离岸外包的影响因素、经济效应与中国的选择[D];吉林大学;2011年
6 王锦;基于域分析的CAPP软件体系结构[D];西北工业大学;2001年
7 蔡慧;电力电子系统集成——运动控制模块与系统集成[D];浙江大学;2008年
8 张晋津;转换系统行为近似等价性的研究[D];南京航空航天大学;2010年
9 宁垒;一种基于语义编程的端云计算协同架构研究[D];华中科技大学;2012年
10 裴科;PRSoC三层服务架构及其URAP协议研究[D];太原理工大学;2010年
中国硕士学位论文全文数据库 前10条
1 舒明;基于XYZ/E的软件体系结构描述及求精实例研究[D];中国科学院软件研究所;2001年
2 韩冰;线性时序逻辑在失业保险审计中的应用研究[D];哈尔滨工程大学;2010年
3 汪保杰;软件体系结构设计方法的研究与应用[D];湖南大学;2009年
4 张玲红;UML与ADLs在软件体系结构建模中的应用[D];苏州大学;2004年
5 崔殷;基于ARM9的智能公交控制终端设计与实现[D];武汉纺织大学;2011年
6 朱建浩;软件体系结构设计方法的研究与应用[D];武汉大学;2004年
7 肖亚军;基于CCM的软件体系结构模型研究与实现[D];南京航空航天大学;2002年
8 肖勇;基于LG芯片数模一体机软件体系应用与实现[D];海南大学;2011年
9 王保国;企业财务预警系统的计算机实现研究[D];华北电力大学(北京);2005年
10 曾丽;基于化学计量学的远程计算平台[D];四川大学;2005年
中国重要报纸全文数据库 前10条
1 申景丰;构建合乎GMP标准的软件体系不难[N];中国医药报;2003年
2 本报记者 田梦;数据库技术创新推动行业创新[N];计算机世界;2009年
3 邱垚记者 陈明喜 傅华云;国产软件体系获群体性突破[N];南昌日报;2007年
4 普元软件公司CEO 刘亚东;没有什么能挡住我们的步伐[N];中国计算机报;2006年
5 本报记者 高丽华 周蓉蓉 刘绍华;SOA商机几何?[N];计算机世界;2005年
6 本报记者 贾婧;夺回不可不争的市场份额[N];科技日报;2006年
7 ;软件业大规模敏捷定制时代将来临[N];中国高新技术产业导报;2004年
8 黄柳青;软件涅槃[N];中国计算机报;2004年
9 ;软件———中国的机会[N];通信产业报;2004年
10 朱毅;有决心就没困难[N];政府采购信息报;2009年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978