Write a Blog >>
SLE 2016
Mon 31 October - Tue 1 November 2016 Amsterdam, Netherlands
co-located with SPLASH 2016
Mon 31 Oct 2016 14:45 - 15:00 at Zürich 2 - Runtime Techniques Chair(s): Julia Lawall

The development and evolution of an advanced modeling environment for a Domain-Specific Modeling Language (DSML) is a tedious task, which becomes recurrent with the increasing number of DSMLs involved in the development and management of complex software-intensive systems. Recent efforts in language workbenches result in advanced frameworks that automatically provide syntactic tooling such as advanced editors. However, defining the execution semantics of languages and their tooling remains mostly hand crafted. Similarly to editors that share code completion or syntax highlighting, the development of advanced debuggers, animators, and others execution analysis tools shares common facilities, which should be reused among various DSMLs. In this tool demonstration paper, we present the execution framework offered by the GEMOC studio, an Eclipse-based language and modeling workbench. The framework provides a generic interface to plug in different execution engines associated to their specific metalanguages used to define the discrete-event operational semantics of DSMLs. It also integrates generic runtime services that are shared among the approaches used to implement the execution semantics, such as graphical animation or omniscient debugging.

Slides (slides.pdf)2.8MiB

Mon 31 Oct

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

13:30 - 15:10
Runtime TechniquesSLE at Zürich 2
Chair(s): Julia Lawall Inria/LIP6
13:30
25m
Talk
Experiences of Models@run-time with EMF and CDO
SLE
Daniel Seybold Ulm University, Germany, Jörg Domaschka Ulm University, Germany, Alessandro Rossini SINTEF, Norway, Christopher B. Hauser Ulm University, Germany, Frank Griesinger Ulm University, Germany, Athanasios Tsitsipas Ulm University, Germany
DOI
13:55
25m
Talk
Runtime Support for Rule-Based Access-Control Evaluation through Model-Transformation
SLE
Salvador Martínez Open University of Catalonia, France, Jokin García IK4-IKERLAN Research Center, Spain, Jordi Cabot Open University of Catalonia, Spain
DOI
14:20
25m
Talk
Object-Oriented Design Pattern for DSL Program MonitoringArtifact Evaluation
SLE
Zoé Drey ENSTA Bretagne, France, Ciprian Teodorov ENSTA Bretagne, France
DOI Media Attached
14:45
15m
Talk
Execution Framework of the GEMOC Studio (Tool Demo)Artifact Evaluation
SLE
Erwan Bousse TU Vienna, Austria, Thomas Degueule Inria, France, Didier Vojtisek Inria, France, Tanja Mayerhofer TU Vienna, Austria, Julien DeAntoni , Benoit Combemale University of Rennes 1, France
DOI Pre-print Media Attached File Attached