SLE 2018
Sun 4 - Fri 9 November 2018 Boston, Massachusetts, United States
co-located with SPLASH 2018
Tue 6 Nov 2018 10:30 - 11:00 at Studio 1 - Types & Constraints Chair(s): Ralf Lämmel

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.

Tue 6 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

10:30 - 12:00: SLE 2018 - Types & Constraints at Studio 1
Chair(s): Ralf LämmelFacebook London
papers10:30 - 11:00
Ulyana TikhonovaCWI, Jouke StoelCWI, Tijs van der StormCWI & University of Groningen, Thomas DegueuleCentrum Wiskunde & Informatica
papers11:00 - 11:30
Oscar Bennich-BjörkmanUppsala University, Steve McKeeverUppsala University
papers11:30 - 12:00
Dimitri RacordonUniversity of Geneva, Centre Universitaire d'Informatique, Geneva, Switzerland, Didier BuchsUniversity of Geneva, Centre Universitaire d'Informatique, Geneva, Switzerland