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