Skip to main content
Top
Published in:
Cover of the book

1999 | OriginalPaper | Chapter

Attempto Controlled English — Not Just Another Logic Specification Language

Authors : Norbert E. Fuchs, Uta Schwertel, Rolf Schwitter

Published in: Logic-Based Program Synthesis and Transformation

Publisher: Springer Berlin Heidelberg

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

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.

Metadata
Title
Attempto Controlled English — Not Just Another Logic Specification Language
Authors
Norbert E. Fuchs
Uta Schwertel
Rolf Schwitter
Copyright Year
1999
Publisher
Springer Berlin Heidelberg
DOI
https://doi.org/10.1007/3-540-48958-4_1

Premium Partner