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
A Principled Approach To The Integration Of Human Factors And Systems Engineering For Interactive Control System Design
TL;DR: It is argued that principles provide a framework which helps to ensure that human factors and systems engineering are integrated at all stages of development, and that the principled approach advocated in this thesis is methodologically inadequate.
Proceedings Article
Using Hy + for network management and distributed debugging
TL;DR: This paper shows how the Hy+/GraphLog system can be used by network managers or distributed debuggers to meet their information manipulation and visualization goals and for debugging of distributed and parallel applications.
Journal ArticleDOI
The Mystery of Deduction and Diagrammatic Aspects of Representation
TL;DR: In this paper, the authors identify the mystery of deduction as surprise-effect and demonstration-difficulty, and compare symbolic and diagrammatic representation systems in terms of how they handle these aspects.
Journal ArticleDOI
Bridging the gap between artificial market simulations and qualitative research in diffusion of innovation
Brent A. Zenobia,Charles Weber +1 more
TL;DR: A novel method combining qualitative marketing research and software engineering techniques to synthesize simulation-ready theories of consumer behavior that is sufficiently precise and formal to be expressed in Unified Modeling Language (UML).
Dissertation
Efficient visual navigation of hierarchically structured graphs.
TL;DR: A new variant, dynamic leaves, is introduced, which is based on the dynamic graph variant, but additionally allows insertion and deletion of graph nodes, i.
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.