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
Posted Content
Improving Resilience of Autonomous Moving Platforms by Real Time Analysis of Their Cooperation
TL;DR: A novel approach improving resilience of Autonomous Moving Platforms AMPs is presented, based on multi-level state diagrams describing environmental trigger specifications, movement actions and synchronization primitives, to verify and analyze combined AMPs' behaviors using model checking technique.
Proceedings ArticleDOI
Validation of object-oriented dynamic specifications
V. De Antonellis,Lorenzo Vandoni +1 more
TL;DR: An environment for validating dynamic requirements according to the F-ORM model is presented, and the use of animation techniques to validate object-oriented requirements is proposed.
Dissertation
Environnements et langages de programmation visuels pour le traitement de documents structurés
TL;DR: Dans ce cadre qu'a ete concu VXT (Visual XML Transformer), un langage de programmation visuel pour the specification de transformations de documents XML, un environnement pour the visualisation et l'edition de meta-donnees structurees RDF.
Proceedings ArticleDOI
On structuring formal, semi-formal and informal data to support traceability in systems engineering environments
TL;DR: An approach based on meta-modelling that enables traceability links to be established and consistency maintained between tools is demonstrated.
Journal ArticleDOI
A Development Environment for Constructing Graph-Based Editing Tools
TL;DR: A design of a suitable development environment for constructing graph‐based editing tools, based on the requirements analysis of such an environment derived from a survey of more than 60 different graph notations is outlined.
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.