Constraint-based run-time state migration for live modeling

Ulyana Tikhonova, Tijs van der Storm, Jouke Stoel, Thomas Degueule

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    4 Citaten (Scopus)


    Live modeling enables modelers to incrementally update models as they are running and get immediate feedback about the impact of their changes. Changes introduced in a model may trigger inconsistencies between the model and its run-time state (e.g., deleting the current state in a statemachine); effectively requiring to migrate the run-time state to comply with the updated model. In this paper, we introduce an approach that enables to automatically migrate such runtime state based on declarative constraints defined by the language designer. We illustrate the approach using Nextep, a meta-modeling language for defining invariants and migration constraints on run-time state models. When a model changes, Nextep employs model finding techniques, backed by a solver, to automatically infer a new run-time model that satisfies the declared constraints. We apply Nextep to define migration strategies for two DSLs, and report on its expressiveness and performance.

    Originele taal-2Engels
    TitelSLE 2018 - Proceedings of the 11th ACM SIGPLAN International Conference on Soft ware Language Engineering, co-located with SPLASH 2018
    RedacteurenDavid Pearce, Steimann Friedrich, Tanja Mayerhofer
    Plaats van productieNew York
    UitgeverijAssociation for Computing Machinery, Inc
    Aantal pagina's13
    ISBN van elektronische versie9781450360296
    StatusGepubliceerd - 24 okt. 2018
    Evenement11th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2018, part of SPLASH 2018 - Boston, Verenigde Staten van Amerika
    Duur: 5 nov. 20186 nov. 2018


    Congres11th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2018, part of SPLASH 2018
    Land/RegioVerenigde Staten van Amerika


    Duik in de onderzoeksthema's van 'Constraint-based run-time state migration for live modeling'. Samen vormen ze een unieke vingerafdruk.

    Citeer dit