@prefix dcat: <http://www.w3.org/ns/dcat#> .
@prefix dct: <http://purl.org/dc/terms/> .
@prefix foaf: <http://xmlns.com/foaf/0.1/> .
@prefix vcard: <http://www.w3.org/2006/vcard/ns#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

<https://rec.harvest-normandie.data4citizen.com/dataset/oai-hal-hal-00842789v1> a dcat:Dataset ;
    dct:description """
              This report defines MicroDif, a kernel transformation language for metamodel evolution and reversible model co-evolution. To begin with, a kernel subset of Ecore is highlighted and formally defined thanks to a suitable denotational semantics. Then MicroDif is formally defined upon this subset. In a first step, the focus is put on metamodel evolution provided by a set of refactoring operators. In a second step, the focus is put on model co-evolution which is intended to be reversible thanks to a dedicated pair of transformations respectively called migration and recontextualization. Each MicroDif operator is also provided with a dedicated predicate which explains the sufficient conditions for a model to remain valid after these transformations.
            """ ;
    dct:identifier "hal-00842789" ;
    dct:issued "2026-05-10T10:12:00.609456"^^xsd:dateTime ;
    dct:language "en" ;
    dct:modified "2026-05-10T10:12:00.609462"^^xsd:dateTime ;
    dct:publisher <https://rec.harvest-normandie.data4citizen.com/organization/cce9db95-46d9-4dc2-84b6-764215d0a002> ;
    dct:title "A kernel transformation language for metamodel evolution and reversible model co-evolution" ;
    dcat:contactPoint [ a vcard:Organization ;
            vcard:fn "CCSD" ] ;
    dcat:distribution <https://rec.harvest-normandie.data4citizen.com/dataset/oai-hal-hal-00842789v1/resource/3c0fa027-c738-4247-b4f8-57bc3e4fd7ba> ;
    dcat:keyword "d22-d213",
        "infoeu-reposemanticsreport",
        "infoinfo-secomputer-science-cssoftware-engineering-csse",
        "metamodel-evolution-model-co-evolution-refactoring-reversible-migration-dsml-tool-support-model-tran",
        "reports" ;
    dcat:landingPage <https://hal.univ-brest.fr/hal-00842789> .

<https://rec.harvest-normandie.data4citizen.com/dataset/oai-hal-hal-00842789v1/resource/3c0fa027-c738-4247-b4f8-57bc3e4fd7ba> a dcat:Distribution ;
    dct:format "HTML" ;
    dct:issued "2026-05-10T10:12:00.612223"^^xsd:dateTime ;
    dct:modified "2026-05-10T10:12:00.600899"^^xsd:dateTime ;
    dct:title "A kernel transformation language for metamodel evolution and reversible model co-evolution" ;
    dcat:accessURL <https://hal.univ-brest.fr/hal-00842789> .

<https://rec.harvest-normandie.data4citizen.com/organization/cce9db95-46d9-4dc2-84b6-764215d0a002> a foaf:Agent ;
    foaf:name "test_moissonnage_selune" .

<https://hal.univ-brest.fr/hal-00842789> a foaf:Document .