Textual/Graphical Design Capture for Concept-Level Synthesis

Abstract Requirements for new systems and products that are generally expressed in a variety of graphical and textual notations can be translated to conceptual graphs (semantic networks) for integration, consistency checking, and synthesis functions. In this paper, the capture, translation and integration of natural language, block diagrams, timing diagrams and state diagrams as used in specifying digital systems requirements are considered. For each of these source notations a set of basic concepts and their interrelationships are identified, and algorithms for automatically generating conceptual graphs from the notations are given. Mechanisms for integrating the resulting conceptual graphs and consistency are discussed.

[1]  Alice C. Parker,et al.  The high-level synthesis of digital systems , 1990, Proc. IEEE.

[2]  Alice C. Parker,et al.  PHRAN-SPAN: A Natural Language Interface for System Specifications , 1987, 24th ACM/IEEE Design Automation Conference.

[3]  James R. Armstrong,et al.  Automated assists to the behavioral modeling process , 1990, [1990 Proceedings] The First International Workshop on Rapid System Prototying.

[4]  John F. Sowa,et al.  Implementing a Semantic Interpreter Using Conceptual Graphs , 1986, IBM J. Res. Dev..

[5]  Walling Cyre,et al.  Mapping design knowledge from multiple representations , 1991, [1991 Proceedings] IEEE International Conference on Computer Design: VLSI in Computers and Processors.

[6]  Marie-Laure Mugnier,et al.  Polynomial Algorithms for Projection and Matching , 1992, Workshop on Conceptual Graphs.