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
Dissertation
Model driven visualization: towards a model driven engineering approach for information visualization
TL;DR: This research provides a collection of formal view models for common information visualization techniques, outlines a method for designing and customizing information visualizations using MDE, presents a code generation technique for integrating MDE with the model-view-controller pattern, and contributes an open-source visualization toolkit to the Eclipse project.
Book ChapterDOI
HW/SW Co-Design with PRAMs Using CoDES
TL;DR: It is shown that hard-ware/software Co-Design can be based on an abstract model of communicating parallel random access machines (PRAMs) and major design phases of CODES such as modeling, component design, simulation, and integration into a working prototype are outlined.
W2000 as a MOF Metamodel
TL;DR: The metamodel is presented and its use is discussed, as a means to render the design concepts of W2000, and the choice of MOF as supporting technology is discussed.
Proceedings ArticleDOI
Dialogue graphs: a formal and visual specification technique for dialogue modelling
Egbert Schlungbaum,Thomas Elwert +1 more
TL;DR: The Dialogue graphs are used in TADEUS to support an explicit dialogue modelling stage in a task-oriented and model-based approach to the development of interactive systems and automatic generation of the user interface code.
Object-Oriented Analysis, Structured Analysis, and Jackson System Development
TL;DR: It is shown that SA and OOA diverge in three important respects, and the different approach taken by OOA on all three points is shown to lead to simpler models that better reflect the structure of the UoD.
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.