Classical soundness of robustness diagram with loop and the time controls and its related properties in sequence diagrams
The Robustness Diagram with Loop and Time Controls is an ideal workflow model for representing systems, because it can capture the resource, process, and case dimensions. To support RDLT analysis and verification, previous literature focused on model decomposition of RDLT into other workflow models....
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Thesis |
| Language: | English |