Attempto Controlled English (ACE)
Norbert E. Fuchs, Rolf Schwitter (Department of Computer Science,, University of Zurich)

TL;DR
Attempto Controlled English (ACE) is a natural language-based formalism enabling domain experts to specify, verify, and simulate requirements interactively, with accurate computer processing and translation into formal representations.
Contribution
This paper introduces ACE and the Attempto system, which translate natural language specifications into formal representations for verification and execution.
Findings
ACE allows domain specialists to specify requirements in natural language.
The system translates ACE into formal structures like discourse representations and Prolog.
ACE supports verification, simulation, and validation of specifications.
Abstract
Attempto Controlled English (ACE) allows domain specialists to interactively formulate requirements specifications in domain concepts. ACE can be accurately and efficiently processed by a computer, but is expressive enough to allow natural usage. The Attempto system translates specification texts in ACE into discourse representation structures and optionally into Prolog. Translated specification texts are incrementally added to a knowledge base. This knowledge base can be queried in ACE for verification, and it can be executed for simulation, prototyping and validation of the specification.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsModel-Driven Software Engineering Techniques · Service-Oriented Architecture and Web Services · Business Process Modeling and Analysis
