Abstract. In requirements engineering use cases are employed to describe the ow of events and the occurrence of states in a future information system. Use cases consist of a set of scenarios each of them describing an exemplary behaviour of the system to be developed. Different stakeholders describe the steps in varying ways since they perceive the state of a airs in the application domain from di erent viewpoints. This results in ambiguous use cases written in natural language that use di erent terminology and are therefore di cult to reconcile. To solve this problem, we have developed a set of simple guidelines to rewrite use cases and scenarios in a controlled language. The sentences are translated into at logical forms by a Prolog module and subsequently processed by the RECOCASE system. These resulting at logical forms can be used to generate graphical models for the elaboration and re nement of functional requirements between project stakeholders. As an experiment we have chosen ...