基于UML和XYZ/E的ATM系统体系结构描述  

Description of the ATM System Based on UML and XYZ/E

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

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

出　　处：《微计算机信息》2010年第9期200-202,共3页Control & Automation

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

摘　　要：本文提出了将可视化建模语言UML和时序逻辑语言XYZ/E相结合来描述软件体系结构的方法。首先给出了该方法的基本框架,然后对XYZ/E进行扩展,使之能够显式地表示软件体系结构的基本元素,并定义了UML活动图的形式语义,最后,通过银行ATM实例进一步说明了该方法的可行性,对可视化和形式化相结合描述软件体系结构的研究具有一定的推动作用。In this paper, we advance an approach of describing the software architecture combining visual modeling language UML and sequential logic language XYZ / E.First,we give the basic framework of this way, then expansion the XYZ / E, so that it can explicit the basic elements of the software architecture , and define the formal semantics of UML activity diagram,lastly,we show the feasibility of the way through the example of the bank ATM system, this will have the certain role to the description of the software architecture combining the visual and formal way.

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

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