Phone Call
This case study is concerned with a system that manage a phone call.
Here, we provide the following suplementary material:
- The UML diagrams used to model the case study
- The provenance templates generated
- The set of bindings extracted from the execution
- For each binding, its expansion in SVG and PROVN format
Such a case study has been modelled through the following UML Sequence and State Machine Diagrams.
UML Sequence diagrams
UML State Machine diagrams
Cell Tower UML State Machine diagram
Phone UML State Machine diagram
User UML State Machine diagram