Universal arrow foundations for visual modeling

Zinovy Diskin; Boris Kadish; Frank Piessens; Michael Johnson

Universal arrow foundations for visual modeling

Zinovy Diskin, Boris Kadish, Frank Piessens, Michael Johnson

School of Computing

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review

39 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 language	English
Title of host publication	Theory and Application of Diagrams
Subtitle of host publication	First International Conference, Diagrams 2000 Edinburgh, Scotland, UK, September 2000 Proceedings
Editors	Michael Anderson, Peter Cheng, Volker Haarslev
Place of Publication	Berlin; Heidelberg
Publisher	Springer, Springer Nature
Pages	345-360
Number of pages	16
Volume	1889
ISBN (Electronic)	9783540679158
ISBN (Print)	3540679154
Publication status	Published - 2000
Event	1st International Conference on Theory and Application of Diagrams, Diagrams 2000 - Edinburgh, United Kingdom Duration: 1 Sep 2000 → 3 Sep 2000

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	1889
ISSN (Print)	03029743
ISSN (Electronic)	16113349

Other

Other	1st International Conference on Theory and Application of Diagrams, Diagrams 2000
Country/Territory	United Kingdom
City	Edinburgh
Period	1/09/00 → 3/09/00

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). Springer, Springer Nature.

Diskin, Zinovy ; Kadish, Boris ; Piessens, Frank ; Johnson, Michael. / Universal arrow foundations for visual modeling. Theory and Application of Diagrams: First International Conference, Diagrams 2000 Edinburgh, Scotland, UK, September 2000 Proceedings. editor / Michael Anderson ; Peter Cheng ; Volker Haarslev. Vol. 1889 Berlin; Heidelberg : Springer, Springer Nature, 2000. pp. 345-360 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@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",

}

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, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1889, Springer, Springer Nature, Berlin; Heidelberg, pp. 345-360, 1st International Conference on Theory and Application of Diagrams, Diagrams 2000, Edinburgh, United Kingdom, 1/09/00.

Universal arrow foundations for visual modeling. / Diskin, Zinovy; Kadish, Boris; Piessens, Frank; Johnson, Michael.

Theory and Application of Diagrams: First International Conference, Diagrams 2000 Edinburgh, Scotland, UK, September 2000 Proceedings. ed. / Michael Anderson; Peter Cheng; Volker Haarslev. Vol. 1889 Berlin; Heidelberg : Springer, Springer Nature, 2000. p. 345-360 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1889).

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review

TY - GEN

T1 - Universal arrow foundations for visual modeling

AU - Diskin, Zinovy

AU - Kadish, Boris

AU - Piessens, Frank

AU - Johnson, Michael

PY - 2000

Y1 - 2000

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

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

UR - http://www.scopus.com/inward/record.url?scp=84942908541&partnerID=8YFLogxK

M3 - Conference proceeding contribution

AN - SCOPUS:84942908541

SN - 3540679154

VL - 1889

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 345

EP - 360

BT - Theory and Application of Diagrams

A2 - Anderson, Michael

A2 - Cheng, Peter

A2 - Haarslev, Volker

PB - Springer, Springer Nature

CY - Berlin; Heidelberg

T2 - 1st International Conference on Theory and Application of Diagrams, Diagrams 2000

Y2 - 1 September 2000 through 3 September 2000

ER -

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

Universal arrow foundations for visual modeling

Abstract

Publication series

Other

Other files and links

Fingerprint

Cite this