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
Proceedings ArticleDOI
Explicit modelling of statechart simulation environments
Sadaf Mustafiz,Hans Vangheluwe +1 more
TL;DR: This work chooses the Statecharts formalism itself as the most appropriate formalism to model and synthesize experimentation environments for the interactive simulation of Statechart models and takes inspiration from software debugging as well as from simulation experimentation to explicitly model the detailed reactive behaviour of this environment.
Book ChapterDOI
Towards formal specification and generation of autonomic policies
TL;DR: The motivation for utilizing NASA requirements-based programming technologies for mechanically transforming policies into a provably equivalent formal model that can be used as the basis for code generation and other transformations, with the goal of self-generation of provable autonomic policies is looked at.
Interaction object graphs : an executable graphical notation for specifying user interfaces
TL;DR: Interaction Object Graphs are an executable, graphical specification notation, an extension of statecharts, an extended transition diagram, designed to specify the details of an interaction object.
Journal ArticleDOI
A software design framework or how to support real designers
TL;DR: An integrated set of representation forms is proposed that can be used with an opportunistic design strategy and realisation of this set of notations through the experimental GOOSE system is described.
A Schema-Based Approach to CAD Task Management
Jay B. Brockman,W Stephen +1 more
TL;DR: A new information model is used to capture the dependencies between classes of tool and data objects for a given design domain, and its role in managing design activity in the Hercules CAD Task Management System is presented.
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.