an Open Source BPMN 2.0 / DMN 1.1 Modeler
A cross-platform integrated CASE system
Workflow control and configuration java framework
A modeling tool for software engineers (OO)
A tool for visualization and analysis of logs as sequence diagrams
A tool for parametric model checking of UPPAAL models.
Workflow control and configuration java framework