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
Reusing requirements through a modeling and composition support tool
TL;DR: The RECAST (REquirements Collection And Specification Tool) tool guides the Application Developer in the requirement specification process by providing suggestions to the reuse of components, which includes a meta-level of definitions.
Journal ArticleDOI
Knowledge representation for grounded theory construction in qualitative data analysis
Hoi‐Kau Yuen,Tom Richards +1 more
TL;DR: A knowledge representation method for representing grounded theory construction is described, in which a hybrid approach of fuzzy set theory and semantic networks is applied.
Journal ArticleDOI
Software Patterns for Traceability of Requirements to Finite State Machine Behavior
Parastoo Delgoshaei,Mark Austin +1 more
TL;DR: This paper will report on research to understand the role that software patterns and mixtures of graph and tree visualization can play in the implementation of traceability mechanisms from requirements to elements of finite-state machine behavior.
A conceptual model specification language (CMSL Version 2)
TL;DR: This report is intended to keep track of current results and open research problems in CMSL, the value specification language VSL and the object spercification language OSL.
Joint Integrated Avionics Working Group (JIAWG) Object-Oriented Domain Analysis Method (JODA)
TL;DR: The JIAWG Object-Oriented Domain Analysis (JODA) as discussed by the authors is a method for domain analysis that is based on Coad and Yourdon's Object Oriented Analysis.
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.