Home
Scholarly Works
Universal Arrow Foundations for Visual Modeling
Conference

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-diagram logic framework where specifications are directed graphs carrying a structure of diagram predicates and operations.

Authors

Diskin Z; Kadish B; Piessens F; Johnson M

Series

Lecture Notes in Computer Science

Volume

1889

Pagination

pp. 345-360

Publisher

Springer Nature

Publication Date

January 1, 2000

DOI

10.1007/3-540-44590-0_30

Conference proceedings

Lecture Notes in Computer Science

ISSN

0302-9743

Labels

View published work (Non-McMaster Users)

Contact the Experts team