Proceedings of 1995 IEEE International Symposium on Requirements Engineering (RE'95) (1995)
Mar. 27, 1995 to Mar. 29, 1995
A. Van Lamsweerde , Dept. d'Ingenierie Inf., Univ. Catholique de Louvain, Belgium
P. Massonet , Dept. d'Ingenierie Inf., Univ. Catholique de Louvain, Belgium
R. Darimont , Dept. d'Ingenierie Inf., Univ. Catholique de Louvain, Belgium
Recently a number of requirements engineering languages and methods have flourished that not only address 'what' questions but also 'why', 'who' and 'when' questions. The objective of the paper is twofold: to assess the strengths and weaknesses of one of these methodologies on a nontrivial benchmark; and to illustrate and discuss a number of challenging issues that need to be addressed for such methodologies to become effective in supporting real, complex requirements engineering tasks. The problem considered here is that of a distributed meeting scheduler system; the methodology considered is the KAOS goal directed language and method. The issues raised from this case study include goal identification, the "deidelization" of unachievable goals, the handling of interfering goals, the impact of early formal reasoning, the merits of early reuse of abstract descriptions and categories, requirements traceability and the need to link requirements to retractable assumptions, and the potential benefits of hybrid acquisition strategies.
formal specification; specification languages; scheduling; groupware; goal-directed elaboration; meeting scheduler; requirements engineering languages; nontrivial benchmark; complex requirements engineering tasks; distributed meeting scheduler system; KAOS goal directed language; case study; goal identification; deidelization; interfering goals; formal reasoning; abstract descriptions; requirements traceability; retractable assumptions; hybrid acquisition strategies
A. Van Lamsweerde, P. Massonet, R. Darimont, "Goal-directed elaboration of requirements for a meeting scheduler: problems and lessons learnt", Proceedings of 1995 IEEE International Symposium on Requirements Engineering (RE'95), vol. 00, no. , pp. 194, 1995, doi:10.1109/ISRE.1995.512561