1Grandy B, James R, Ivar J. The Unified Modeling Language User Guide[M].New York:Addison Wesley Longman Inc,1999.
2Soon-Kyeong K, David C. A formal mapping between UML models and Object-Z specifications[A]. Bowen J P. ZB 2000,LNCS[C]. Berlin Heidelberg: Springer-Verlag,2000.2 21.
3Z. 100 ITU-T, The specification and description language[S].
4Jan Ellsberger. SDL Formal Object-oriented Language for Communicating System[M]. London: Prentice Hall Europe,1997.
