中英文翻译服务精要.pptVIP

“ ” “ ” 中英文翻译服务 姓名：王焕章 EnglishChinese Uses GetWordKeyRequest GetMp3Response SuggestWordResponse TranslatorResponse TranslatorReferStringResponse TranslatorSentenceStringResponse TranslatorStringResponse? Operation Translator SuggestWord? GetMp3 TranslatorReferString TranslatorSentenceString TranslatorString 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: // 调用GetWordKeyRequest返回的WordKey不能为空 all gw: GetWordKeyRequest that gw.Trans1.WordKeyNULLEnd //请求为错误输入的情况 //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 “ ” “ ”