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
Journal ArticleDOI
On the definition of generic multi-layered ontologies for urban applications
TL;DR: The objective of this work is to define a spatial ontology to describe key features of urban applications, providing a foundation for semantic reconciliation among heterogeneous spatial information sources.
Journal ArticleDOI
Constructing reconfigurable software for machine control systems
Shige Wang,Kang G. Shin +1 more
TL;DR: This work proposes a software architecture based on a combination of object-oriented models and executable formal specifications that supports reconfigurability to facilitate heterogeneous implementations and vendor-neutral products.
Book ChapterDOI
A History of Logic Diagrams
Amirouche Moktefi,Sun-Joo Shin +1 more
TL;DR: Diagrams, however the authors may define them, are one of the most widely used tools by humans — from ordinary life communication to brainstorming for complicated problems or outlining the overall structure of talks, papers, etc.
Proceedings ArticleDOI
The use of lexical affinities in requirements extraction
Y. S. Maarek,Daniel M. Berry +1 more
TL;DR: It is hoped that a lexical athnities tinding tool can be used as part of an environment to help organize the sentences and phrases of a natural language problem description to aid the requirements analyst in the extraction of requirements.
Book ChapterDOI
Argonaute: graphical description, semantics and verification of reactive systems by using a process algebra
TL;DR: The Argonaute system allows to describe reactive systems graphically, to specify properties by means of temporal logic formulas, to produce a model on which logic formulas can be evaluated and to simulate an execution of the system described, by using the external graphical form to show evolutions.
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.