Constraint-based run-time state migration for live modeling

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    4 Citations (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.

    Original languageEnglish
    Title of host publicationSLE 2018 - Proceedings of the 11th ACM SIGPLAN International Conference on Soft ware Language Engineering, co-located with SPLASH 2018
    EditorsDavid Pearce, Steimann Friedrich, Tanja Mayerhofer
    Place of PublicationNew York
    PublisherAssociation for Computing Machinery, Inc
    Number of pages13
    ISBN (Electronic)9781450360296
    Publication statusPublished - 24 Oct 2018
    Event11th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2018, part of SPLASH 2018 - Boston, United States
    Duration: 5 Nov 20186 Nov 2018


    Conference11th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2018, part of SPLASH 2018
    Country/TerritoryUnited States


    • DSL
    • Live modeling
    • Relational model finding
    • Run-time state migration


    Dive into the research topics of 'Constraint-based run-time state migration for live modeling'. Together they form a unique fingerprint.

    Cite this