@inproceedings{d835e732a94a4f04b9fe9ff3de730201,
title = "Universal arrow foundations for visual modeling",
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.",
author = "Zinovy Diskin and Boris Kadish and Frank Piessens and Michael Johnson",
year = "2000",
language = "English",
isbn = "3540679154",
volume = "1889",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer, Springer Nature",
pages = "345--360",
editor = "Michael Anderson and Peter Cheng and Volker Haarslev",
booktitle = "Theory and Application of Diagrams",
address = "United States",
note = "1st International Conference on Theory and Application of Diagrams, Diagrams 2000 ; Conference date: 01-09-2000 Through 03-09-2000",
}