Visual feedback for validation of informal specifications

Author

Thakar, Aniruddha ; Cyre, Walling

Author_Institution

Intel Corp., Chandler, AZ, USA

fYear

1994

fDate

31 Jan-2 Feb 1994

Firstpage

411

Lastpage

412

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/MASCOT.1994.284385

Filename

284385