This section contains the main results of the modelling phase developed with support of TMC partners. It details the MIDAS DSL compliant model of SCM SAUT. As the main purpose is to ensure that the SAUT is GS1 LIM compliant, the test model has to include the interchange of messages between different SUTs, so that we had to add interceptors and include loop and alt properties as combined fragments in the sequence diagrams, so that the model was getting more difficult and require extra support from TMC. A set of diagrams of the model are shown as follows:
