Software Architecture Description Approach Integrating Formal Methods and Visual Methods

Software architecture is an immature field in the discipline of software engineering. The first issue of the research is how to represent and describe the software architecture models of a system. The main purpose of this paper is to find out the effective approaches of integrating formal methods and visual methods in modeling software architec- ture by attempting the theory of SA into practical development. The effective approaches of integrating UML and XYZ/ADL are emphasized during modeling the software architecture of Elevator Control System. The major compo- nents are refined according to the component-based refinement method.