Development of HiGraph Application


HiGraph is a system for presenting graphs, for displaying and manipulating hierarchical proofs generated by the proof planner IsaPlanner.

The software is currently in an early stage of development. It is relatively stable and usable, but contains many known bugs and lacks features required for its wide uptake. The project, therefore, is to remedy this situation by making HiGraph a more complete product.


This project has been requested by Alan Bundy for CISA, and is funded by a grant provided to the institute.


As CISA have specifically requested and funded this support, the development is to be performed as 'paid support'.


To produce an improved version of the HiGraph system. To produce a packaged and distributable release of the HiGraph system. To fix most serious bugs in the existing product, and add new features.


The entire project has a limited timescale of Jan - Mar 2007, as its time is constrained by the Proof General for Eclipse project and CISA's grant period.

It is desired that the project should be complete by the end of March 2007.


The existing HiGraph code base is to be improved to a packaged, distributable product which is more feature-complete and of a more finished quality.


The major risk to this project is that it is marginalised by the Proof General for Eclipse project, which might overrun, and not complete by the hard limit of end March 2007.


The timescale for this project depends on the grant period, which ends in March and means that this project is sharing effort with the Proof General for Eclipse project.


This project will be carried out by Graham Dutton, managed by Tim Colles as leader of the Research and Teaching Unit.


The project will require the development time of one CO.

This is a straightforward software development project with no exceptional computing demands, therefore no additional resources will be required.


  1. Refamiliarise with code
  2. Produce a distribution system for HiGraph
  3. Fix major bugs
  4. Extend documentation and testing
  5. Improve internal representation
  6. Provide extra features such as symbol and clipboard support
  7. Provide interface improvements


  1. Estimated at one week.
  2. Estimated at less than one week.
  3. Is difficult to quantify, but will form the bulk of the work and be an ongoing process. Expect six weeks. Details of the work required
  4. Will take several weeks, and will probably be approached incrementally.
  5. Should take no longer than a few days to implement, but could take a week or so to plan.
  6. High-priority features will take at least four weeks to implement, however the number of features integrated will depend on the time remaining.
  7. Will be performed if time remains, and will take several weeks, if time permits.


This project is the only one scheduled during this timeframe, though as computing officer it is possible that operational matters might take priority, should any responsibilities require urgent attention.

At present there is no expectation that any other task should take a significant proportion of the allocated time.

-- GrahamDutton - 27 Sep 2006 -- TimColles - 30 Oct 2006

Topic revision: r9 - 08 Nov 2006 - 08:58:15 - GrahamDutton
DICE.HiGraphProject moved from Sandbox.HiGraphProject on 30 Oct 2006 - 10:37 by TimColles - put it back
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback
This Wiki uses Cookies