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

Research on a Method for Extension Modeling and Refining of Software Architecture

作　　者：王小刚[1] 闫光辉[1] 周宁 WANG Xiao gang;YAN Guang hui;ZHOU Ning(School of Electronic and Information Engineering,Lanzhou Jiaotong University,Lanzhou 730070,China)

机构地区：[1]兰州交通大学电子与信息工程学院,甘肃兰州730070

出　　处：《兰州交通大学学报》2018年第4期34-39,共6页Journal of Lanzhou Jiaotong University

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

摘　　要：软件体系结构建模和求精是软件工程领域的重要研究方面.在一定建模方法的基础上,通过逐步求精设计,抽象的软件体系结构成为具体的软件体系结构.为了便于形式化建模和求精以及解决设计过程中的优化问题和冲突问题,基于可拓理论和可拓方法,提出了一种新的软件体系结构建模和求精方法.软件体系结构及其元素由粒度不同的基元描述,而软件体系结构的求精则由对基元的多种变换来实现;通过定义可拓变换模式和使用转换桥方法以改进软件体系结构设计,解决不兼容甚至冲突问题;最后,给出了可拓建模和求精设计的实例.从实例可以看出,使用可拓理论和方法,能较好地从语义和结构两方面描述和精化系统,有助于在形式化层面解决软件体系结构设计中的优化问题和冲突问题.Modeling and refining of software architecture are important aspects of research on software engineering.Based on some software architecture modeling methods,abstract software architecture was developed into a concrete one through stepwise refinement design.In order to facilitate formal modeling and refinement as well as to solve optimization and conflict problems in design process,a new software architecture modeling and refinement method was proposed based on the extension theory and extension method.Software architecture and its elements were described by primitives with different granularity,while refinement of software architecture was achieved by repeatedly switching primitives.By defining extension transformation patterns and using transformation bridge methods to improve software architecture design,incompatibility and even conflict problems were solved.Finally,an example of extension modeling and refinement design was given.The example shows that the extension theory and method can be used to describe and refine the system from the aspects of both semantics and structure,and help to solve the optimization and conflict problems in software architecture design at the formal level.

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

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]