From: Bas Basten
To: pem-list, sen3-list, sen1-list
Subject: PEM Talk Vlad Rusu, September 20, 13:30

Dear all,

You are cordially invited for our next PEM talk on Tuesday September 20.
Vlad Rusu from Inria Lille Nord-Europe will give the following talk:

Title:
Formal model-based language engineering using K and Rascal

Speaker:
Vlad Rusu, Inria Lille Nord-Europe, France
common work with Dorel Lucanu, University of Iasi, Romania

Abstract:
We  propose a formal  approach for  the definition  of domain-specific
modelling  languages (DSMLs).   The approach  uses  basic Model-Driven
Engineering artifacts for defining  a DSML's syntax (using metamodels)
and its operational semantics  (using model transformations).  We give
formal meanings to  these artifacts by mapping them  to the K semantic
framework. The  mapping is  implemented in the  Rascal metaprogramming
language. Since the resulting K definitions are executable, we get for
free interpreters as  well as model checkers for  arbitrary DSMLs.  We
illustrate the approach  on xSPEM, a DSML for  modelling the execution
of tasks constrained by time, precedence relations, and resources.

The talk starts at 13:30hrs in room L017, CWI. We hope to see you all there.

Best regards,
Bas Basten