| UML到SDL在地铁售票机系统中的应用 |
| |
| 引用本文： | 潘俊,宋国新.UML到SDL在地铁售票机系统中的应用[J].医学教育探索,2004(5):552-555570. |
| |
| 作者姓名： | 潘俊 宋国新 |
| |
| 作者单位： | 华东理工大学计算机科学与工程系，华东理工大学计算机科学与工程系 上海200237，上海200237 |
| |
| 摘 要： | 介绍了从统一建模语言(UML)到规范描述语言(SDL)的一种转化设计方法，并以地铁售票机系统的设计为例，介绍了具体的转化过程。售票机系统的需求规范用UML描述，系统的设计规范用SDL语言表示。
|
| 关 键 词： | UML SDL 转化 形式化方法 |
Modeling a Metro Ticket Vendor System Using UML/SDL Transformation |
| |
| PAN Jun,SONG Guo-xin.Modeling a Metro Ticket Vendor System Using UML/SDL Transformation[J].Researches in Medical Education,2004(5):552-555570. |
| |
| Authors: | PAN Jun SONG Guo-xin |
| |
| Institution: | PAN Jun,SONG Guo-xin~ |
| |
| Abstract: | |
| |
| Keywords: | UML SDL transformation formal method |
|
| 点击此处可从《医学教育探索》浏览原始摘要信息 |
| 点击此处可从《医学教育探索》下载免费的PDF全文 |
