Towards a general theory of action and time
Artificial Intelligence
Conceptual structures: information processing in mind and machine
Conceptual structures: information processing in mind and machine
Implementing a semantic interpreter using conceptual graphs
IBM Journal of Research and Development
PHRAN-SPAN: a natural language interface for system specifications
DAC '87 Proceedings of the 24th ACM/IEEE Design Automation Conference
Statemate: a working environment for the development of complex reactive systems
ICSE '88 Proceedings of the 10th international conference on Software engineering
Toward synthesis from English descriptions
DAC '89 Proceedings of the 26th ACM/IEEE Design Automation Conference
Specifying multiple-viewed software requirements with conceptual graphs
Journal of Systems and Software
ACM Computing Surveys (CSUR)
Artificial Intelligence
The Theory of Parsing, Translation, and Compiling
The Theory of Parsing, Translation, and Compiling
Conceptual Representation of Waveforms for Temporal Reasoning
IEEE Transactions on Computers
Mapping Design Knowledge from Multiple Representations
ICCD '91 Proceedings of the 1991 IEEE International Conference on Computer Design on VLSI in Computer & Processors
Polynomial Algorithms for Projection and Matching
Proceedings of the 7th Annual Workshop on Conceptual Structures: Theory and Implementation
Visual Feedback for Validation of Informal Specifications
MASCOTS '94 Proceedings of the Second International Workshop on Modeling, Analysis, and Simulation On Computer and Telecommunication Systems
Proceedings of the 1975 workshop on Theoretical issues in natural language processing
TINLAP '75 Proceedings of the 1975 workshop on Theoretical issues in natural language processing
Language As a Cognitive Process: Syntax
Language As a Cognitive Process: Syntax
Generating Validation Feedback for Automatic Interpretation of Informal Requirements
Formal Methods in System Design
Declarative Programs with Implicit Implications
IEEE Transactions on Knowledge and Data Engineering
A CG-Based Behavior Extraction System
ICCS '99 Proceedings of the 7th International Conference on Conceptual Structures: Standards and Practices
Processing Negation in NL Interfaces to Knowledge Bases
ICCS '02 Proceedings of the 10th International Conference on Conceptual Structures: Integration and Interfaces
A knowledge management scheme for meta-data: an information structure graph
Decision Support Systems - Special issue: Knowledge management technique
Architectures for intelligent systems
IBM Systems Journal
A framework for analyzing and testing requirements with actors in conceptual graphs
ICCS'06 Proceedings of the 14th international conference on Conceptual Structures: inspiration and Application
| Hi-index | 0.00 |
Initial requirements for new digital systems and products that are generally expressed in a variety of notations including diagrams and natural language can be automatically translated to a common knowledge representation for integration, for consistency and completeness analysis, and for further automatic synthesis. In this paper, block diagrams, flowcharts, timing diagrams, and English as used in specifying digital systems requirements are considered as examples of source notations for system requirements. The knowledge representation selected for this work is a form of semantic networks called conceptual graphs. For each source notation, a basis set of semantic primitives in terms of conceptual graphs is given, together with an algorithm for automatically generating conceptual structures from the notation. The automatic generation of conceptual structures from English presumes a restricted sublanguage of English and feedback to the author for verification of the interpretation. Mechanisms for integrating the separate conceptual structures generated from individual requirements expressions using schemata are discussed, and methods are illustrated for consistency and completeness analysis.