Approaching Model Edition as a Linear Logic Problem

Over the years, multiple formal definitions have been given for the concept of model that is central to Model-Driven Engineering. They are based on a variety of theories, and have different properties. Some of these definitions can describe the evolution of models over time, for instance in the context of model transformations. But others only support querying models, because they are purely static, such as the formal definition of KM3 using First-Order Logic (FOL). The objective of this paper is to explore the possibility to extend this FOL definition, so that it can take model evolution into account. To this end, we re-expressed it using a linear logic framework. The resulting definition can be used not only to query models, but also to perform model edition actions. Moreover, it supports editing partial models, automatically completing some unspecified elements when new information becomes available.