Constraint-based run-time state migration for live modeling

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

doi:10.1145/3276604.3276611

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 proceeding › Conference contribution › Academic › peer-review

4 Citations (Scopus)

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 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 language	English
Title of host publication	SLE 2018 - Proceedings of the 11th ACM SIGPLAN International Conference on Soft ware Language Engineering, co-located with SPLASH 2018
Editors	David Pearce, Steimann Friedrich, Tanja Mayerhofer
Place of Publication	New York
Publisher	Association for Computing Machinery, Inc
Pages	108-120
Number of pages	13
ISBN (Electronic)	9781450360296
DOIs	https://doi.org/10.1145/3276604.3276611
Publication status	Published - 24 Oct 2018
Event	11th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2018, part of SPLASH 2018 - Boston, United States Duration: 5 Nov 2018 → 6 Nov 2018

Conference

Conference	11th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2018, part of SPLASH 2018
Country/Territory	United States
City	Boston
Period	5/11/18 → 6/11/18

Keywords

DSL
Live modeling
Relational model finding
Run-time state migration

Access to Document

10.1145/3276604.3276611

Cite this

Tikhonova, U., van der Storm, T., Stoel, J., & Degueule, T. (2018). Constraint-based run-time state migration for live modeling. In D. Pearce, S. Friedrich, & T. Mayerhofer (Eds.), SLE 2018 - Proceedings of the 11th ACM SIGPLAN International Conference on Soft ware Language Engineering, co-located with SPLASH 2018 (pp. 108-120). Association for Computing Machinery, Inc. https://doi.org/10.1145/3276604.3276611

Tikhonova, Ulyana ; van der Storm, Tijs ; Stoel, Jouke et al. / Constraint-based run-time state migration for live modeling. SLE 2018 - Proceedings of the 11th ACM SIGPLAN International Conference on Soft ware Language Engineering, co-located with SPLASH 2018. editor / David Pearce ; Steimann Friedrich ; Tanja Mayerhofer. New York : Association for Computing Machinery, Inc, 2018. pp. 108-120

@inproceedings{3b1a98c589764be8b8a2eecf902fb682,

title = "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 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.",

keywords = "DSL, Live modeling, Relational model finding, Run-time state migration",

author = "Ulyana Tikhonova and {van der Storm}, Tijs and Jouke Stoel and Thomas Degueule",

year = "2018",

month = oct,

day = "24",

doi = "10.1145/3276604.3276611",

language = "English",

pages = "108--120",

editor = "David Pearce and Steimann Friedrich and Tanja Mayerhofer",

booktitle = "SLE 2018 - Proceedings of the 11th ACM SIGPLAN International Conference on Soft ware Language Engineering, co-located with SPLASH 2018",

publisher = "Association for Computing Machinery, Inc",

address = "United States",

note = "11th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2018, part of SPLASH 2018 ; Conference date: 05-11-2018 Through 06-11-2018",

}

Tikhonova, U, van der Storm, T, Stoel, J & Degueule, T 2018, Constraint-based run-time state migration for live modeling. in D Pearce, S Friedrich & T Mayerhofer (eds), SLE 2018 - Proceedings of the 11th ACM SIGPLAN International Conference on Soft ware Language Engineering, co-located with SPLASH 2018. Association for Computing Machinery, Inc, New York, pp. 108-120, 11th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2018, part of SPLASH 2018, Boston, United States, 5/11/18. https://doi.org/10.1145/3276604.3276611

Constraint-based run-time state migration for live modeling. / Tikhonova, Ulyana; van der Storm, Tijs; Stoel, Jouke et al.

SLE 2018 - Proceedings of the 11th ACM SIGPLAN International Conference on Soft ware Language Engineering, co-located with SPLASH 2018. ed. / David Pearce; Steimann Friedrich; Tanja Mayerhofer. New York : Association for Computing Machinery, Inc, 2018. p. 108-120.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Constraint-based run-time state migration for live modeling

AU - Tikhonova, Ulyana

AU - van der Storm, Tijs

AU - Stoel, Jouke

AU - Degueule, Thomas

PY - 2018/10/24

Y1 - 2018/10/24

N2 - 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.

AB - 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.

KW - DSL

KW - Live modeling

KW - Relational model finding

KW - Run-time state migration

UR - http://www.scopus.com/inward/record.url?scp=85058210593&partnerID=8YFLogxK

U2 - 10.1145/3276604.3276611

DO - 10.1145/3276604.3276611

M3 - Conference contribution

AN - SCOPUS:85058210593

SP - 108

EP - 120

BT - SLE 2018 - Proceedings of the 11th ACM SIGPLAN International Conference on Soft ware Language Engineering, co-located with SPLASH 2018

A2 - Pearce, David

A2 - Friedrich, Steimann

A2 - Mayerhofer, Tanja

PB - Association for Computing Machinery, Inc

CY - New York

T2 - 11th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2018, part of SPLASH 2018

Y2 - 5 November 2018 through 6 November 2018

ER -

Tikhonova U, van der Storm T, Stoel J, Degueule T. Constraint-based run-time state migration for live modeling. In Pearce D, Friedrich S, Mayerhofer T, editors, SLE 2018 - Proceedings of the 11th ACM SIGPLAN International Conference on Soft ware Language Engineering, co-located with SPLASH 2018. New York: Association for Computing Machinery, Inc. 2018. p. 108-120 doi: 10.1145/3276604.3276611

Constraint-based run-time state migration for live modeling

Abstract

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this