Type-syntax and token-syntax in diagrammatic systems

Formal Ontology in Information Systems: Collected Papers from the Second International Conference

Volumn , Issue , 2001, Pages 174-185

  Howse, John ^a   Molina, Fernando ^a   Taylor, John ^a   Shin, Sun Joo ^b  

^a UNIVERSITY OF BRIGHTON   (United Kingdom)

^b UNIVERSITY OF NOTRE DAME   (United States)

Author keywords

Concrete and abstract syntax; Diagrammatic reasoning; Formal methods; Software specification; Visual formalisms

Indexed keywords

ALGORITHMS; COMPUTER SOFTWARE; SEMANTICS; SPECIFICATIONS;

DIAGRAMMATIC REASONING;

INFORMATION SCIENCE;

EID: 0035789867     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/505168.505185     Document Type: Conference Paper

References (16)

1. L. Euler. Lettres a Une Princesse d'Allemagne, volume 2. 1761. Letters No. 102-108.
2. J. Flower. Generating Constraint Diagrams. MSc diss., Univ. of Brighton, 2000.
3. J. Gil, J. Howse, S. Kent. Formalising Spider Diagrams, Proc. IEEE Symposium on Visual Languages (VL99), Tokyo, Sept 1999. IEEE Computer Society Press, 130-137.
4. J. Gil, Y. Sorkin. The Constraint Diagrams Editor. Available at http://www.cs.technion.ac.il/Labs/ssdl/research/cdeditor/.
5. N. Goodman. Languages of Art: An approach to a theory of symbols. Hackett Publishing Co, INC. 1976.
6. E. Hammer. Logic and Visual Information. CSLI Publications, 1995.
7. J. Howse, F. Molina, J. Taylor. On the completeness and expressiveness of spider diagram systems. Proc. Diagrams 2000, Edinburgh, Sept 2000. LNAI 1889, Springer, 26-41.
8. J. Howse, F. Molina, J. Taylor, S. Kent, J. Gil. Spider Diagrams: A Diagrammatic Reasoning System. Accepted for J. of Visual Languages and Computing. To appear, 2001.
9. S. Kent. Constraint diagrams: Visualising invariants in object oriented models. In Proceedings of OOPSLA97, ACM SIGPLAN Notices 32, 1997.
10. R. Lull. Ars Magma. Lyons, 1517.
11. F. Molina. Reasoning with extended Venn-Peirce diagrammatic systems. PhD Thesis, Univ of Brighton, 2001.
12. OMG. UML Specification, Version 1.3. Available from www.omg.org.
13. C. Peirce. Collected Papers Vol. 4. Harvard Univ. Press, 1933.
14. P. Scotto di Luzio. Patching up a logic of Venn diagrams. Selected papers from the sixth CSLI WS on Logic, Language and Computation. CSLI Publications, Stanford, 2000.
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.