Towards a formalization of constraint diagrams

2001 IEEE Symposium on Human-Centric Computing

Volumn , Issue , 2001, Pages 72-79

  Gil, Joseph ^a   Howse, John ^b   Kent, Stuart ^c  

^a TECHNION ISRAEL INSTITUTE OF TECHNOLOGY   (Israel)

^b UNIVERSITY OF BRIGHTON   (United Kingdom)

^c UNIVERSITY OF KENT   (United Kingdom)

Author keywords

Formal methods; Software specification; Visual formalisms

Indexed keywords

CONSTRAINT THEORY; PROBLEM SOLVING; SEMANTICS; SET THEORY; TREES (MATHEMATICS);

VISUAL FORMALISMS;

FORMAL LOGIC;

EID: 0035790820     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (17)

1. L. Euler. Lettres a Une Princesse d'Allemagne, volume 2. 1761. Letters No. 102-108.
2. J. Gil, J. Howse, S. Kent. Formalising Spider Diagrams, Proc. VL99, Tokyo, Sept 1999. IEEE Press, 130-137.
3. J. Gil, J. Howse, E. Tulchinsky. Positive semantics of projections. Accepted for JVLC. To appear, 2001.
4. J. Gil, Y. Sorkin. The Constraint Diagrams Editor, http://www.cs.technion.ac.il/Labs/ssdl/research/cdeditor/.
5. E. Hammer. Logic and Visual Information. CSLI Publications, 1995.
6. D. Harel. On visual formalisms. In J. Glasgow, N. H. Narayan, B. Chandrasekaran, eds, Diagrammatic Reasoning, 235-271. MIT Press, 1998.
7. J. Howse, F. Molina, J. Taylor. SD2: A sound and complete diagrammatic reasoning system. Proc. VL 2000, Seattle, Sept 2000. IEEE Press, 127-136.
8. J. Howse, F. Molina, J. Taylor. On the completeness and expressiveness of spider diagram systems. Proc. Diagrams 2000, Edinburgh, Sept 2000. LNAI 1889, Springer, 2641.
9. J. Howse, F. Molina, J. Taylor, S. Kent, J. Gil. Spider Diagrams: A Diagrammatic Reasoning System. Accepted for JVLC. To appear, 2001.
10. S. Kent. Constraint diagrams: Visualising invariants in object oriented models. In In Proc. OOPSLA97, ACM SIGPLAN Notices 32, 1997.
11. S. Kent and J. Howse. Constraint Trees, in Clark A, Wanner J (eds), Advances in Object Modelling with OCL, Springer Verlag. To appear.
12. R. Lull. Ars Magma. Lyons, 1517.
13. Object Management Group. Unified Modeling Language Specification, Version 1.3. Available from www.omg.org.
14. C. Peirce. Collected Papers. Harvard Univ. Press, 1933.
15. S.-J. Shin. The Logical Status of Diagrams. CUP, 1994.
16. J. Venn. On the diagrammatic and mechanical representation of propositions and reasonings. Phil. Mag., 1880. 123.
17. J. Warmer and A. Kleppe. The Object Constraint Language: Precise Modeling with UML. Addison-Wesley, 1998.