中英文翻译服务经典案例.pptVIP

中英文翻译服务;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. Translation为NOT FIND时其它Attr都为空 For all ts: TranslatorResponse that ts.Refer = NULL,ts.Sentence = NULL,ts.Trans1. Pron=NULL, ts.Trans1. Mp3=NULL,ts.Trans1.Info=NULL if ts.Trans1.Translation = “NOT FIND”; End;// 调用GetMp3, GetSentence, TranslatorReferString, TranslatorString请求的WordKey一致 For all gm: GetMp3, tr: TranslatorReferString, ts;TranslatorString,gwk:GetWordKeyRequest that gwk(tr).WordKey = gwk(ts).WordKey = gwk(gm).WordKey; End