Expressing UML class diagrams properties with OCL. In Object Modeling with the OCL, The RatioOn Challenges of Model Transformation from UML to Alloy 53 nale behind the Object Constraint Language (0)

by Martin Gogolla, Mark Richters