Execution framework of the GEMOC studio (tool demo)

Abstract

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 develop- ment and management of complex software-intensive sys- tems. Recent efforts in language workbenches result in ad- vanced frameworks that automatically provide syntactic tool- ing 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 syn- tax highlighting, the development of advanced debuggers, an- imators, 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 as- sociated to their specific metalanguages used to define the discrete-event operational semantics of DSMLs. It also in- tegrates generic runtime services that are shared among the approaches used to implement the execution semantics, such as graphical animation or omniscient debugging.