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....
| 主要作者: | |
|---|---|
| 其他作者: | |
| 格式: | Thesis |
| 语言: | English |