Abstract In recent years, Model‐Based Systems Engineering (MBSE) practices have been
applied in various industries to design, simulate and verify complex systems. The verification …

This article is a contribution to the INCOSE initiative for model‐based engineering
transformation. Its material has been presented at the ALSEE tour event in Oslo in …

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

Coordination is a system-level concern defining execution and interaction semantics of
functional computations. Separating coordination from functional computations is a key …

Mobile apps can integrate sensors and actuators in Internet-of-Things systems to achieve
novel and diverse functionalities. For instance, apps can implement self-management and …

Ptolemy‡ is an open-source and extensible modelling and simulation framework. It offers
heterogeneous modeling capabilities by allowing different models of computation, both …

Ptolemy is an open-source and extensible modeling and simulation framework. It offers
heterogeneous modeling capabilities by allowing different models of computation to be …

Hybrid Event-B, initially introduced for single machines to add continuously varying
behaviour to discrete change of state in Event-B, is extended to cater for multiple …

The increased complexity of high-consequence digital system designs with intricate
interactions between numerous components has placed a greater need on ensuring that the …

Agent interaction descriptions (or protocols) are a key aspect of the design of multi-agent
systems. However, in the authors' extensive experience, the notations commonly used for …