pith. machine review for the scientific record. sign in

arxiv: cmp-lg/9603003 · v1 · submitted 1996-03-13 · cmp-lg · cs.CL

Recognition: unknown

Attempto Controlled English (ACE)

Norbert E. Fuchs , Rolf Schwitter (Department of Computer Science , University of Zurich)
Authors on Pith no claims yet
classification cmp-lg cs.CL
keywords attemptospecificationbasecontrolleddomainenglishknowledgetexts
0
0 comments X
read the original 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.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Ambiguity Detection and Elimination in Automated Executable Process Modeling

    cs.SE 2026-04 unverdicted novelty 6.0

    A diagnosis-driven framework detects behavioral inconsistency in LLM-generated BPMN models from ambiguous natural language specs, localizes issues to gateway logic, maps them to source text, and repairs the specificat...