一种软件体系结构可拓建模和求精设计方法

摘要：

软件体系结构建模和求精是软件工程领域的重要研究方面.在一定建模方法的基础上,通过逐步求精设计,抽象的软件体系结构成为具体的软件体系结构.为了便于形式化建模和求精以及解决设计过程中的优化问题和冲突问题,基于可拓理论和可拓方法,提出了一种新的软件体系结构建模和求精方法.软件体系结构及其元素由粒度不同的基元描述,而软件体系结构的求精则由对基元的多种变换来实现;通过定义可拓变换模式和使用转换桥方法以改进软件体系结构设计,解决不兼容甚至冲突问题;最后,给出了可拓建模和求精设计的实例.从实例可以看出,使用可拓理论和方法,能较好地从语义和结构两方面描述和精化系统,有助于在形式化层面解决软件体系结构设计中的优化问题和冲突问题.

关键词：软件体系结构、软件体系结构描述语言、可拓学、可拓设计、基元、可拓变换

所属期刊栏目：37

分类号：TP311.5(计算技术、计算机技术)

资助基金：国家自然科学基金61163010,61650207;甘肃省科技计划资助项目1610RJZA059;兰州市科技计划项目2014-1-171

在线出版日期：2018-10-15（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：34-39