软件构架驱动的分布式系统开发方法与支持工具研究

摘要

本研究以陕西省教育厅重大产业化项目(编号01zc26)为背景完成，该项目已于2004年12月通过验收，专家认为项目总体上达到国内先进水平，在将形式化方法与可视化结合用于分布式软件构架建模方面的研究成果具有创新性。首先分析了SA和CBSD现状及所存在的问题，然后对构架指导的基于构件组装的分布式系统开发做了如下三个方面研究工作： 1.提出了一种以构架为指导，面向构件组装的软件开发方法，把构架自顶向下的指导和自底向上基于构件的组装结合起来，将构架指导引入软件开发的各个阶段，缩小从系统高层设计到软件实现的00设计之间的距离。 2.设计了从构架描述语言ADEAG到UML的求精规则，将SA信息映射为00设计阶段的表示，使构件实现与组装保持上层构架的结构和约束特性。并实现了转换支持工具A2U，以保证转换的正确性和效率。 3.提出了“图形-＞本体-＞π演算-＞Dicide(FSP)”的可视化构件交互设计解决方法，通过定义基本交互元素和组合规则的本体为图形设计提供语义支持，本体后端有对应的π演算描述，通过本体组合，生成关于交互的π演算描述；并通过LTS，将交互协议的π演算描述转化为FSP描述进行有效方便的验证。

目录

文摘

英文文摘

西北大学学位论文知识产权声明书和独创性声明

第一章引言

1.1研究背景与意义

1.2研究内容

1.3论文结构

第二章软件构架与构件技术

2.1复用的构件技术

2.2构件与面向对象的中间件平台系统

2.3软件构架

2.3.1软件构架的起源

2.3.2构架的关注点和重要性

2.3.3软件构架的发展与现状

2.4本章小结

第三章上下结合的软件开发方法

3.1自底向上和自顶向下的开发

3.2上下结合的开发组装方法

3.2.1方法的几个阶段

3.2.2方法中的复用

3.3本章小结

第四章软件构架求精及其支持工具

4.1分布式软件构架描述语言ADEAG

4.2统一建模语言UML

4.3构架到OOD的求精

4.3.1求精的多种尝试

4.3.2 ADEAG到UML求精

4.4构架求精工具A2U的设计与实现

4.4.1 A2U的设计目标

4.4.2 A2U的设计思想和处理过程

4.4.3 A2U的结构设计

4.5本章小结

第五章构件交互设计支持

5.1构件交互机制

5.2构件交互定义语言Dicide

5.3交互设计支持

5.3.1 Dicide交互设计的缺陷

5.3.2π演算

5.3.3本体及其相关技术

5.3.4使用π演算和交互描述交互

5.3.5从π演算到FSP

5.4本章小结

第六章总结与展望

参考文献

致谢