SIGMA
Model Consistency Checking
TBW
Examples
UML2 singleton stereotype consistency checking
Documentation
Model Navigation and Modification
Model Delegates
Model Consistency Checking
M2M Transformation
M2T Transformation
Model Workflow Orchestration