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

摘要：

本文提出了将可视化建模语言UML和时序逻辑语言XYZ/E相结合来描述软件体系结构的方法.首先给出了该方法的基本框架,然后对XYZ/E进行扩展,使之能够显式地表示软件体系结构的基本元素,并定义了UML活动图的形式语义,最后,通过银行ATM实例进一步说明了该方法的可行性,对可视化和形式化相结合描述软件体系结构的研究具有一定的推动作用.

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

所属期刊栏目：26

分类号：TP317.1(计算技术、计算机技术)

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

在线出版日期：2014-07-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：200-202