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
Diagrammatic Evaluation of Visual Mathematical Notations
TL;DR: This chapter presents constraint-based extensions of picture logic which render it suitable for the specification of diagrams and diagram transformations with picture logic, a visual Horn clause language.
Combining diagrammatic and symbolic reasoning
TL;DR: A domain-independent framework for heterogeneous natural deduction that combines diagrammatic and sentential reasoning, presented in the form of a family of denotational proof languages (DPLs), and develops a formal semantic framework based on Kleene’s strong three-valued logic.
FlexFlow: Workflow for Interactive Internet Applications
TL;DR: A description of the FlexFlow process model and the underlying FlexFlow engine, and how FlexFlow can be used in commercial platforms for B2B e-commerce is explained.
Proceedings ArticleDOI
Software Development for Non-Expert Computer Users
Teodor Rus,Cuong Bui +1 more
Proceedings ArticleDOI
A framework for formally defining the syntax of visual languages
TL;DR: This paper outlines a framework for syntax definition and considers a number of existing formalisms and illustrates how they may be expressed within the framework to enable the construction of grammatical formalisms which are suitable for defining the syntax of visual languages.
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.