Type-syntax and token-syntax in diagrammatic systems

John Howse, F. Molina, S-J. Shin, John Taylor

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNChapter

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.
Original languageEnglish
Title of host publicationFormal ontology in information systems: Proceedings of the international conference on formal ontology in information systems
Place of PublicationNew York, USA
PublisherACM Press
Pages174-185
Number of pages12
Volume2001
ISBN (Print)1581133774
DOIs
Publication statusPublished - 2002

Fingerprint

Unified Modeling Language
Concretes
Syntactics
Standardization
Information systems
Semantics
Specifications
Industry

Keywords

  • concrete and abstract syntax
  • diagrammatic reasoning
  • formal methods
  • software specification
  • visual formalisms

Cite this

Howse, J., Molina, F., Shin, S-J., & 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 (Vol. 2001, pp. 174-185). New York, USA: ACM Press. https://doi.org/10.1145/505168.505185
Howse, John ; Molina, F. ; Shin, S-J. ; Taylor, John. / Type-syntax and token-syntax in diagrammatic systems. Formal ontology in information systems: Proceedings of the international conference on formal ontology in information systems. Vol. 2001 New York, USA : ACM Press, 2002. pp. 174-185
@inbook{20e85f6757f941dcbe6f5156e1f02236,
title = "Type-syntax and token-syntax in diagrammatic systems",
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.",
keywords = "concrete and abstract syntax, diagrammatic reasoning, formal methods, software specification, visual formalisms",
author = "John Howse and F. Molina and S-J. Shin and John Taylor",
year = "2002",
doi = "10.1145/505168.505185",
language = "English",
isbn = "1581133774",
volume = "2001",
pages = "174--185",
booktitle = "Formal ontology in information systems: Proceedings of the international conference on formal ontology in information systems",
publisher = "ACM Press",

}

Howse, J, Molina, F, Shin, S-J & 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. vol. 2001, ACM Press, New York, USA, pp. 174-185. https://doi.org/10.1145/505168.505185

Type-syntax and token-syntax in diagrammatic systems. / Howse, John; Molina, F.; Shin, S-J.; Taylor, John.

Formal ontology in information systems: Proceedings of the international conference on formal ontology in information systems. Vol. 2001 New York, USA : ACM Press, 2002. p. 174-185.

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNChapter

TY - CHAP

T1 - Type-syntax and token-syntax in diagrammatic systems

AU - Howse, John

AU - Molina, F.

AU - Shin, S-J.

AU - Taylor, John

PY - 2002

Y1 - 2002

N2 - 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.

AB - 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.

KW - concrete and abstract syntax

KW - diagrammatic reasoning

KW - formal methods

KW - software specification

KW - visual formalisms

U2 - 10.1145/505168.505185

DO - 10.1145/505168.505185

M3 - Chapter

SN - 1581133774

VL - 2001

SP - 174

EP - 185

BT - Formal ontology in information systems: Proceedings of the international conference on formal ontology in information systems

PB - ACM Press

CY - New York, USA

ER -

Howse J, Molina F, Shin S-J, Taylor J. 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. Vol. 2001. New York, USA: ACM Press. 2002. p. 174-185 https://doi.org/10.1145/505168.505185