论文部分内容阅读
空中客车（Airbus）决定选择PragmaDev公司的工具，用在开发其航空交通控制系统中。PragmaDev工具（Real Time Developer Studio、MSC Tracer）的一个重要特性是能够将遗留的SDL模型和代码转化成MSC（Message Sequence Charc，消息序列图）或UML序列图。面向过程的活动图或“流程图”使用最广，画起来“容易”得多，但面向对象的序列图、状态图更能强迫人的大脑去作深刻的思考。通过逆转代码为序列图，来帮助开发人员理解纷乱复杂的代码，