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
A Business Process Environment Supporting Collaborative Planning
TL;DR: A model for collaborative work process and a graphical language to support this model is presented, which results in a model of a work process in terms of the communications that team members must make in order to coordinate their tasks.
Journal ArticleDOI
Synthesis and Decomposition of Processes in Organizations
Amit Basu,Robert W. Blanning +1 more
TL;DR: This work presents an approach to facilitate this type of synthesis and decomposition through formal analysis of process structure using a mathematical structure called a metagraph.
Proceedings ArticleDOI
DOODLE: a visual language for object-oriented databases
TL;DR: DOODLE is a new visual and declarative language for object-oriented databases that is possible to display and query the database with arbitrary pictures and allow the user to tailor the display of the data to suit the application at hand or her preferences.
Journal ArticleDOI
Managing standards compliance
Wolfgang Emmerich,Anthony Finkelstein,C. Montangero,S. Antonelli,S. Armitage,Richard Stevens +5 more
TL;DR: This work outlines a model of standards and compliance and illustrates it with some examples, and develops a formal model of product state with associated notation; a powerful policy scheme that triggers checks; and a flexible and scalable compliance management view.
Journal ArticleDOI
Usability analysis with Markov models
TL;DR: A “knowledege/usability graph” is introduced, which shows the impact of even a smaller amount of knowledge for the user, and the extent to which designers' knowledge may bias their views of usability.
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.