A reading algorithm for constraint diagrams

Proceedings - 2003 IEEE Symposium on Human Centric Computing Languages and Environments, HCC 2003

Volumn , Issue , 2003, Pages 161-168

  Fish, A ^a   Flower, J ^a   Howse, J ^a  

^a UNIVERSITY OF BRIGHTON   (United Kingdom)

Author keywords

constraint diagrams; diagrammatic reasoning; formal methods; software specification; Visual formalisms

Indexed keywords

CONSTRAINT DIAGRAMS; DEPENDENCE GRAPHS; DIAGRAMMATIC REASONING; PARTIAL ORDERING; SOFTWARE SPECIFICATION; SOFTWARE SYSTEMS; VISUAL FORMALISM; VISUAL NOTATIONS;

ALGORITHMS; FORESTRY; FORMAL METHODS; SEMANTICS; UNIFIED MODELING LANGUAGE;

GRAPHIC METHODS;

EID: 84878367550     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/HCC.2003.1260220     Document Type: Conference Paper

References (14)

1. L. Euler. Lettres a une princesse d'allemagne. Letters Vol 2, No. 102-108, 1761.
2. A. Fish and J. Howse. Computing Reading Trees for constraint diagrams. Submitted to AGTIVE03, 2003.
3. J. Flower and J. Howse. Generating Euler diagrams. In Proc. Diagrams 2002 pp 61-75. Springer-Verlag, 2002.
4. J. Gil, J. Howse, and S. Kent. Towards a formalization of constraint diagrams. In Proc. Symp. on Human-Centric Computing, pp 72-79. IEEE Press, 2001.
5. E. Hammer. Logic and Visual Information. CSLI Publications, 1995.
6. J. Howse, F. Molina, and J. Taylor. SD2: A sound and complete diagrammatic reasoning system. In Proc. Symp. on Visual Languages (VL2000), pp 127-136. IEEE Press, 2000.
7. J. Howse, F. Molina, J. Taylor, S. Kent, and J. Gil. Spider diagrams: A diagrammatic reasoning system. JVLC 12, pp 299-324, 2001. (Pubitemid 33652034)
8. J. Howse, G. Stapleton, J. Taylor, and J. Flower. Corresponding regions in Euler diagrams. In Proc. Diagrams 2002, pp 146-160. Springer-Verlag, 2002.
9. S. Kent. Constraint diagrams: Visualising invariants in object oriented models. In Proceedings of OOP-SLA97, ACM SIGPLAN Notices, 1997.
10. Visual Modelling Group (VMG) at Brighton home page: www.cmis.brighton.ac. uk/Research/vmg.
11. OMG. UML specification, version 1.4. Available from www.omg.org.
12. S.-J. Shin. The Logical Status of Diagrams. Cambridge University Press, 1994.
13. J. Venn. On the diagrammatic and mechanical representation of propositions and reasonings. Phil.Mag, 1880.
14. J. Warmer and A. Kleppe. The Object Constraint Language. Addison-Wesley, 1998.