• 中国计算机学会会刊
  • 中国科技核心期刊
  • 中文核心期刊

Computer Engineering & Science

Previous Articles     Next Articles

A reflective software architecture supporting software
reusing in design stage and its formalization

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

  1. (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:

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