Dynamic semantics refer to the interpretation of a given set of modeling constructs at run-time. It specifies the meaning that associates with particular model instances after them begin to interact with an execution environment.
In the example of real-time scheduling systems, dynamic semantic could be expressed as: