文献类型：期刊文献

中文题名：UML到SDL在地铁售票机系统中的应用

英文题名：Modeling a Metro Ticket Vendor System Using UML/SDL Transformation

作者：潘俊[1];宋国新[1]

机构：[1]华东理工大学计算机科学与工程系,上海200237

年份：2004

卷号：30

期号：5

起止页码：552

中文期刊名：华东理工大学学报（自然科学版）

外文期刊名：Journal of East China University of Science and Technology

收录：CSTPCD;;EI(收录号：2004498707049);Scopus;北大核心:【北大核心2000】；CSCD:【CSCD2011_2012】；

语种：中文

中文关键词：UML;SDL;转化;形式化方法

外文关键词：UML; SDL; transformation; formal method

摘要：介绍了从统一建模语言(UML)到规范描述语言(SDL)的一种转化设计方法,并以地铁售票机系统的设计为例,介绍了具体的转化过程。售票机系统的需求规范用UML描述,系统的设计规范用SDL语言表示。
No abstract available