Journal ArticleDOI
On visual formalisms
TLDR
The higraph, a general kind of diagramming object, forms a visual formalism of topological nature that is suited for a wide array of applications to databases, knowledge representation, and the behavioral specification of complex concurrent systems using the higraph-based language of statecharts.Abstract:
The higraph, a general kind of diagramming object, forms a visual formalism of topological nature. Higraphs are suited for a wide array of applications to databases, knowledge representation, and, most notably, the behavioral specification of complex concurrent systems using the higraph-based language of statecharts.read more
Citations
More filters
Book ChapterDOI
Abstraction in reasoning about higraph-based systems
John Power,Konstantinos Tourlas +1 more
TL;DR: This work characterise zooming by means of a universal property and establish a precise relationship between the dynamics of a higraph and that of its zoom-out.
Journal ArticleDOI
Dialogue specification and control: a review of models and techniques
David T Clarke,Geoff P Crum +1 more
TL;DR: Notations covered include state transition diagrams, grammars, event-based approaches, formal notations and object-oriented techniques, which have been proposed for dialogue specification and control in interactive systems.
Journal ArticleDOI
An Algebraic Foundation for Graph-based Diagrams in Computing
John Power,Konstantinos Tourlas +1 more
TL;DR: An algebraic foundation for some of the graph-based structures underlying a variety of popular diagrammatic notations for the specification, modelling and programming of computing systems is developed.
Proceedings ArticleDOI
An algebra of lines and boxes
TL;DR: This document explains how a spatial syntax of lines and boxes can be defined to have algebraic properties such that touching represents data structuring, adjacency represents application, and separation represents superposition.
Proceedings ArticleDOI
DHHTGraphs - Modeling beyond plain graphs
Daniel Bildhauer,Jürgen Ebert +1 more
TL;DR: This paper introduces an enhanced approach offering a seamless integration of these concepts, called Distributed Hierarchical Hyper-TGraphs (DHHTGraphs), described in detail including a metamodeling language and an efficient implementation.
References
More filters
Book
Introduction to Automata Theory, Languages, and Computation
TL;DR: This book is a rigorous exposition of formal languages and models of computation, with an introduction to computational complexity, appropriate for upper-level computer science undergraduates who are comfortable with mathematical arguments.
Journal ArticleDOI
Communicating sequential processes
TL;DR: It is suggested that input and output are basic primitives of programming and that parallel composition of communicating sequential processes is a fundamental program structuring method.
Journal ArticleDOI
Statecharts: A visual formalism for complex systems
TL;DR: It is intended to demonstrate here that statecharts counter many of the objections raised against conventional state diagrams, and thus appear to render specification by diagrams an attractive and plausible approach.
Book
The entity-relationship model: toward a unified view of data
TL;DR: A data model, called the entity-relationship model, is proposed that incorporates some of the important semantic information about the real world and can be used as a basis for unification of different views of data: the network model, the relational model, and the entity set model.