基于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
其他版本
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。