Computing readingtrees for constraint diagrams

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3062, Issue , 2004, Pages 260-274

  Fish, Andrew ^a   Howse, John ^a  

^a UNIVERSITY OF BRIGHTON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; DIRECTED GRAPHS; GRAPH THEORY; GRAPHIC METHODS; MODELING LANGUAGES; SEMANTICS; UNIFIED MODELING LANGUAGE; VISUAL LANGUAGES;

CONSTRAINT DIAGRAMS; DEPENDENCE GRAPHS; GRAPH TRANSFORMATION; PARTIAL ORDER; SEMANTIC INTERPRETATION; SOFTWARE SYSTEMS; VENN DIAGRAMS; VISUAL NOTATIONS;

FORESTRY;

EID: 35048891228     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-25959-6_19     Document Type: Article

References (13)

1. P. Bottoni,M. Koch, F. Parisi-Presicce, and G. Taentzer. A visualisation of OCL using collaborations. In Proc UML '01, volume 2185 of LNCS, Springer-Verlag, 2001.
2. L. Euler.Lettres a une princesse d'allemagne. Letters, (2):102-108, 1761.
3. A. Fish,J. Flower, and J. Howse. A reading algorithm for constraint diagrams. In Proc HCC '03, pages 161-168, 2003.
4. J. Flowerand J. Howse. Generating Euler diagrams. In Proc of Diagrams '02, pages 61-75. Springer-Verlag, 2002.
5. E. Hammer.Logic and Visual Information. CSLI Publications,1995.
6. J. Howse,F. Molina, J. Taylor, S. Kent, and J. Gil. Spider diagrams: A diagrammatic reasoning system. JVLC,12:299-324, 2001.
7. S. Kent.Constraint diagrams: Visualising invariants in object oriented models. In Proc OOPSLA97, pages 327-341. ACM SIGPLAN Notices, 1997.
8. The KeYProject.
9. Kent ModellingFramework (KMF).
10. OMG: UMLSpecification, Version1.4.
11. S.-J. Shin.The Logical Status of Diagrams. Cambridge University Press,1994.
12. J. Venn.On the diagrammatic and mechanical representation of propositions and reasonings. Phil. Mag,1880.
13. J. Warmerand A. Kleppe. The Object Constraint Language. Addison-Wesley,1998.