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

• 作者: 张广泉 李辉
• 来源期刊: 科技与创新
• 关键词: 软件体系结构 描述 求精 UML XYZ/E ATM系统
• 年，卷（期）: 2010,（21）
• 页码范围: 169-171
• 分类号: TP317.1
• 语种: 中文
• DOI: 10.3969/j.issn.2095-6835.2010.21.066

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张广泉	苏州大学计算机科学与技术学院	147	1056	16.0	25.0