Telecharger Cours

Consistency checking UML interactions and state machines - CORE

Current Vertex (CV) = initial state. ? check1: Interaction Fragment (IF) is incoming - Sig1: 1. EffectTrans is null, CV is unchanged.



Download