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

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

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

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.