Type-syntax and token-syntax in diagrammatic systems

Howse, J., Molina, F., Shin, S-J. and Taylor, J. (2002) Type-syntax and token-syntax in diagrammatic systems In: Formal ontology in information systems: Proceedings of the international conference on formal ontology in information systems. ACM Press, New York, USA, pp. 174-185. ISBN 1581133774

[img] Text
FOIS01.pdf
Restricted to Registered users only

Download (154kB)

Abstract

While it is crucial to understand the formal structure of the semantic domain of an information system, in this paper we raise an ontological issue about the syntactic aspect of a representation system through a case study on a diagrammatic system. The uptake in the software industry of notations for designing systems visually has been accelerated with the standardization of the Unified Modeling Language (UML). The formalization of diagrammatic notations is important for the development of essential tool support and to allow reasoning to take place at the diagrammatic level. Focusing on an extended version of Venn and Euler diagram(which was developed to complement UML in the specification of software systems), this paper presents two levels of syntax for this system: type-syntax and token-syntax. Token-syntax is about particular diagrams instantiated on some physical medium, and type-syntax provides a formal definition with which a concrete representation of a diagram must comply. While these two levels of syntax are closely related, the domains of type-syntax and token-syntax are ontologically independent, that is, one is abstract and the other concrete. We discuss the roles of type-syntax and token-syntax in diagrammatic systems and show that it is important to consider both levels of syntax in diagrammatic reasoning systems and in developing software tools to support such systems.

Item Type: Chapter in book
Uncontrolled Keywords: concrete and abstract syntax; diagrammatic reasoning; formal methods; software specification; visual formalisms
Subjects: G000 Computing and Mathematical Sciences > G500 Information Systems
DOI (a stable link to the resource): 10.1145/505168.505185
Faculties: Faculty of Science and Engineering > School of Computing, Engineering and Mathematics > Visual Modelling
Depositing User: Helen Webb
Date Deposited: 26 Nov 2007
Last Modified: 14 Oct 2014 13:33
URI: http://eprints.brighton.ac.uk/id/eprint/3280

Actions (login required)

View Item View Item

Downloads

Downloads per month over past year