形式化与可视化相结合的软件体系结构描述方法研究

Software Architecture Description Approach Integrating Formal Methods and Visual Methods

软件体系结构是软件工程领域中一个重要的研究内容,研究软件体系结构的首要问题是如何描述一个软件系统的体系结构模型。本文通过集成XYZ/ADL与UML两种描述方法在软件体系结构中的应用,寻求一种基于时序逻辑理论的形式化方法与面向对象的可视化方法相结合的软件体系结构描述新途径。着重研究XYZ/ADL与UML在电梯控制系统体系结构建模中的应用问题,并运用基于构件的求精方法对该系统的主要组件进行了求精。

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.