Title :
The REVIEW system: from formal specifications to natural language
Author :
Salek, A. ; Sorenson, P.G. ; Tremblay, J.P. ; Punshon, J.M.
Author_Institution :
Dept. of Comput. Sci., Alberta Univ., Edmonton, Alta., Canada
Abstract :
Formal descriptions, while difficult for most human readers to understand, are convenient for specifying large software systems, where completeness and consistency are important issues. Informal specifications can offer advantages in conciseness and readability, but ambiguities and contradictions are an unavoidable side-effect. Since a specification often acts as a formal contract between the software developer and the customer, it is essential that both sides be able to fully understand the specification document. Systems have been proposed which help the software client better understand the specification by automatically paraphrasing it in natural language. The authors describe the architecture of the REVIEW system, which forms a part of the Metaview metasystem for capturing requirements information. Some example natural language outputs are shown for a sample requirements database
Keywords :
automatic programming; formal specification; language translation; natural language interfaces; natural languages; software tools; system documentation; Metaview metasystem; REVIEW system; automatic paraphrasing; completeness; consistency; formal contract; formal specifications; large software systems; natural language; natural language outputs; requirements information; software client; specification document; Computer aided software engineering; Computer architecture; Contracts; Databases; Formal specifications; Humans; Natural languages; Production systems; Software systems; System testing;
Conference_Titel :
Requirements Engineering, 1994., Proceedings of the First International Conference on
Conference_Location :
Colorado Springs, CO
Print_ISBN :
0-8186-5480-5
DOI :
10.1109/ICRE.1994.292381
