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:In brief, ACE allows domain specialists to express specifications in familiar natural language and combine this with the rigor of formal specification languages.