Component-based Software Architecture Refinement and Its Application
Rong Yan · 2003
Software architecture is an immature field in the discipline of software engineering. Researchers are still exploring the formalized description and refinement of software architecture. This paper analyzes the features of behavior replacementbased and stylebased architecture refinement methods and then put forward componentbased architecture refinement method.It demonstrates this method and its process in the development of a real system by using temporal logic language-XYZ/E formalizing the architecture of the system.