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
Statecharts in Use: Structured Analysis and Object-Orientation
TL;DR: How statecharts are used to model the behavior of complex reactive systems is described, according to the two main ways that have been suggested for modeling the structure of such systems: structured analysis and object-orientation.
Journal ArticleDOI
A methodology for constructing predicate transition net specifications
Xudong He,John A. N. Lee +1 more
TL;DR: A methodology for constructing hierarchical and structured predicate transition net specifications is developed, which includes new systematic notation extensions for supporting various transformation techniques upon predicate transition nets and several rules for applying such transformation techniques.
Journal ArticleDOI
Model-driven assessment of system dependability
TL;DR: A model-based approach that allows developers to analyse the dependability of use cases and to discover more reliable and safe ways of designing the interactions of the system with the environment is presented.
Journal ArticleDOI
Combining process modelling methods
Geetha Abeysinghe,Keith Phalp +1 more
TL;DR: By providing a mapping between these notations, the paper suggests that by providing the accessibility of a well understood user-facing modelling paradigm, (RADs), whilst retaining the formality of CSP, is gained.
Proceedings ArticleDOI
A visual language to describe collaborative work
TL;DR: In order to satisfy goals for developing collaboration software, a powerful yet simple visual language has been developed for use by end users in describing plans for work activities that allows for collaboration during the planning process.
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.