Formal Specification for a Coordination Model Using PiOZ
This paper proposes the way of specification by which the CM4AR can be formally described in the PiOZ. CM4AR (coordination model for architecture reuse) .which is . Constructed and designed on the basis of architectural reflection theory, can provides the support for reusing software architecture and its constituents at design time. CM4AR is logically divided into meta-level and base-level. When CM4AR is used to support architecture reuse, the interaction between meta-level and base-level will proceed and the two levels in the CM4AR must keep consistent throughout. The consistency is ensured by the correctness of causal connection between two levels. So In this paper we respectively give the formal specification of base-level, meta-level and interaction between two levels in order to specify the causal connection between two levels. The result of this paper is the foundation for proving the correctness of causal connection between two levels in the future.
software architecuture reuse reflection coordination model PiOZ
Peng Ye You-congNi Yu-hongXie MingHu
College of Computer Science, Wuhan Textile University, Wuhan, Hubei, 430073, P.R.China Faculty of Software, Fujian Normal University, Fuzhou, Fujian, 350108. P.R.China Hubei Personnel Examinations Authority, Wuhan, Hubei, 430072, P.R.China
国际会议
重庆
英文
538-542
2011-01-21（万方平台首次上网日期，不代表论文的发表时间）