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
A Classification Framework to Support the Design of Visual Languages
TL;DR: A formal framework of visual language classes is presented, each class characterizes a family of visual languages based upon the nature of their graphical objects and composition rules.
Proceedings Article
Using AToM 3 as a Meta-Case Tool.
Juan de Lara,Hans Vangheluwe +1 more
TL;DR: The power of combining meta-modelling and graph transformations by using the tool in a different application domain, namely as a meta-CASE tool is demonstrated.
Journal ArticleDOI
The semantics of augmented constraint diagrams
TL;DR: This work explicitly augment constraint diagrams with reading trees, which provides a partial ordering for the quantifiers (determining their scope as well as their relative ordering), and shows how to construct unambiguous semantics for the augmented constraint diagram.
Journal ArticleDOI
Diagramming information structures using 3D perceptual primitives
Pourang Irani,Colin Ware +1 more
TL;DR: The proposition that drawing three-dimensional shaded elements instead of using simple lines and outlines will result in diagrams that are easier to interpret is investigated and substructures can be identified much more accurately with shaded components than with 2D outline equivalents and remembered more reliably.
Proceedings ArticleDOI
Completeness and consistency analysis of state-based requirements
TL;DR: Methods for automatically analyzing formal, state-based requirements specifications for completeness and consistency are described, which scales up to large systems by decomposing the specification into smaller, analyzable parts and using functional composition rules to ensure that verified properties hold for the entire specification.
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.