Premium
A requirements sublanguage for automated analysis
Author(s) -
Cyre Walling
Publication year - 1995
Publication title -
international journal of intelligent systems
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 1.291
H-Index - 87
eISSN - 1098-111X
pISSN - 0884-8173
DOI - 10.1002/int.4550100704
Subject(s) - sublanguage , computer science , artificial intelligence , software engineering , programming language
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.