D. Leroy, E. Bousse, M. Wimmer, B. Combemale, W. Schwinger: Create and Play your Pac-Man Game with the GEMOC Studio, 3rd International Workshop on Executable Modeling (EXE 2017) co-located with MODELS 2017, Austin, Texas, USA; 18.09.2017, in Proceedings of the 3rd International Workshop on Executable Modeling (EXE), (2017), pages 1 - 5. pdf


Executable Domain-Specific Languages (DSLs) areused for defining the behaviors of systems. The operationalsemantics of such DSLs may define how conforming modelsreactto stimuli from their environment. This commonly requiresadapting the semantics to define both the possible domain-level stimuli, and their handling during the execution. However,manually adapting the semantics for such cross-cutting concernis a complex and error-prone task. In this paper, we present anapproach and a tool addressing this problem by augmenting theoperational semantics for handling stimuli, and by automaticallygenerating a completebehavioral language interfacefrom thisaugmentation. At runtime, this interface can receive stimulisent to models, and can safely handle them by interrupting theexecution flow. This tool has been developed for the GEMOCStudio, a language and modeling workbench for executable DSLs.We demonstrate how it can be used to implement a Pac-Man DSLenabling the creation and execution of Pac-Man games.