????UML????????????????3???

????????汾??Telelogic TAU ?? RationalRose

????????汾??StarUML

????Telelogic TAU??Rational Rose??????????????????License??

????StarUML???????????TAU/Rose???????????汾??

??????????????????????

????????????????????????????????????????

????1 ???Telelogic TAU:

????telelogic tau

????Telelogic Tau SDL Suite???????Э???????????????????????????λ???SDL???????????????????????????ɡ?MSC???????????????????????(test case)?????????SDL Suite???????????????

????SDL Editor SDL???????????λ???SDL???????????????????????????????????????е??????????????

????SDL Simulator SDL?????????????????????????SDL??????????У????????????????MSC????????????????????????SDL????????·?????????????????????????

????SDL Validator SDL??????????MSC?????????????????????????

????SDL Translator ????????????????????????????????????????????C???????????????????C??C++?????????????????????C???????????????С???????????????????????????????????????Ч???С?????????????????????CHILL?????????????????????????????????????????????????????????????????????????????????

????MSC Editor MSC???????????λ???MSC????

????SDL Suite???????????????????ɡ?????????????п???SDL???????????????????????????????????????????????????????????????????????????????????????????????п???????????????C????????????????????????????????С?

????Telelogic Tau TTCN Suite??????????Э??????????????????Э??????????? TTCN Suite????????????????TTCN?????????????????????????????????????C??????????豸?????С?

????Telelogic Tau???????SDL??????MSC???????TTCN???????????

????Telelogic Tau3.0??Telelogic?????uml2.0???????????????????????Model Verifier?????????????code generator????????????????????????14??????????????????uml??汾???????2.0?ɡ?

????1??Uml???

?????????????á?

??????????????????????????????????????е???????????????????????????????????????????????????????????????????ɡ?

????Tau3.0?????????????????text????????????????????????????text ??????????action symbol???????????????????????????????д????????????????tau????????д???????c???????java??????????У???????action symbol??????????????????????text symbol???????д????

?????????????????tau??????????check???????ide??????????純????????壬?????????????????飬?????????????????????????????????f8??

???????????timing?????