NDLI: Type-syntax and token-syntax in diagrammatic systems

Please wait, while we are loading the content...

FOIS introduction: Ontology---towards a new synthesis

Opening plenary talk: Recent advances in metaphysics

Towards a standard upper ontology

Information systems as social structures

The view from the trenches: issues in the ontology of restricted domains

GOL: toward an axiomatized upper-level ontology

OntoMap: portal for upper-level ontologies

On category theory as a (meta) ontology for information systems research

Towards an understanding of model executability

An enriched knowledge model for formal ontological analysis

Viewing composition tables as axiomatic systems

Space, time, matter and things

Ontological engineering for B2B E-commerce

Towards scott domains-based topological ontology models

A note on proximity spaces and connection based mereology

Ontological semantics, formal ontology, and ambiguity

Preventing existence

Type-syntax and token-syntax in diagrammatic systems

The human conceptual system

Ontology: its transformation from philosophy to information systems

Formalising bio-spatial knowledge

Mereotopological reasoning about parts and (w)holes in bio-ontologies

Aspects of the taxonomic relation in the biomedical domain

Identity criteria and sortal concepts

Towards a consistent logical framework for ontological analysis

A formal foundation for process modeling

Using text processing techniques to automatically enrich a domain ontology

Conceptual analysis of lexical taxonomies: the case of WordNet top-level

Resolving semantic heterogeneity in schema integration

Granular partitions and vagueness

Introducing granularity-dependent quantitative distance and diameter measures in common-sense reasoning contexts

Formal process ontology

Type-syntax and token-syntax in diagrammatic systems

Content Provider	ACM Digital Library
Author	Howse, John Shin, Sun-Joo Molina, Fernando Taylor, John
Abstract	While it is crucial to understand the formal structure of thesemantic domain of an information system, in this paper we raise anontological issue about the syntactic aspect of a representationsystem through a case study on a diagrammatic system. The uptake inthe software industry of notations for designing systems visuallyhas been accelerated with the standardization of the UnifiedModeling Language (UML). The formalization of diagrammaticnotations is important for the development of essential toolsupport and to allow reasoning to take place at the diagrammaticlevel. Focusing on an extended version of Venn and Eulerdiagram(which was developed to complement UML in the specificationof software systems), this paper presents two levels of syntax forthis system: type-syntax and token-syntax. Token-syntax is aboutparticular diagrams instantiated on some physical medium, andtype-syntax provides a formal definition with which a concreterepresentation of a diagram must comply. While these two levels ofsyntax are closely related, the domains of type-syntax andtoken-syntax are ontologically independent, that is, one isabstract and the other concrete. We discuss the roles oftype-syntax and token-syntax in diagrammatic systems and show thatit is important to consider both levels of syntax in diagrammaticreasoning systems and in developing software tools to support suchsystems.
Starting Page	174
Ending Page	185
Page Count	12
File Format	PDF
ISBN	1581133774
DOI	10.1145/505168.505185
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2001-10-17
Publisher Place	New York
Access Restriction	Subscribed
Subject Keyword	Visual formalisms Formal methods Concrete and abstract syntax Diagrammatic reasoning Software specification
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Type-syntax and token-syntax in diagrammatic systems (2001)

Spider diagrams.

Nesting in Euler Diagrams: syntax, semantics and construction

Abstract syntax and semantics of visual languages (1998)

Abstract Syntax from Concrete Syntax

Abstract Syntax from Concrete Syntax (1997)

On Diagram Tokens and Types (2002)

Model-based formal specification directed testing of abstract data types

Metamodel-aware textual concrete syntax specification (2006)

Type-syntax and token-syntax in diagrammatic systems

Similar Documents

Type-syntax and token-syntax in diagrammatic systems (2001)

Spider diagrams.

Nesting in Euler Diagrams: syntax, semantics and construction

Abstract syntax and semantics of visual languages (1998)

Abstract Syntax from Concrete Syntax

Abstract Syntax from Concrete Syntax (1997)

On Diagram Tokens and Types (2002)

Model-based formal specification directed testing of abstract data types

Metamodel-aware textual concrete syntax specification (2006)

Type-syntax and token-syntax in diagrammatic systems