Is there an automatic tool (add-on or plugin) to validate semantics and dynamic properties (i.e. cycles, unreacheable states, deadlocks, etc.) of State Machine Diagrams?
Hi Carmargo Cr,
We are sorry that the feature you requested is not yet available in Visual Paradigm, but you can develop your own plugin to create the functionalities you want. Here are the resources that you may find useful:
Plugin User’s Guide
http://www.visual-paradigm.com/support/documents/pluginuserguide.jsp
Know-how pages on Open API
Javadoc
http://www.visual-paradigm.com/support/documents/pluginapi.jsp
I hope this will help.
Antony.
