News

IEEE2y
Tool support for verifying UML activity diagrams - IEEE Xplore
We describe a tool that supports verification of workflow models specified in UML activity diagrams. The tool translates an activity diagram into an input forma Tool support for ... Finally, we ...
GitHub2y
akondratsky/text-to-diagram-tools: Text-to-diagram tools. Short introductions to a few of them, links and examples - GitHub
You can take a look at the Community list of comparisons between Text to Diagram tools to get a high-level understanding of differences between different engines. It supports comparison between D2, ...
GitHub4mon
GitHub - doubleSlashde/plantuml2drawio: With this tiny tool you are able to convert Plantuml code to draw.io element by element. Target format is mxgraph.
This project enables the conversion of PlantUML diagrams to Draw.io format, allowing for seamless integration of UML diagrams into various documentation and presentation workflows. The converter ...
IEEE20y
Tool support for verifying UML activity diagrams - IEEE Xplore
Abstract: We describe a tool that supports verification of workflow models specified in UML activity diagrams. The tool translates an activity diagram into an input format for a model checker ...