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
Leveled entity relationship model
TL;DR: This work states that a refinement (abstraction) step adds (deletes) encroaching relationships and thus cascades changes to the schema beyond the current entity being refined (entity cluster being abstracted).
Book ChapterDOI
ObjChart: Tangible Specification of Reactive Object Behavior
TL;DR: In contrast to other Object Oriented modeling notations, ObjChart uses object decomposition as the single refinement paradigm, maintains orthogonality between control flow and value propagation, introduces Sequence object which embodies structural induction, and allows tracing causality chains in time linear in the size of the system.
Journal ArticleDOI
Compound brushing explained
TL;DR: A conceptual model called compound brushing is proposed for modeling the brushing techniques used in dynamic data visualization, modeled as higraphs with five types of basic entities: data, selection, device, renderer, and transformation.
Converting Statecharts into Java Code
Jauhar Ali,Jiro Tanaka +1 more
TL;DR: The proposed model follows the object variant of statecharts supported by the Unified Modeling Language (UML) and can work as a basis for automatic code generation for object-oriented systems.
Journal ArticleDOI
Noesis: Towards a situational method engineering technique
Eladio Domínguez,María A. Zapata +1 more
TL;DR: The Noesis meta-modelling technique together with a complete and minimal family of transformations is proposed, which allows recursive and decompositional structures to be captured in the meta-models and situational methods to be obtained by the assembly of method fragments.
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.