Title :
Using a scenario model to derive the functions of a formal specification
Author :
Mauco, María Virginia ; Riesco, Daniel ; George, Chris
Author_Institution :
Departamento de Computacion y Sistemas, Univ. Nacional del Centro, Buenos Aires, Argentina
Abstract :
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.
Keywords :
formal specification; RAISE specification language; client-oriented requirements engineering techniques; formal specification functions; heuristics; language extended lexicon; natural language descriptions; requirements baseline; scenario model; Application software; Concrete; Dairy products; Formal specifications; Natural languages; Production systems; Programming; Specification languages;
Conference_Titel :
Software Engineering Conference, 2001. APSEC 2001. Eighth Asia-Pacific
Print_ISBN :
0-7695-1408-1
DOI :
10.1109/APSEC.2001.991497