Difference between revisions of "Prover Diagrams"

From Event-B
Jump to navigationJump to search
imported>Andy
imported>Andy
Line 6: Line 6:
 
<gallery>
 
<gallery>
 
Image:ProofStatus.png|Proof Status Diagram
 
Image:ProofStatus.png|Proof Status Diagram
Image:ProofTree.png|Proof Tree Diagram
+
Image:ProofTree2.png|Proof Tree Diagram
 
Image:UserSupportDiag.png|UserSupport Diagram
 
Image:UserSupportDiag.png|UserSupport Diagram
 
</gallery>
 
</gallery>
 
</center>
 
</center>

Revision as of 07:31, 17 June 2009

Entity Relationship Diagrams for the Prover Code

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.