论文题目: 基于形式语义的构件组装与演化研究
论文类型: 博士论文
论文专业: 计算机软件与理论
作者: 龚洪泉
导师: 钱乐秋
关键词: 构件技术,基于构件的软件开发,构件形式语义,构件组装,构件演化,构件静态结构,构件动态行为
文献来源: 复旦大学
发表年度: 2005
论文摘要: 基于构件的软件开发方法是软件工业化生产的现实可行途径。基于构件的软件开发,不仅能有效地提高软件生产率,缩短软件产品上市时间,抢占有利的市场先机,还能使软件产品在客户需求满意度、软件质量上领先于同类产品,提高软件项目的成功率。构件技术已成为软件产业发展的关键技术之一,推行基于构件的软件开发是当前软件生产的世界潮流。 构件的组装与演化是充分发挥构件技术优势、实现软件复用、构筑高质量软件产品的关键技术之一。但目前的构件规约缺乏形式语义信息,从而导致无法对构件的结构和行为进行属性约束,更不能对构件的功能特性进行严格的定义,这样就经常导致多个构件组装到一起后可能产生意想不到的交互结果。 形式化的构件语义有助于对构件的功能特性进行严格的规约。据此,本文在对构件的静态结构特征和动态行为特征进行深入研究的基础上,提出了一种构件的形式语义模型。并以此作为基础,对构件组装和演化的相关问题展开深入的探索和研究。具体如下: 首先,本文结合构件的静态结构特征和动态行为特征,基于谓词逻辑、集合论以及进程代数π演算,提出了一种构件的形式语义模型。它不仅能够描述构件的静态结构特征,还能够对构件的动态行为特征进行建模。 其次,基于构件组装的特点,提出了一种基于连接规约的构件组装方法,并提出了构件组装的语义规约推导算法,特别是提出了构件端口规约的推导算法和构件行为语义规约的推导算法。 第三,基于构件组装的特点,提出一种构件组装完整性、一致性和适配性的分析算法。并对构件演化方面的构件替换问题进行了讨论。 构件的形式语义建模,有助于对构件组装和演化的相关问题展开研究,从而更好地支持基于构件的软件开发方法,提高运用构件组装和演化技术生成的软件系统的质量。这些研究将有力地推动构件技术的发展,有着重要的理论意义和实用价值。
论文目录:
摘要
Abstract
第一章 绪论
1.1 研究背景
1.2 本文研究内容及意义
1.3 本文篇章结构
第二章 相关研究工作综述
2.1 构件技术简史
2.2 构件基本概念
2.3 构件描述模型
2.4 构件形式化方法
2.4.1 Z语言
2.4.2 B方法
2.4.3 PICCOLA构件组装语言
2.4.4 CHAM化学抽象机模型
2.4.5 Darwin
2.4.6 Unicon
2.4.7 Rapide
2.4.8 Wright
2.5 学术界与产业界现状
2.6 小结
第三章 构件形式语义理论基础
3.1 谓词逻辑基础
3.2 集合论基础
3.2.1 集合
3.2.2 二元关系
3.2.3 函数
3.3 Pi演算理论基础
3.3.1 Pi演算简介
3.3.2 Pi演算基本语法
3.3.3 Pi演算约简关系
3.3.4 Pi演算迁移关系
3.3.5 Pi演算行为等价理论
3.4 小结
第四章 构件形式语义模型
4.1 构件模型定义
4.2 构件头
4.3 常量部分
4.4 内部集合
4.5 变量部分
4.6 函数部分
4.7 端口部分
4.8 构件行为
4.9 内部构件
4.10 电梯例子的构件描述
4.11 小结
第五章 构件组装的语义规约推导
5.1 引言
5.2 相关研究
5.3 构件组装规约方法
5.3.1 构件组装的图形规约
5.3.2 构件组装的文本规约
5.3.2.1 内部构件的文本规约
5.3.2.2 内部构件交互的文本规约
5.4 复合构件语义规约推导
5.4.1 语义规约推导的集合定义
5.4.2 复合构件的基本信息规约推导
5.4.3 复合构件的端口规约推导
5.4.4 复合构件的行为规约推导
5.5 小结
第六章 构件组装分析与演化研究
6.1 引言
6.2 构件端口连接规约分析
6.2.1 连接规约完整性分析
6.2.2 连接规约一致性分析
6.3 构件组装适配性分析
6.4 构件演化研究
6.4.1 理论基础
6.4.2 构件演化的相关分析
6.4.2.1 端口一致性和兼容性分析
6.4.2.2 构件动态替换分析
6.5 小结
第七章 总结与展望
7.1 论文内容总结
7.2 论文主要贡献
7.3 将来研究工作
参考文献
致谢
攻读博士学位期间发表的论文
发布时间: 2005-09-19
参考文献
- [1].形式化方法在构件组装实时系统中的应用研究[D]. 席琳.郑州大学2012
- [2].网构软件系统构建的形式化分析研究[D]. 伍建焜.上海交通大学2009
- [3].模型驱动的构件化企业应用软件开发方法[D]. 孟凡超.哈尔滨工业大学2008
- [4].基于构件的软件开发关键问题研究[D]. 丁晓明.西南大学2012
- [5].基于动态行为模型的构件及组装测试的研究[D]. 李良明.南京航空航天大学2010
相关论文
- [1].网格构件的形式模型与优化策略[D]. 李阳.浙江大学2005
- [2].基于语义的软件构件匹配方法及在水利领域中应用的研究[D]. 周晓峰.河海大学2006
标签：构件技术论文; 基于构件的软件开发论文; 构件形式语义论文; 构件组装论文; 构件演化论文; 构件静态结构论文; 构件动态行为论文;