DownloadA user-friendly drawing and verification tool for Message Sequence Charts (MSC, HMSC) and UML Sequence Diagrams. Integrated with Microsoft Visio.
Features
- 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
Project Samples
License
Other License, GNU Library or Lesser General Public License version 2.0 (LGPLv2)
You Might Also Like
HubSpot is an AI-powered customer platform with all the software, integrations, and resources you need to connect your marketing, sales, and customer service. HubSpot's connected platform enables you to grow your business faster by focusing on what matters most: your customers.
Rate This Project
Login To Rate This Project
User Reviews
There are no 3 star reviews.