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
Journal ArticleDOI
On statecharts with overlapping
David Harel,Chaim-arie Kahana +1 more
TL;DR: The problem of extending the language of statecharts to include overlapping states and the subtlety of the problem is illustrated by exhibiting the shortcomings of naive approaches and the syntax and formal semantics of the extension are presented.
Proceedings ArticleDOI
Layout metrics for Euler diagrams
TL;DR: A set of suitable metrics to be used within a hill climbing multicriteria optimiser to produce "good" drawings is defined, and a set of metrics that measure aesthetics for good diagram layout are described.
Journal ArticleDOI
Integration of sequential scenarios
TL;DR: A formal relation-based definition of scenarios is given and it is shown how different scenarios can be integrated to obtain a more global view of user-system interactions.
Journal ArticleDOI
TreeMatrix: A Hybrid Visualization of Compound Graphs
TL;DR: A hybrid visualization technique for compound graphs that combines the use of adjacency matrices, node‐link and arc diagrams to show the graph, and also combines theUse of nested inclusion and icicle diagrams to shows the hierarchical clustering.
Journal ArticleDOI
The minority report: some common assumptions to reconsider in the modelling of the brain and behaviour
TL;DR: This paper focuses on the extent to which the computational understanding of how the brain works is shaped by three rarely discussed assumptions, which span the levels of Marr's hierarchy: that animal behaviour amounts to a series of stimulus/response bouts, and that massively parallel, uniformly connected layered or recurrent network architectures suffice to support learning and behaviour.
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.