The Unified Modeling Language (UML) is a standard for modeling dynamic systems. UML
behavioral state machines are used for modeling the dynamic behavior of object-oriented …

Robots are becoming ubiquitous: from vacuum cleaners to driverless cars, there is a wide
variety of applications, many with potential safety hazards. The work presented in this paper …

Simulation is favored by roboticists to evaluate controller design and software. Often, state
machines are drawn to convey overall ideas and used as a basis to program tool-specific …

In the context of MDE (Model-Driven Engineering), our objective is to define the semantics
for a given DSL (Domain Specific Language) either to simulate its models or to check …

Graphs may be used as representations of system states in operational semantics and
model checking; in the latter context, they are being investigated as an alternative to bit …

Many modeling languages share common concepts, such as types, expressions,
statements, or literals. Nonetheless, these essential language concerns are often developed …

Model executability is now a key concern in model-driven engineering, mainly to support
early validation and verification (V&V). Some approaches allow to weave executability into …

Cognitive research suggests that understanding the semantics, or the meaning, of
representations involves both ascension from concrete concepts denoting specific …

SysML is a variant of UML for systems design. Several formalisations of SysML (and UML)
are available. Our work is distinctive in two ways: a semantics for refinement and for a …

In software engineering transformational development is a paradigm consisting in the
progressive refinement of abstract models into concrete models, until program code. This …