On the Use of Formal Techniques to Support Model Evolution

    Onderzoeksoutput: Conference paper


    Model-driven engineering (MDE) is an emerging software engineering discipline that relies on model transformation. Model transformations can be very diverse, and encompass, among others, the following techniques: code generation, reverse engineering, model refinement and model refactoring. Due to the inherently volatile nature of all kinds of software artefacts, and models in particular, all existing and future MDE approaches should explicitly take into account the inevitable process of model evolution. In this paper, we explain how formal support for model evolutino is needed. We motivate this by using the formalism of description logic to support the activity of model inconsistency management, and by using tthe formalism of graph transformation to support the activity of model refactoring.
    Originele taal-2English
    TitelJournées du GDR-GPL 2009
    RedacteurenYves Ledru, Marc Pantel
    UitgeverijIRIT Press
    ISBN van geprinte versie978-2-917490-04-4
    StatusPublished - 2009

    Publicatie series

    NaamJournées du GDR-GPL 2009

    Bibliografische nota

    Yves Ledru, Marc Pantel


    Duik in de onderzoeksthema's van 'On the Use of Formal Techniques to Support Model Evolution'. Samen vormen ze een unieke vingerafdruk.

    Citeer dit