A user-friendly drawing and verification tool for Message Sequence Charts (MSC, HMSC) and UML Sequence Diagrams. Integrated with Microsoft Visio.
- Draw Message Sequence Charts (MSC) in Microsoft Visio 2003/2007
- Draw basic MSC: line instances, messages, coregions, general ordering, time constraints and measurements
- Draw HMSC: references, conditions, connections
- Export and import the ITU-T Z.120 textual format (.mpr)
- Perform graphical syntax verification
- Execute verification algorithms: detect deadlock/livelock, detect cycles, race conditions and universal boundedness
- Determine probability distribution of time constraints using Monte Carlo simulation
- Develop proprietary stencils and verification/export modules
Follow Sequence Chart Studio
HPCC Systems is dedicated to the environment and is giving you the opportunity to take action and be a small part of a big impact. In partnership with the National Forest Foundation, HPCC Systems is growing and promoting awareness of environmental sustainability with their 10K Trees Challenge. The best time to plan a tree was 20 years ago. The second best time is now! Take our survey and take part in helping the environment.
Rate This ProjectLogin To Rate This Project
There are no 3 star reviews.