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

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