Examples For LTSA and Plug-ins
Categories
 | Finite State Processes (Core LTSA) |
| Description | Type | Tutorial | Author | Source |
| Concurrency: State Models & Java Programs Book (Chapter Source)
Buffers, Threads, Ports, Messaging Models |
lts | - | Jeff Magee and Jeff Kramer Imperial College London |
|
| Message Sequence Charts (LTSA-MSC) |
| Description | Type | Tutorial | Author | Source |
| MSC Scenarios
Boiler, Bank, Cruiser, eB2B |
xml | - | Sebastian Uchitel Imperial College London |
|
| Implied Scenarios
Trivial example of detecting implied scenarios |
xml | - | Sebastian Uchitel Imperial College London |
|
| MSC Tutorial
Password Scenario |
xml | Here | Sebastian Uchitel Imperial College London |
|
|
Note: LTSA WS-Engineer Example files have moved |
