论文部分内容阅读
UML作为面向对象技术的标准建模语言,它提供了一套描述软件系统模型的概念和图形表示法,但缺乏精确的语义;时序逻辑语言XYZ/E在统一的逻辑框架下既能表示静态语义又能表示动态语义,支持软件体系结构从高层到低层的逐步过渡。该文基于UML和XYZ/E的软件体系结构描述方法建立了ATM系统的体系结构模型,采用基于组件的逐步求精方法对ATM系统进行了逐步求精。