Constraint-based Run-time State Migration for Live Modeling

Abstract : 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 run-time 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.
Type de document :
Communication dans un congrès
SLE 2018 - 11th ACM SIGPLAN International Conference on Software Language Engineering, Nov 2018, Boston, MA, USA, United States. Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering (SLE ’18),. 〈10.1145/3276604.3276611〉
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01896207
Contributeur : Thomas Degueule <>
Soumis le : lundi 15 octobre 2018 - 20:44:31
Dernière modification le : mercredi 24 octobre 2018 - 09:10:43
Document(s) archivé(s) le : mercredi 16 janvier 2019 - 16:11:06

Fichier

nextstep.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Ulyana Tikhonova, Jouke Stoel, Tijs Van Der Storm, Thomas Degueule. Constraint-based Run-time State Migration for Live Modeling. SLE 2018 - 11th ACM SIGPLAN International Conference on Software Language Engineering, Nov 2018, Boston, MA, USA, United States. Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering (SLE ’18),. 〈10.1145/3276604.3276611〉. 〈hal-01896207〉

Partager

Métriques

Consultations de la notice

8

Téléchargements de fichiers

48