Attempto controlled English — Not just another logic specification language

Norbert E. Fuchs, Uta Schwertel, Rolf Schwitter

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionpeer-review

56 Citations (Scopus)

Abstract

The specification language Attempto Controlled English (ACE) is a controlled natural language, i.e. a subset of standard English with a domain-specific vocabulary and a restricted grammar. 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 reduce ambiguity and vagueness inherent in full natural language and to make ACE computer processable. ACE specifications can be unambiguously translated into logic specification languages, and can be queried and executed. In brief, ACE allows domain specialists to express specifications in familiar natural language and combine this with the rigour of formal specification languages.

Original languageEnglish
Title of host publicationLogic-Based Program Synthesis and Transformation
Subtitle of host publication8th International Workshop, LOPSTR’98 Manchester, UK, June 15–19, 1998 Selected Papers
EditorsPierre Flener
Place of PublicationBerlin; New York
PublisherSpringer, Springer Nature
Pages1-20
Number of pages20
ISBN (Electronic)9783540489580
ISBN (Print)3540657657, 9783540657651
DOIs
Publication statusPublished - Jun 1998
Externally publishedYes
Event8th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR - 1998 - Manchester, United Kingdom
Duration: 15 Jun 199819 Jun 1998

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume1559
ISSN (Print)03029743
ISSN (Electronic)16113349

Other

Other8th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR - 1998
CountryUnited Kingdom
CityManchester
Period15/06/9819/06/98

Fingerprint Dive into the research topics of 'Attempto controlled English — Not just another logic specification language'. Together they form a unique fingerprint.

Cite this