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 are integrating 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 of the models of the Requirements Baseline: the Language Extended Lexicon and the Scenario Model. In this paper, we focus on the derivation of functions, one of the steps of this process. We present the heuristics to identify and to model the functions of a formal specification written in the RAISE Specification Language, using the natural language descriptions provided by the Scenario Model and the Language Extended Lexicon.
Registro:
| Documento: |
Conferencia
|
| Título: | Using a scenario model to derive the functions of a formal specification |
| Autor: | Mauco, M.V.; Riesco, D.; George, C. |
| Ciudad: | Macao |
| Filiación: | Depto. de Computacion y Sistemas, Facultad de Ciencias Exactas, Universidad Nacional del Centro, de la Provincia de Buenos Aires, Argentina
|
| Palabras clave: | Formal methods; Language extended lexicon; RAISE method; Requirements engineering; Scenario model; Computer hardware description languages; Computer simulation; Computer software maintenance; Heuristic programming; Natural language processing systems; Semantics; Formal specification; Language extended lexicon; Scenario model; Requirements engineering |
| Año: | 2001
|
| Página de inicio: | 329
|
| Página de fin: | 332
|
| Título revista: | 8th Asia Pacific Software Engineering Conference APSEC'2001
|
| Título revista abreviado: | Asia Pacif Software Eng Conf Int Comput Sci Conf APSEC ICSC
|
| Registro: | https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_NIS20544_v_n_p329_Mauco |
Referencias:
- George, C., (2001) RAISE Tools User Guide, , Research Report 227. UNU/IIST, Macau, February
- Leite, J., Hadad, G., Doorn, J., Kaplan, G., A scenario construction process (2000) Requirements Engineering Journal, 5 (1), pp. 38-61. , Springer-Verlag
- Leite, J., Rossi, G., Maiorana, V., Balaguer, F., Kaplan, G., Hadad, G., Oliveros, A., Enhancing a requirements baseline with scenarios (1997) Requirements Engineering Journal, 2 (4), pp. 184-198. , Springer-Verlag
- Mauco, V., George, C., Using requirements engineering to derive a formal specification (2000), Research Report 223, UNU/IIST, Macau, December; Mauco, V., Riesco, D., George, C., Deriving the types of a formal specification from a client-oriented technique (2001) Proceedings of the 2nd International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, pp. 1-8. , Japan
- Mauco, V., Riesco, D., George, C., Heuristics to structure a formal specification in rsl from a client-oriented technique (2001) 1st Annual International Conference on Computer and Information Science (ICIS 01), Orlando, Florida, U.S.A., October 3-5, 2001
- Capuchino, J.N.A.M., De Riet, R.P.V., Formal justification in object-oriented modelling: A linguistic approach (2000) Data and Knowledge Engineering, 33 (1), pp. 25-47. , April; Elsevier
- (1992) The RAISE Specification Language, , T. RAISE Language Group; BCS Practitioner Series. Prentice Hall
- (1995) The RAISE Development Method, , T. RAISE Method Group; BCS Practitioner Series. Prentice Hall
- Van Lamsweerde, A., Requirements engineering in the year 00: A research perspective (2000) Proceedings of the 22nd Int. Conf. on Software Engineering, pp. 5-19. , ACMA4 - National Natural Science Foundation of China; Public Administration and Civil Service Bureau of Macau SAR; Companhia de Telecomunicacoes de Macau S.A.R.L.; Macau SAR Government Tourist Office
Citas:
---------- APA ----------
Mauco, M.V., Riesco, D. & George, C.
(2001)
. Using a scenario model to derive the functions of a formal specification. 8th Asia Pacific Software Engineering Conference APSEC'2001, 329-332.
Recuperado de https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_NIS20544_v_n_p329_Mauco [ ]
---------- CHICAGO ----------
Mauco, M.V., Riesco, D., George, C.
"Using a scenario model to derive the functions of a formal specification"
. 8th Asia Pacific Software Engineering Conference APSEC'2001
(2001) : 329-332.
Recuperado de https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_NIS20544_v_n_p329_Mauco [ ]
---------- MLA ----------
Mauco, M.V., Riesco, D., George, C.
"Using a scenario model to derive the functions of a formal specification"
. 8th Asia Pacific Software Engineering Conference APSEC'2001, 2001, pp. 329-332.
Recuperado de https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_NIS20544_v_n_p329_Mauco [ ]
---------- VANCOUVER ----------
Mauco, M.V., Riesco, D., George, C. Using a scenario model to derive the functions of a formal specification. Asia Pacif Software Eng Conf Int Comput Sci Conf APSEC ICSC. 2001:329-332.
Available from: https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_NIS20544_v_n_p329_Mauco [ ]
