Alloy Models for the Property-Based Model Composition Prototype

• Input meta-model
• Model A
• Model B
• Merge Meta-Model
• Model Composition Restrictions