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
Graph drawing by force-directed placement
Software—Practice & Experience
ACM Computing Surveys (CSUR)
Understanding Natural Language
Understanding Natural Language
Conceptual Representation of Waveforms for Temporal Reasoning
IEEE Transactions on Computers
Capture, Integration, and Analysis of Digital System Requirements with Conceptual Graphs
IEEE Transactions on Knowledge and Data Engineering
Automatic Integration of Digital System Requirements using Schemata
ICCS '95 Proceedings of the Third International Conference on Conceptual Structures: Applications, Implementation and Theory
Conceptual Modeling of Digital Systems From Informal Descriptions
MASCOTS '93 Proceedings of the International Workshop on Modeling, Analysis, and Simulation On Computer and Telecommunication Systems
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
Textual/Graphical Design Concept-Level Synthesis
CHDL '93 Proceedings of the 11th IFIP WG10.2 International Conference sponsored by IFIP WG10.2 and in cooperation with IEEE COMPSOC on Computer Hardware Description Languages and their Applications
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
REVERE: Support for Requirements Synthesis from Documents
Information Systems Frontiers
The REVERE Project: Experiments with the Application of Probabilistic NLP to Systems Engineering
NLDB '00 Proceedings of the 5th International Conference on Applications of Natural Language to Information Systems-Revised Papers
Shallow Knowledge as an Aid to Deep Understanding in Early Phase Requirements Engineering
IEEE Transactions on Software Engineering
Hi-index | 0.00 |
This paper describes a method for validating conceptualmodels of digital systems derived automatically from requirementsexpressed in natural language. Because natural language isambiguous and vague, most statements have multiple interpretations.The approach here is to feed back to the requirements authorsvisualizations of the interpretations of the requirements that havebeen translated to semantic networks. The visualization task is acomponent (the Model Generator) of the ASPIN system for automatically interpreting requirements expressed in naturallanguage and diagrams, analyzing the requirements for consistencyand completeness, and automatically generating engineering modelsin the VHDL language. Visualization is performed in two steps:mapping the semantic networks to compound digraphs followed byplacement of the nodes of the digraphs to generate a display interms of icons representing devices, values, actions and events;and connectives indicating carriers, data flow and controldependency.