Model Completion

  Abstract

Model completion is a great tool that enhances the productivity of a user. It checks, and completes, whether the provided model conforms to the meta-model. If not, it gets completed. We will create a model completion proof of concept in AtomPM, based on the Diagram Predicate Framework. Beside the completion rules completing the partial models we need to take a look at transformation rules that form critical pairs.

  Reading Phase

Reading Report (PDF)
Reading Presentation (PDF)

  Implementation Phase

Final Report (PDF)
Final Presentation (PDF)
Project Materials (ZIP)