On weak, lazy, and easy soundness in robustness diagrams with loop and time controls
The Robustness Diagram with Loop and Time Controls (RDLT) is a workflow model that captures the resource, process, and case workflow dimensions. Among the properties that such model has is classical soundness which implies two sub-properties of proper termination and liveness. Through weakening thes...
| المؤلف الرئيسي: | |
|---|---|
| مؤلفون آخرون: | |
| التنسيق: | أطروحة |
| اللغة: | English |