UML建模工具: StarUML,Telelogic TAU和Rose
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图支持。
