UML和XYZ/E在ATM系统的一个初步应用  

A preliminary application of UML and XYZ / E in the ATM system

作　　者：李辉[1,2] 张广泉[2] 

机构地区：[1]徐州师范大学美术学院,江苏徐州221116 [2]苏州大学计算机科学与技术学院,江苏苏州215006

出　　处：《微计算机信息》2010年第21期169-171,共3页Control & Automation

基　　金：基金申请人:张广泉;项目名称:基于XYZ/E的可视化软件体系结构描述语言研究;基金颁发部门:国家自然科学基金委(60073020)

摘　　要：UML作为面向对象技术的标准建模语言,它提供了一套描述软件系统模型的概念和图形表示法,但缺乏精确的语义;时序逻辑语言XYZ/E在统一的逻辑框架下既能表示静态语义又能表示动态语义,支持软件体系结构从高层到低层的逐步过渡。该文基于UML和XYZ/E的软件体系结构描述方法建立了ATM系统的体系结构模型,采用基于组件的逐步求精方法对ATM系统进行了逐步求精。UML as the standard modeling language of object-oriented technology, it provides a model to describe the concept of software system and graphical representation, but the lack of precise semantics; temporal logic language XYZ / E in the framework of a unified logic that both static can semantic dynamic semantics that support the software architecture from the top to the bottom of the gradual transition. In this paper,we establish the ATM system architecture model, and stepwise refine ATM system base on component-based method of stepwise refinement, with UML and XYZ / E.

关 键 词：软件体系结构 描述 求精 UML XYZ/E ATM系统 

分 类 号：TP317.1[自动化与计算机技术—计算机软件与理论]