Project

Back to overview

Attempto - Controlled English for Requirements Specifications

Applicant Fuchs Norbert E.
Number 47151
Funding scheme Project funding (Div. I-III)
Research institution Institut für Informatik Universität Zürich
Institution of higher education University of Zurich - ZH
Main discipline Information Technology
Start/End 01.01.1997 - 31.12.1998
Approved amount 161'847.00
Show all

Keywords (10)

ATTEMPTO ESPRIT HCM; REQUIREMENTS; SPECIFICATIONSURAL LANGUA; DECLARATIVE SPECIFICATION; EXECUTABLE SPECIFICATIONS; CONTROLLED NATURAL; LANGUAGE; CONTROLLED ENGLISH; ACE; SIMULATION

Lay Summary (English)

Lead
Lay summary
Attempto Controlled English (ACE) is a language specifically designed to write specifications. ACE is a controlled natural language, i.e. a subset of English with a domain specific vocabulary, a restricted grammar, and a small set of construction and interpretation principles. This means that all sentences of ACE are correct English, but that not all English sentences are allowed in ACE. The restriction of full natural language to a controlled subset is essential for ACE to be suitable for specification purposes. The main goals of this restriction are:
  • To support the writing of precise specifications
  • To reduce ambiguity and vagueness inherent in full natural language
  • Tto encourage domain specialists to deliberately choose a clear and unambiguous writing style so that readers of a specification understand it in the same way as the writer
  • To make specifications computer processable
  • To render specifications unambiguously translatable into formal specification languages, particularly into logic languages
  • To make specifications executable
In brief, ACE allows domain specialists to express specifications in familiar natural language and combine this with the rigor of formal specification languages.
Direct link to Lay Summary Last update: 21.02.2013

Responsible applicant and co-applicants

Employees

Associated projects

Number Title Start Funding scheme
53806 Attempto - Controlled English for Requirements Specifications 01.01.1999 Project funding (Div. I-III)
43540 Specifying Logic Programs in Controlled Natural Language 01.01.1996 Project funding (Div. I-III)

-