PAN Jun, SONG Guo-xin~. Modeling a Metro Ticket Vendor System Using UML/SDL Transformation[J]. Journal of East China University of Science and Technology, 2004, (5): 552-555570.
Citation:
PAN Jun, SONG Guo-xin~. Modeling a Metro Ticket Vendor System Using UML/SDL Transformation[J]. Journal of East China University of Science and Technology, 2004, (5): 552-555570.
PAN Jun, SONG Guo-xin~. Modeling a Metro Ticket Vendor System Using UML/SDL Transformation[J]. Journal of East China University of Science and Technology, 2004, (5): 552-555570.
Citation:
PAN Jun, SONG Guo-xin~. Modeling a Metro Ticket Vendor System Using UML/SDL Transformation[J]. Journal of East China University of Science and Technology, 2004, (5): 552-555570.
Modeling a Metro Ticket Vendor System Using UML/SDL Transformation
This paper presents a transformationnal approach from the universal modeling language(UML) to the specification and description language(SDL), and a case study of the metro ticket vendor system illustrates the process of our method in detail. The system requirement specification is given by UML diagrams, and the target is a system specification described in SDL.
DownLoad: