Difference between revisions of "Prover Diagrams"
From Event-B
Jump to navigationJump to searchimported>Andy |
imported>Andy |
||
| Line 5: | Line 5: | ||
These diagrams describe the relationships between classes/interfaces - in terms of access to information in related classes. The diagrams are not fully descriptive like a UML class diagram, but contain sufficient information to begin to understand the structural relationships within the RODIN proof tool. The diagrams were produced as an aid to visualising these relationships in order to better understand the structure. | These diagrams describe the relationships between classes/interfaces - in terms of access to information in related classes. The diagrams are not fully descriptive like a UML class diagram, but contain sufficient information to begin to understand the structural relationships within the RODIN proof tool. The diagrams were produced as an aid to visualising these relationships in order to better understand the structure. | ||
| − | + | <gallery> | |
| + | Image:ProofStatus.png|Proof Status Diagram | ||
| + | Image:ProofTree.png|Proof Tree Diagram | ||
| + | Image:UserSupportDiag.png|UserSupport Diagram | ||
| + | </gallery> | ||
Revision as of 14:01, 5 May 2009
This Page is Under Construction !!!
Entity Relationship Diagrams for the Prover
These diagrams describe the relationships between classes/interfaces - in terms of access to information in related classes. The diagrams are not fully descriptive like a UML class diagram, but contain sufficient information to begin to understand the structural relationships within the RODIN proof tool. The diagrams were produced as an aid to visualising these relationships in order to better understand the structure.
Proof Status Diagram
Proof Tree Diagram
UserSupport Diagram
