Universal arrow foundations for visual modeling

Zinovy Diskin, Boris Kadish, Frank Piessens, Michael Johnson

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

38 Citations (Scopus)

Abstract

The goal of the paper is to explicate some common formal logic underlying various notational systems used in visual modeling. The idea is to treat the notational diversity as the diversity of visualizations of the same basic specificational format. It is argued that the task can be well approached in the arrow-diagramlogic framework where specifications are directed graphs carrying a structure of diagrampre dicates and operations.

Original languageEnglish
Title of host publicationTheory and Application of Diagrams
Subtitle of host publicationFirst International Conference, Diagrams 2000 Edinburgh, Scotland, UK, September 2000 Proceedings
EditorsMichael Anderson, Peter Cheng, Volker Haarslev
Place of PublicationBerlin; Heidelberg
PublisherSpringer, Springer Nature
Pages345-360
Number of pages16
Volume1889
ISBN (Electronic)9783540679158
ISBN (Print)3540679154
Publication statusPublished - 2000
Event1st International Conference on Theory and Application of Diagrams, Diagrams 2000 - Edinburgh, United Kingdom
Duration: 1 Sep 20003 Sep 2000

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume1889
ISSN (Print)03029743
ISSN (Electronic)16113349

Other

Other1st International Conference on Theory and Application of Diagrams, Diagrams 2000
CountryUnited Kingdom
CityEdinburgh
Period1/09/003/09/00

Fingerprint Dive into the research topics of 'Universal arrow foundations for visual modeling'. Together they form a unique fingerprint.

  • Cite this

    Diskin, Z., Kadish, B., Piessens, F., & Johnson, M. (2000). Universal arrow foundations for visual modeling. In M. Anderson, P. Cheng, & V. Haarslev (Eds.), Theory and Application of Diagrams: First International Conference, Diagrams 2000 Edinburgh, Scotland, UK, September 2000 Proceedings (Vol. 1889, pp. 345-360). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1889). Berlin; Heidelberg: Springer, Springer Nature.