Home

Documents

Tools

People

Links

 
Documents

Reasoning with Diagrams Project Proposal.
Project Final Report
Constraint Diagram Editor User Guide
 

2005
A Decidable Constraint Diagram Reasoning System., Stapleton G., Howse J., Taylor J., Accepted for publication in Journal of Logic and Computation
Spider Diagrams, Howse J., Stapleton G., Taylor J. Accepted for publication in The LMS Journal of Computation and Mathematics.
The Semantics of Augmented Constraint Diagrams, Fish A., Flower J., Howse J.  Accepted for publication in Journal of Visual Languages and Computing.
Constructing Area-Proportional Venn and Euler Diagrams with Three Circles. Stirling Chow and Peter Rodgers. To appear in Proceedings of Euler Diagrams 2005.
On Spiders Feet. Gem Stapleton,  John Howse and Kate Toller. To appear in Proceedings of Euler Diagrams 2005.
Evaluating the Comprehension of Euler Diagrams. Florence Benoy and Peter Rodgers. To appear in Proceedings of Euler Diagrams 2005.
Defining Euler Diagrams: Choice and Consequences. Andrew Fish and Gem Stapleton. To appear in Proceedings of Euler Diagrams 2005.
Tableaux for Diagrammatic Reasoning, O. Patrascoiu, S. Thompson, P. Rodgers. Accepted for VLC2005.
A New Language for the Visualization of Logic and Reasoning, G. Stapleton, S. Thompson, A. Fish, J. Howse, J. Taylor. Accepted for VLC2005.
Precise Visual Modelling, Howse J., Schuman S. Available at SoSyM Journal Online First . Software and Systems Modelling Journal, Vol.4, No.3, August 2005.
 

2004
The Expressiveness of Spider Diagrams, Stapleton G., Thompson S., Howse J., Taylor J.  Journal of Logic and Computation. 14(6) pp 857 - 880, 2004.
Abstractions of Euler Diagrams, Fish A., Flower J.  Proceedings of 1st International workshop on Euler Diagrams, Brighton, September 2004. ENTCS Vol. 134, pp 77-101.
The Expressiveness of Spider Diagrams Augmented with Constants, Stapleton G., Howse J., Taylor J., Thompson S., VLHCC04, Visual Languages and Human Centric Computing, Rome, September 2004, pp 91 - 98.
Investigating Reasoning with Constraint Diagrams, Fish A., Flower J., VLFM04, Visual Languages and Formal Methods, Rome, September 2004. Electronic Notes in Theoretical Computer Science. Vol. 127, 4, April 2005, pp 53-69.
Dynamic Euler Diagram Drawing, Peter Rodgers, Paul Mutton, and Jean Flower. In Proceedings IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'04), pages 147-156. IEEE, September 2004.
Generating Proofs with Spider Diagrams Using Heuristics, Flower J., Masthoff J., Stapleton G. VLC'2004, International Workshop on Visual Languages and Computing, San Francisco, September 2004.
A Study into the Comprehension of Euler Diagrams. Florence Benoy and Peter Rodgers. Technical Report 14-04, Computing Laboratory, University of Kent, July 2004.
Nesting in Euler diagrams: syntax, semantics and construction, Flower J, Howse J, Taylor J, Software and Systems Modelling Journal, SoSyM Journal. Vol.3, March 2004, pp 55-67.
Drawing Graphs in Euler Diagrams, Paul Mutton, Peter Rodgers, and Jean Flower. In Alan Blackwell, Kim Marriot, and Atsushi Shimojima, editors, Diagrams 2004, LNAI 2980, pages 66-81. Springer-Verlag, March 2004.
Towards an Automatic Proof System for Scalecharts, Richard Bosworth.. In Alan Blackwell, Kim Marriot, and Atsushi Shimojima, editors, Diagrams 2004, LNAI 2980, pages 227-229. Springer-Verlag, March 2004.
Towards a Default Reading for Constraint Diagrams, Andrew Fish, John Howse. In Alan Blackwell, Kim Marriot, and Atsushi Shimojima, editors, Diagrams 2004, LNAI 2980, pages 51-65. Springer-Verlag, March 2004.
Generating Readable Proofs: A Heuristic Approach to Theorem Proving With Spider Diagrams , Flower J, Masthoff J, Stapleton G.In Alan Blackwell, Kim Marriot, and Atsushi Shimojima, editors, Diagrams 2004, LNAI 2980, pages 166-181. Springer-Verlag, March 2004.
What Can Spider Diagrams Say?, Stapleton G, Howse J, Taylor J, Thompson S., In Alan Blackwell, Kim Marriot, and Atsushi Shimojima, editors, Diagrams 2004, LNAI 2980, pages 112-127. Springer-Verlag, March 2004.
 Automated theorem proving with spider diagrams , Flower J, Stapleton G., CATS'04, Computing: The Australasian Theory Symposium , Dunedin , New Zealand, January 2004, ENTCS vol 91, Science Direct, pp 116-132.
Embedding OCL Expressions in YATL, Octavian Patrascoiu and Peter Rodgers. In Proceedings of the "OCL and Model Driven Engineering" workshop, UML'04, October 2004.
Mapping EDOC to Web Services using YATL, Octavian Patrascoiu. In Proceedings of the 8th International IEEE Enterprise Distributed Object Computing Conference (EDOC 2004), page 12, September 2004.
Model Transformations in YATL. Studies and Experiments, Octavian Patrascoiu. Technical Report 3-04, March 2004.
YATL: Yet Another Transformation Language - Reference Manual Version 1.0, Octavian Patrascoiu. Technical Report 2-04, March 2004.
YATL:Yet Another Transformation Language , Octavian Patrascoiu. In Proceedings of the 1st European MDA Workshop, MDA-IA, pages 83-90. University of Twente, the Nederlands, January 2004.
 

2003
A Relational Approach to Defining and Implementing Transformations in Metamodels, David Akehurst, Stuart Kent, and Octavian Patrascoiu. Software and Systems Modeling, 2(4):215-239, December 2003.
A Reading Algorithm for Constraint Diagrams, Fish A, Flower J, Howse, J., HCC '03, IEEE Symposium on human centric computing languages and environments, Auckland, New Zealand, October 2003, pp 161-168.
Computing Reading Trees for Constraint Diagrams, Fish A, Howse J., Proceedings of AGTIVE '03, Applications of Graph Transformations with Industrial Relevance, Charlottesville, Virginia, September 2003, LNCS 3062, Springer Verlag, pp 260-274.
A Constraint Diagram Reasoning System, Stapleton G, Howse J, Taylor J., VLC03, Distributed Multimedia Systems, International Conference on Visual Languages and Computing, Florida International University, Miami, September 2003, pp 263-270.
OCL 2.0: Implementing the Standard, David Akehurst, Peter Linington, and Octavian Patrascoiu. Technical report, Computer Laboratory, University of Kent, November 2003.
Tooling Metamodels with Patterns and OCL, D. H. Akehurst and O. Patrascoiu. In Proceedings of the Metamodelling for MDA Workshop, York, November 2003.
OCL: Implementing the Standard for Multiple Metamodels, David Akehurst and Octavian Patrascoiu. In OCL2.0-"Industry standard or scientific playground?" - Proceedings of the UML'03 workshop, page 19. Electronic Notes in Theoretical Computer Science, November 2003.
Layout Metrics for Euler Diagrams, Jean Flower, Peter Rodgers, and Paul Mutton. In Seventh International Conference on Information Visualization (IV03), pages 272-280. IEEE, July 2003.
 

2002
Nesting in Euler Diagrams, Flower J, Howse J, Taylor J, GT-VMT-02, International Workshop on Graph Transformation and Visual Modeling Techniques, Barcelona, October 2002, pp 99-108.
A Visual Framework for Modelling with Heterogeneous Notations, Flower J, Howse J, Kent S, Taylor J, technical note, HCC02 (IEEE Symposium on Human Centric Computing Languages and Environments)., September 2002, pp 71-73..