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
Visual language implementation through standard compiler-compiler techniques
TL;DR: The technique exploits eXtended Positional Grammars (XPGs) for modeling the visual languages in a natural way, and uses a set of mapping rules to translate an XPG specification into a translation schema that lets us generate visual language parsers through standard compiler-compiler techniques and tools like YACC.
Book ChapterDOI
Specification of Requirements Models
TL;DR: The main aim of this chapter is to present and discuss a set of modeling and specification techniques, in what concerns their ontology and support in the requirements representation of computer-based systems.
Journal ArticleDOI
Abstract hierarchical graph transformation
TL;DR: A new hierarchical graph model is introduced to structure large graphs into small components by distributing the nodes (and, likewise, edges) into a hierarchy of packages such that hierarchical graphs are not restricted to being used only for the static representation of complex system states, but can also be used to describe dynamic system behaviour.
Journal ArticleDOI
Nesting in Euler Diagrams: syntax, semantics and construction
TL;DR: The concept of a dual graph is used to give an alternative condition for a drawable abstract Euler diagram to be nested, and the natural progression to the diagram semantics is explored and a “nested form” is presented for diagram semantics.
Book ChapterDOI
Drawing graphs in Euler diagrams
TL;DR: The method for drawing graph-enhanced Euler diagrams enhanced with graphs using a three stage method is generalizable to drawing Hypergraphs represented in the subset standard, or to drawing Higraphs where edges are restricted to connecting with only atomic nodes.
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.