Modeling tool supporting UML, BPMN and other standards
Toolkit for agent-based & dynamic microsimulation modelling
Combinatorial Interaction Testing Laboratory
UML diagram editor
A QVT engine targeting Java
Petri net framework for security related modeling and reasoning.
Java graph library