中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
基于XYZ/E的软件体系结构描述及求精实例研究

文献类型:学位论文

作者舒明
学位类别博士
答辩日期2001
授予单位中国科学院软件研究所
授予地点中国科学院软件研究所
关键词软件体系结构 软件体系结构描述语言 线性时序逻辑 风格 逐步求精
学位专业计算机软件与理论
中文摘要随着软件系统规模的增大,算法和数据结构已经不再是系统设计的主导问题了。伴随着对整个系统的组织(软件体系结构)的研究的发展,产生了许多我们亟待研究的各种问题。不幸的是,大多数对软件体系结构的表述都是非形式化的。软件体系结构概念经常是局限于某个特定的领域之内,很显然这将极大的阻碍我们对软件体系结构的研究。我们需要的是一个能精确描述一些系统的语言,甚至可以检验软件体系结构整体与各个组件之间的一致性。更进一步的是,我们需要一个完整的体系结构描述语言,可以从组件的性质推导出整个系统的性质。XYZ系统是一个建立在线性时序逻辑基础上语言(TLL)XYZ/E上的系统,并且拥有一系列的加强可靠性,可支持性,效率的工具。作为第一个可执行的时序逻辑语言,它把时序逻辑算子融入到编程语言当中,因此它能在统一的框架内表示程序的静态语义和动态语义,并且支持从抽象规范到可热行程序间的逐步求精。我们以XYZ/E为基础描述了一些常用的体系结构风格,给出了基于体系结构风格的求精模式,并且提出了软件体系结构子风格概念。软件的开发可以从按照特定模式互相关联的组件开始,在规范的导引之下,实现组件的逐个求精,并且第一步都可以做形式化的验证。最后,我们将以一个实例来展示这种方法。
语种中文
公开日期2011-03-17
页码56
源URL[http://ir.iscas.ac.cn/handle/311060/5952]  
专题软件研究所_中科院软件所_中科院软件所
推荐引用方式
GB/T 7714
舒明. 基于XYZ/E的软件体系结构描述及求精实例研究[D]. 中国科学院软件研究所. 中国科学院软件研究所. 2001.

入库方式: OAI收割

来源:软件研究所

浏览0
下载0
收藏0
其他版本

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。