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
A CNC model well-suited for the requirements of CNC software construction environment
TL;DR: Any environment allowing operator-assisted design and construction of computerized numerical controller (CNC) software should rely upon an underlying generic CNC architecture meeting certain requirements, such as support for a high degree of reusability; real-time system support; an associated method; and a hierarchical approach.
Book ChapterDOI
Design and verification of distributed multi-media systems
TL;DR: In this article, the authors present a method for designing distributed multimedia systems, including the specification of QoS, using the ODP framework and UML and describes a technique for verifying the QoS specification against the designed functional behaviour of the system using Timed Automata.
Proceedings ArticleDOI
SLA composition in service networks: a tool for representing relationships between SLAs and contracts
TL;DR: A tool for designing and visualizing service contracts composition and for simplifying data handling in contracts is proposed, which exploits a directed tree graph paradigm in addition with an XML-based notation.
Visual Compositional-Relational Programming
TL;DR: In an ever faster changing environment, software developers not only need agile methods, but also agile programming paradigms and tools.
Towards Effective Visual Modeling of Complex Software Product Lines.
TL;DR: Several challenges for the effective visual modeling based on the orthogonal approach for variability modeling are described and solution ideas that address these challenges are described.
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.