This paper focuses on the challenges of modeling cyber–physical systems (CPSs) that arise
from the intrinsic heterogeneity, concurrency, and sensitivity to timing of such systems. It …

It is now more than fifty years since the first paper on formal specifications of an information
system was published by Young and Kent. Even if the term “conceptual model” was not used …

Domain-Specific Languages (DSLs) are now developed for a wide variety of domains to
address specific concerns in the development of complex systems. When engineering new …

Programming languages are complex systems that are usually implemented as monolithic
interpreters and compilers. In recent years, researchers and practitioners gained interest in …

Programming languages are complex software systems integrated across an ecosystem of
different applications such as language compilers or interpreters but also an integrated …

Although most programming languages naturally share several language features, they are
typically implemented as a monolithic product. Language features cannot be plugged and …

The increasing complexity of reactive systems can be mitigated with the use of components
and composition languages in model-driven engineering. Designing composition languages …

This paper focuses on the challenges of modeling cyber-physical systems that arise from the
intrinsic heterogeneity, concurrency, and sensitivity to timing of such systems. It uses a …

Abstract Domain Specific Languages (DSLs) are widely adopted to capitalize on business
domain experiences. Consequently, DSL development is becoming a recurring activity …

Statecharts are a visual technique for modelling reactive behaviour. Over the years, a
plethora of statechart semantics have been proposed. The three most widely used are the …