uml2prov.github.io

Model View Controller (MVC) pattern

This case study is concerned with a system that manages the user’s registration in a system implemented following the MVC pattern. Here, we provide the following suplementary material:

1. The UML diagrams used to model the case study
2. The provenance templates generated
3. The set of bindings extracted from the execution
4. 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

Model UML State Machine diagram

View UML State Machine diagram

Controller UML State Machine diagram

User UML State Machine diagram