顺序图工作室0.5.3 Beta版_Sequence Chart Studio 0.5.3 Beta下载地址

方便的MSC验证工具

的

序列图的工作室，或短scstudio，被设计为一个用户友好的，开放源码的图纸和验证仪器的消息序列图（基本MSC，健康管理与社会关怀）和UML序列图。

它的开发是为了提供几个验证算法的和额外的模块提供了一个开放的接口。图形化的前端被实现为一个Microsoft Visio添加的神器出山:www.shenqi73.com，但与其他应用程序的集成是可能的。

下面是一些主要特点的“序列图工作室”：

·绘制消息序列图（MSC）在Microsoft Visio 2003/2007
·行的实例，消息，coregions，一般的顺序，时间的限制和测量绘制基本MSC：
·抽奖“健康管理与社会关怀”：参考文献，条件，连接
·导出和导入ITU-T Z.120文本格式（MPR）
·执行图形化的语法验证
·执行验证算法：检测到死锁/活锁，检测周期，竞争条件和普遍的有界性
·确定的概率分布的时间限制，使用蒙特卡罗模拟
·开发专用模具和验证/输出模块

要求：

·< Visio中