一种支持设计时软件重用的反射式软件体系结构及其形式化研究

计算机工程与科学

一种支持设计时软件重用的反射式软件体系结构及其形式化研究

罗巨波1，应时2，刘天时1

（1.西安石油大学计算机学院，陕西西安 710065；2.武汉大学计算机学院，湖北武汉 430072)

收稿日期:2018-12-21 修回日期:2019-05-10 出版日期:2019-08-25 发布日期:2019-08-25
基金资助:
陕西省教育厅科研计划项目资助(项目编号：18JK0621) ；国家自然科学基金（61672392，61373038）

A reflective software architecture supporting software

reusing in design stage and its formalization

LUO Ju-bo1,YING Shi2,LIU Tian-shi1

（1.School of Computer Science,Xi’an Shiyou University,Xi’an 710065;

2.School of Computer Science,Wuhan University,Wuhan 430072,China)

Received:2018-12-21 Revised:2019-05-10 Online:2019-08-25 Published:2019-08-25

摘要/Abstract

摘要：

软件体系结构在软件重用中有着特殊的意义。缺乏显式的描述并使用支持体系结构重用过程的信息和缺乏有效的重用方法是软件体系结构难以重用最根本的原因。在软件设计阶段，将元信息、元建模、反射和软件体系结构结合起来，构造了一种支持软件体系结构重用的反射式软件体系结构。给出了基于反射式软件体系结构的软件体系结构重用过程。给出了反射式软件体系结构的具体化过程的基本原理和具体化操作的Object-Z形式化描述，即创建元组件、创建元连接器、创建元组合件操作的形式化描述。给出了基于反射式软件体系结构的软件体系结构重用的支撑工具的设计过程。

关键词: 软件体系结构重用, 反射式软件体系结构, 具体化, Object-Z形式化描述

Abstract:

Software reusing in software architecture is especially important. Reusing software architecture is a very difficult problem in the realm of software engineering. There are two main reasons for the problem: the lack of information which can explicitly describe and support the process of reusing software architecture, and the lack of an effective reusing approach. Combining meta information with meta modeling, reflection and software architecture, we construct a reflective software architecture to support software architecture reusing at software design stage. We provide the software architecture reusing process based on the reflective software architecture. We also offer the basic principles of the concrete process of the reflective software architecture, and give the Object-Z formalization description of concrete operations such as the creation of meta-component, meta-connector and meta-composite. The design process of the supporting tool of software architecture reusing based on the reflective software architecture is also illustrated.

Key words: software architecture reusing, reflective software architecture, reification, Object-Z formalization description

罗巨波1，应时2，刘天时1. 一种支持设计时软件重用的反射式软件体系结构及其形式化研究[J]. 计算机工程与科学.

LUO Ju-bo1,YING Shi2,LIU Tian-shi1.

A reflective software architecture supporting software

reusing in design stage and its formalization

[J]. Computer Engineering & Science.