一种UML到SDL转换方法的研究与应用

摘要：

本文介绍了一种从统一建模语言(UML)到规范说明和描述语言(SDL)的转化方法及规则,并以一个ATM(Automatic Teller Machine)系统为例来介绍具体的转化过程.在本方法中,通过对目标系统需求分析的UML描述进行转换得到目标系统的SDL描述.该方法使用Telelogic Tau中的Object Model工具来描述系统类图,采用State Chart工具来描述系统状态图.

关键词： UML SDL 转换方法 形式化方法 目标系统 需求分析

作者: 雷敏 雷友珣

作者单位: 北京邮电大学软件学院,100876

会议类型: 国内会议

会议名称: 第十一届全国青年通信学术会议

会议地点: 四川绵阳

会议语种:中文

页码: 826-830

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