Beschreibung:
<jats:title>Abstract</jats:title><jats:p>Architecture definition models in system engineering usually include different views and sets of concepts, more or less correlated to each other, such as activities or functions, time‐ordered sequences, state machines. Ensuring these descriptions are coherent is in no means trivial, usually requiring either formal checking or behavioral simulation, at the expense of extra modeling work. This paper addresses coherence verification at a first level, needing little effort, to detect flaws in in the model as early as possible, before entering more in depth and more costly simulation or formal proofing. To make this verification possible, we define a model execution semantic based on a mix of model exploration and dynamic execution techniques.</jats:p>