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

作     者：王小刚 闫光辉 周宁 WANG Xiao gang;YAN Guang hui;ZHOU Ning

作者机构：兰州交通大学电子与信息工程学院甘肃兰州730070 

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

出 版 物：《兰州交通大学学报》 (Journal of Lanzhou Jiaotong University)

年 卷 期：2018年第37卷第4期

页      码：34-39页

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

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

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

D　O　I：10.3969/j.issn.1001-4373.2018.04.006

馆 藏 号：203368778...