In this tutorial the user will be able to model-check that Service Mode Architectures are "safe" given their architecture, behaviour and constraints in a service modes architecture configuration.
Note: Ensure you have carried out the pre-requisites as described in the Preparation section.
THIS TUTORIAL IS STILL UNDER CONSTRUCTION
Steps
| 1. | Select the  Tab on the WS-Engineer View. |
| 2. | Select the Service Modes Specification File |
Click on the 
button to select a Service Modes Model Package, alternatively you can "drag and drop" the a UML2 XMI file on the Modes View as shown below. See Exporting a Modes Package for a sample of how to export a model to UML XMI format.