Formalization and Rule-Based Transformation of EMF Ecore-Based Models
نویسنده
چکیده
With models becoming a common-place in software and systems development, the support of automatic transformations of those models is an important asset to increase the efficiency and improve the quality of the development process. However, the definition of transformations still is quite complex. Several approaches – from more imperative to more declarative styles – have been introduced to support the definition of such transformations. Here, we show how a completely declarative relational style based on the interpretation of a model as single structured term can be used to provide a transformation mechanism allowing a simple, precise, and modular specification of transformations for the EMF Ecore platform, using a Prolog rule-based mechanism.
منابع مشابه
Aspect Oriented UML to ECORE Model Transformation
With the emerging concept of model transformation, information can be extracted from one or more source models to produce the target models. The conversion of these models can be done automatically with specific transformation languages. This conversion requires mapping between both models with the help of dynamic hash tables. Hash tables store reference links between the elements of the source...
متن کاملModGraph meets Xcore: Combining Rule-Based and Procedural Behavioral Modeling for EMF
Model-driven software engineering aims at increasing productivity by developing high-level executable models. The Eclipse Modeling Framework (EMF) significantly contributes toward this goal. Unfortunately, EMF supports only structural models based on the Ecore metamodel. Recently, Xcore has been developed to extend EMF with behavioral modeling. To this end, Xcore provides a single textual langu...
متن کاملModGraph - Generating Executable EMF Models
Model driven software engineering aims at creating high level executable models which may be interpreted or compiled. For efficient execution of operations on model instances code generators play an important role. A wellestablished tool for structural modeling and code generation is the Eclipse Modeling Framework (EMF). We extended EMF by behavior modeling within ModGraph, a tool to model beha...
متن کاملModGraph - A Transformation Engine for EMF Model Transformations
Model-driven software engineering aims at increasing productivity by replacing conventional programming with the development of high-level executable models. However, current technology focuses on structural models, while behavioral modeling is still neglected. The transformation engine ModGraph intends to fill this gap. ModGraph complements the Eclipse Modeling Framework with graphical transfo...
متن کاملEMF Ecore Based Meta Model Evolution and Model Co-Evolution
The description of data used for e.g. persisting or transmitting information should be defined in a structured way. The structure itself can therefore be seen as a meta model specifying the data model. Over time a software system evolves and the inherent meta models tend to be unstable. Nevertheless, older formats often have to be supported during transition periods. Previous data models, as be...
متن کامل