Universal arrow foundations for visual modeling

Zinovy Diskin, Boris Kadish, Frank Piessens, Michael Johnson

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionpeer-review

40 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 Sept 20003 Sept 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
Country/TerritoryUnited 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