中英文翻译服务资料.ppt

中英文翻译服务;EnglishChinese;Operation; Spec GetWordKeyRequest; uses String; Attr WordKey: String; End; Spec TranslatorResponse uses Dictionary; Attr Dictionary:SDictionary; End;Spec STrans uses String; Attr WordKey: String; Pron:String; Info:String; Translation:String; Mp3: String; Axiom For all t: STrans that t.WordKey Null; End End;Spec SRefer Refer[0..*]:String; End Spec SSentence uses String Attr Orig:String; Trans:String; End Spec SDictionary; uses Trans, Sentence; Attr Trans1: STrans; Refer: SRefer; Sentence[0..*]: SSentence; End;Axiom:;//TranslatorResponse返回Trans1. Translatio