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
User-defined visual query languages
TL;DR: This work proposes a meta-language to query an object-oriented database with user-defined pictures that uses a constraint visual language that allows for complex displays such as graphs, bar charts, pie charts, and plot charts to be specified.
Book ChapterDOI
GrapeMilDeWS: A Formally Designed Integrated Pest Management Decision Process Against Grapevine Powdery and Downy Mildews
Bertrand Léger,Olivier Naud,Véronique Bellon-Maurel,Michel Clerjeau,Laurent Delière,Philippe Cartolaro,Lionel Delbac +6 more
TL;DR: It is argued that formal modelling under the Discrete Event System paradigm (DES) is effective to model this kind of Decision Workflow System and as an aid to large scale experiments.
Journal ArticleDOI
Programming robots with state diagrams
TL;DR: This paper discusses the advantages of using state diagrams to model the behavior of robots and how to translate those models into code and as a context to teach introductory programming languages in an undergraduate curriculum.
The VOID shell: A toolkit for the development of distributed video games and virtual worlds
Karl O''Connell,Vinny Cahill,Andrew Condon,Stephen McGerty,Gradimir Starovic,Brendan Tangney +5 more
TL;DR: The main features of the VOID Shell, a toolkit for object-oriented game and virtual world development, are described including its object model and associated class libraries as well as the tools provided for the game designer and programmer.
Proceedings ArticleDOI
Applying Graph Layout Techniques to Web Information Visualization and Navigation
TL;DR: This paper presents an application of applying graph layout techniques in Web information visualization and navigation and proposes an effective method of tracking a sequence of subsets of the huge graph based on the user's focus.
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.