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 Pre-Programming Introduction to Algorithmics
TL;DR: An introductory course to algorithmics is described, which is recommended as a first course in a study program leading to teachers’ certification in computer science, and a visual tool is introduced, to help in the designing and developing of algorithms.
Proceedings Article
Towards Specifying with Inclusions
TL;DR: A functional specification language based on inclusions between set expressions, which shows that reasoning with inclusions is well captured by bi-rewriting, a rewriting technique introduced by Levy and Agusti [15].
Developing Distributed Systems Step by Step with UML-RT
TL;DR: It is argued that Case tools provide a valuable support for the presentation and analysis of models, but more support for a stepwise development process is still needed, and conceptions of refinement can help to provide this support.
Proceedings ArticleDOI
A formal study of a visual language for the visualization of document type definition
TL;DR: This formal study proposes a transformational approach to the definition of general purpose visual languages based on hierarchical structures, addressing more specifically DTD visualization as its application area and shows that such visual languages can be constructed through progressive refinement of a syntax based on nested/juxtaposed rectangles.
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.