Prover Diagrams: Difference between revisions

From Event-B
Jump to navigationJump to search
imported>Andy
No edit summary
imported>Mathieu
mNo edit summary
 
(10 intermediate revisions by one other user not shown)
Line 1: Line 1:
This Page is Under Construction !!!
<h1>Entity Relationship Diagrams for the Prover Code</h1>


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.


These diagrams describe which classes have access to information in other classes
<center>
<gallery>
Image:ProofStatus.png|Proof Status Diagram
Image:ProofTree2.png|Proof Tree Diagram
Image:UserSupportDiag.png|UserSupport Diagram
Image:TacticRegistry.png | Tactic UI Registry Diagram
</gallery>
</center>
 
[[Category:Design]]

Latest revision as of 12:02, 12 August 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.