tutorial proposal - iasted 2007 - v 1

Modelling requirements with UML: a rigorous approach (Doing requirements well with UML) Half-day tutorial proposal Proposers 1,2 1Prof. Luigi Lavazza and Dr. Vieri del Bianco , PhD (1) Università degli Studi dell’Insubria Dipartimento di Informatica e Comunicazione Via Mazzini, 5 – 21100 Varese (Italy) (2) CEFRIEL Via Fucini, 2 – 20133 Milano (Italy) E-mail: luigi.lavazza@uninsubria.it, delbian1970@yahoo.it Tel. +39-0332-218930, +39-0332-218938 Abstract The tutorial addresses the problems connected with requirements modelling in a UML-based development process. UML supports requirements modelling by means of use cases. This practice suffers from several limitations, especially as use cases are quite informal descriptions –thus allowing ambiguities and misinterpretation of requirements– and they are not object-oriented –thus making traceability of requirements in object-oriented models problematic. Rigorous approaches –not based on UML– were proposed, but they did not achieve a great popularity, mainly because they are considered not promptly applicable in UML-based development processes, and consequently hardly productive in the short term. The proposed tutorial promotes the application of the Reference Model for Requirements and Specifications [2] and the usage of Michael Jackson's Problem Frames [1]. Problem frames drive developers to understand and describe the problem to be solved, which is crucial for a successful software ...