A user-friendly drawing and verification tool for Message Sequence Charts (MSC, HMSC) and UML Sequence Diagrams. Integrated with Microsoft Visio.
You’re probably paying too much for cell phone service. Wirefly compares hundreds of plans to help you save. Enter what you need (minutes, data, texts) into Wirefly’s innovative plan comparison tools and see your savings instantly.
Post Views:
382
Website |
http://scstudio.sourceforge.net |
Tags |
CASE |
License |
GNU Library or Lesser General Public License version 2.0 (LGPLv2)
Other License
|
Platform |
Windows
|
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
|