Example
The example below shows a variation of the Lamport exclusion algorithm. Please see the features page for more details about the tool or documentation page for a description with more details of this example.
The client
 Fig.
1: Definition of the STS Client using the STSLib interface
|
 Fig.
2: The STS Client file generated
|
Fig.
3: Java implementation of the Client
The server
Fig.
4: The STS Server dot representation
A composite
Fig.
5: Composite component definition
The product
Fig.
6: Synchronous product
The configuration graph
Fig.
7: Configuration graph
The controler
Fig.
8: Example of a Controler that can be introduced to the application
The composite
 Fig.
9: Composite including the Controler
|
 Fig.
10: Architecture represented as a DOT file.
|
The product
Fig.
11: Synchornous product with the
Controler
The configuration graph
Fig.
12: Configuration graph with the Controler