Towards Constraint-Based Model Types
Steffen Zschaler · 2014
With the increasing popularity of model-driven engineering, reusability and compositionality of model-management operations, including model transformations, becomes more important. One way of addressing this problem is through generic typing mechanisms for the parameters and outputs of such operations---essentially, introducing operation-specific views. There are two competing proposals for such type mechanisms available in the literature. However, it is not clear how they compare, whether they are complete or if they are indeed correct.