A requirements sublanguage for automated analysis
Walling R. Cyre · International Journal of Intelligent Systems · 1995
The development of a restricted natural language for expressing requirements is described. the purpose of the language is to support readable specifications, which can be analyzed for errors and automatically interpreted. the specific language designed here is for specification of digital systems. Semantics are represented in a type of semantic network constructed of concepts and relations. the semantic basis, consisting of concept and relation types together with semantic patterns, is developed from an examination of several formal specification and design notations, together with a selection of natural language statements from product descriptions. the syntax of the language is developed from a syntactic analysis of natural language statements, and the productions of the grammar are selected to maximize coverage of syntactic structures used in the selection. © 1995 John Wiley & Sons, Inc.