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
Extending and Validating the Business Rules Diagram Method
TL;DR: This paper describes an action research study whose focus was assisting in the selection of a commercial "off the shelf" (COTS) software system and an intellectual framework based on a particular set of ontological ideas was used to guide the study.
Book ChapterDOI
Visualizing formalisms with ORM models
TL;DR: This application concerns a theoretical framework consisting of knowledge intensive task properties and shows how the approach to visualize formalisms with ORM can be materialized and the advantages of graphically representing a formal theoretical framework.
Modelling Interaction in Virtual Environments
TL;DR: This paper presents some early research from the INQUISITIVE project on abstracting models of interaction in virtual environments away from technological constraints with an aim to providing general guidelines for system developers.
Journal ArticleDOI
Modeling and evaluating the feasibility of timing constraints under different real-time scheduling algorithms
Steven Berryman,Ian Sommerville +1 more
TL;DR: This paper will present an overview of the capabilities of the system which is implemented using an object-oriented programming language (Smalltalk-80) and is used to model the timing aspects of a real-time system and to simulate the system with a particular scheduling policy so as to predict its behavior.
Journal ArticleDOI
A visual data model
TL;DR: The Visual Data Model VDM and the Visual Data Language VDL provide a unique approach to modelling and manipulating data through spatial arrangement of geometric objects that is aimed at the nonprofessional office users.
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.