Alloy

Modeling Composition of UML Profiles with Alloy