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
Proceedings Article
Exploring large hyperdocuments: fisheye views of nested networks
TL;DR: Fisheye view as mentioned in this paper is a tool for exploring large nested hypertext networks by balancing local detail and global context, which can simultaneously display information at several levels of abstraction.
Journal ArticleDOI
Enhancing compositional reachability analysis with context constraints
Shing-Chi Cheung,Jeff Kramer +1 more
TL;DR: The global behaviour generated using the method is observationally equivalent to that generated by compositional reachability analysis without the inclusion of context constraints, which is presented as a method to alleviate the problem of state explosion in local subsystem minimisation.
Journal ArticleDOI
Graph Grammar Based Product Family Modeling
TL;DR: This paper defines a product family as a structured system to create variety of products with shared core product technologies that not only involves the shared base product, but also encompasses customization modules, standard designs, and primary patterns of variety to generate custom designs.
Journal ArticleDOI
A graph-based data model and its ramifications
Mark Levene,George Loizou +1 more
TL;DR: This work demonstrates that the hypernode model is a natural candidate for formalising hypertext, and shows how to bridge the gap between graph based and set based data models, and at what computational cost this can be done.
Journal Article
A Grand Challenge for Computing: Towards Full Reactive Modeling of A Multi-Cellular Animal.
TL;DR: The challenge is to construct a full, true-to-all-known-facts, 4-dimensional, fully animated model of the development and behavior of the C. elegans nematode worm, which is complex, but very well-defined in terms of anatomy and genetics.
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.