As the models that need to be handled in model-driven engineering grow in scale, scalable algorithms for model transformation (MT) are becoming necessary. Programming models such as MapReduce or Pregel may simplify the development of distributed model ...

We introduce several blame strategies for gradual effect systems. Blame strategies are the part of a language semantics that aims to identify the cause of a runtime check failure. Gradual effect systems are a framework that combines static and dynamic ...

Model-drivenengineering promotes models and modeltrans-

formations as the primary assets in software development.

The models@run-time approach provides an abstract rep-

resentation of a system at run-time, whereby changes in

the model and the ...