Using a scenario model to derive the functions of a formal specification

The goal of our work is to analyse and develop the integration of client-oriented requirements engineering techniques with formal methods. In particular, we integrate the requirements baseline with the RAISE method. We proposed a three-step process to derive an initial formal specification of a domain, starting from two models of the requirements baseline: the language extended lexicon and the scenario model. In this paper, we focus on the derivation of functions. We present heuristics to identify and model the functions of a formal specification written in the RAISE specification language, using natural language descriptions provided by the scenario model and the language extended lexicon.