Current metamodeling techniques can be used to specify the syntax and semantics of
domain specific modeling languages (DSMLs). Still, there is little support for explicitly …

We consider the role of collaborative modelling and co-simulation in the design of systems
of cyber-physical systems (SoCPSs). Such systems pose particular challenges to model …

The engineering of Systems of Systems presents daunting challenges. In this paper it is
argued that rigorous semantic foundations for model-based techniques are potentially …

In the context of Model-Based System Engineering (MBSE), Thales has developed a method
called Arcadia, and its dedicated workbench Capella. This approach provides engineer …

The complete and executable definition of a Domain Specific Language (DSL) includes the
specification of two essential facets: a model of the domain-specific concepts with actions …

Рассматриваются некоторые особенности моделирования в гуманитарной области,
которые могут использоваться для педагогического моделирования. Подчеркивается …

This paper describes an heterogeneous model of a power window which is available on the
ReMoDD repository. This model uses timed finite state machines for modeling the controller …

In the context of model-based system engineering (MBSE), the need emerges for model
verification tools aiming at detecting inconsistencies in the dynamic behavioral aspect of the …

We are more and more interacting with non-natural complex systems, thought up by the
human brain like smartphones, industrial robots, vehicles or home automation. Both words …

After a maturing period of over a decade, Model-Driven Engineering (Mde) starts to extend
to novel areas that include safetycritical or embedded, but also cyberphysical systems …