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
Statecharts and object-oriented development: a CASE perspective
TL;DR: This paper shows how Prolog is used in the construction of a system supporting the task of dynamic specification of an application as a collection of interacting statecharts and generates the C++ code implementing the behaviour of the application.
Dissertation
Integration of Specification Techniques
TL;DR: This thesis describes the graphical notations of Live Sequence Charts and Statecharts and proposes a method using diagrams in these notations for constraining a formal speci cation expressed in a subset of the RAISE Specification Language.
Journal Article
Elementary patterns for converting textual and visual formalisms based on set theory and ORM
TL;DR: The primary focus of this paper is on the theoretic coupling between textual and visual formalisms, and the presented patterns are also materialized and evaluated in two applica- tions.
Journal ArticleDOI
Modeling Cooperative Work Processes-A Multiple Perspectives Framework
TL;DR: The Cooperation Modeling Technique (CMT) built on the basic notions information, task, and actor provides notations for representing the different aspects of cooperative work, resulting in a flexible approach for representing different analysis perspectives pertaining to the design of cooperation support systems.
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.