Title :
Visual feedback for validation of informal specifications
Author :
Thakar, Aniruddha ; Cyre, Walling
Author_Institution :
Intel Corp., Chandler, AZ, USA
fDate :
31 Jan-2 Feb 1994
Abstract :
In automatically synthesizing simulation models from informal specifications, the ambiguity of natural language (English) leads to multiple interpretations The authors report on a system, called the Model Generator, which provides visual feedback showing the interpretation of specification statements that have been automatically translated to a knowledge representation called conceptual graphs. The visual feedback is based on a combination of block diagrams and Petri net graphs
Keywords :
computer graphics; digital simulation; feedback; formal specification; formal verification; graph theory; knowledge representation; natural languages; English; Model Generator; Petri net graphs; block diagrams; conceptual graphs; informal specifications validation; knowledge representation; natural language; simulation models; specification statements; visual feedback; Character generation; Engines; Flowcharts; Graphical models; Hardware design languages; Knowledge representation; Natural languages; Network synthesis; State feedback; Timing;
Conference_Titel :
Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, 1994., MASCOTS '94., Proceedings of the Second International Workshop on
Conference_Location :
Durham, NC
Print_ISBN :
0-8186-5292-6
DOI :
10.1109/MASCOT.1994.284385
