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
Book ChapterDOI
Issues in the Practical Use of Graph Rewriting
TL;DR: Graphs are a popular data structure, and graph-manipulation programs are common, but graph-rewriting is not convenient for solving all aspects of a problem: better mechanisms are needed for interfacing graph rewriting with other styles of computation.
Book ChapterDOI
A Formal Definition of Hierarchical Predicate Transition Nets
TL;DR: This paper provides a formal syntax and an algebraic semantics for hierarchical predicate transition nets, which establish the theory of hierarchicalpredicate transition nets for precise specification and formal reasoning.
Journal ArticleDOI
Distributed State Space Generation of Discrete-State Stochastic Models
TL;DR: In this paper, a distributed algorithm for the generation of state space graphs is proposed, which takes advantage of the combined memory readily available on a network of workstations and can be linked to a number of existing system modeling tools.
Journal ArticleDOI
A framework for modeling and implementing visual notations with applications to software engineering
TL;DR: A framework for modeling visual notations and for generating the corresponding visual programming environments is presented, which has been used to model several diagrammatic notations used in software development methodologies, including those of the Unified Modeling Language.
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.