Write a Blog >>
SLE 2016
Mon 31 October - Tue 1 November 2016 Amsterdam, Netherlands
co-located with SPLASH 2016
Tue 1 Nov 2016 16:05 - 16:30 at Zürich 2 - Model Transformation Chair(s): Görel Hedin

We revisit the notion of coupled software transformations (CX) which is concerned with keeping collections of software artifacts consistent in response to changes of individual artifacts. We model scenarios of CX while we abstract from technological spaces and application domains. Our objective is to mediate between universal consistency properties of CX and test-driven validation of concrete (illustrative) CX implementations. To this end, we leverage an emerging megamodeling language LAL which is based on many- and order-sorted predicate logic with support for reuse by inlining modulo substitution. We provide a simple translation semantics for LAL so that formulae can be rendered as test cases on appropriate interpretations of the megamodel elements. Our approach has been implemented and validated in logic programming; this includes the executable language definition of LAL and test-case execution on top of illustrative CX implementations.

Tue 1 Nov

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

15:40 - 17:20
Model TransformationSLE at Zürich 2
Chair(s): Görel Hedin Lund University, Sweden
15:40
25m
Talk
Efficient Model Partitioning for Distributed Model TransformationsArtifact Evaluation
SLE
Amine Benelallam , Massimo Tisi AtlanMod, France, Jesús Sánchez Cuadrado Autonomous University of Madrid, Spain, Juan de Lara Autonomous University of Madrid, Spain, Jordi Cabot Open University of Catalonia, Spain
DOI
16:05
25m
Talk
Coupled Software Transformations — RevisitedArtifact Evaluation
SLE
Ralf Laemmel University of Koblenz-Landau, Germany
DOI Media Attached
16:30
15m
Talk
Xdiagram: A Declarative Textual DSL for Describing Diagram Editors (Tool Demo)
SLE
André L. Santos University Institute of Lisbon, Portugal, Eduardo Gomes University Institute of Lisbon, Portugal
DOI
16:45
15m
Day closing
Closing & Outlook to SLE'17
SLE
Tijs van der Storm CWI & University of Groningen, Benoit Combemale University of Rennes 1, France