Corpus ID: 2703369

ODM-based UML Model Transformations using Prolog ?

  title={ODM-based UML Model Transformations using Prolog ?},
  author={J. Almendros-Jim{\'e}nez},
  • J. Almendros-Jiménez
  • Published 2011
  • In this paper we present a framework for the specification of model transformations by means of Prolog rules, using the ODM representation of UML models. In addition, Prolog rules are also used for the validation of source and target models w.r.t. their ODM based metamodels. We have validated our proposal by means of a prototype developed under SWI-Prolog. 

    Figures from this paper.


    Publications referenced by this paper.
    ATL: A model transformation tool
    • 1,005
    • Open Access
    Feature-based survey of model transformation approaches
    • 1,099
    • Open Access
    Formal and Tool Support for Model Driven Engineering with Maude
    • 77
    • Open Access
    Transformation: The Missing Link of MDA
    • 236
    • Open Access
    Model transformations and tool integration
    • 124
    • Open Access
    State of the Art of QVT: A Model Transformation Language Standard
    • 125
    Practical Declarative Model Transformation with Tefkat
    • 192
    • Open Access
    On the interoperability of model-to-model transformation languages
    • 50
    • Open Access
    The model transformation language of the VIATRA2 framework
    • 235
    • Open Access
    On the architectural alignment of ATL and QVT
    • 222
    • Open Access