Chapter 4. SigPML execution semantics

4.1. Execution semantics overview

The execution semantics of the xDSML must define that all the model blocks run concurrently. The block execution is constrained by the access on the connectors associated with the block through input and output ports. So an execute function of the blocks is synchronized on the connector behavior.

The rate to acces to the connector is defined as an attribute of the ports called rate.

So we must define: - the Execution Data (ED) and Execution Function (EF) into the DSA definition - the MoCC with a MoCCML model - the mapping between the MoCC and the DSA (ED and EF)