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