Computer Science ›› 2009, Vol. 36 ›› Issue (8): 145-148.
Previous Articles Next Articles
LUO Ju-bo,YING Shi,YE Peng
Online:
Published:
Abstract: Reusing software resources at early stages of software development is insufficient Reflection mechanism has been successfully applied in the reuse of code component,but scarcely applied in the reuse of architecture and its constituents. This paper proposed a reflection mechanism supporting the reuse of architectural level designs,and described the base-level element model and meta-level element model of the reflective software architecture in detail. Moreover, it formalized the basclevcl architecture model using the formal specification language-Object-Z language completely. Choosing the Connections schema as a example, this paper also gave the initial theorem and its testified process.
Key words: Reuse of software architecture, Reflection mechanism, Formalization, Object-Z
LUO Ju-bo,YING Shi,YE Peng. Reflection Mechanism for Software Architecture Reuse and its Formalization[J].Computer Science, 2009, 36(8): 145-148.
0 / / Recommend
Add to citation manager EndNote|Reference Manager|ProCite|BibTeX|RefWorks
URL: https://www.jsjkx.com/EN/
https://www.jsjkx.com/EN/Y2009/V36/I8/145
Cited