Requirements analysis and modeling with problem frames and SysML: a case study

  • Authors:
  • Pietro Colombo;Ferhat Khendek;Luigi Lavazza

  • Affiliations:
  • Department of Electrical and Computer Engineering, Concordia University, Montreal, Quebec, Canada;Department of Electrical and Computer Engineering, Concordia University, Montreal, Quebec, Canada;Dipartimento di Informatica e Comunicazione, Università dell’Insubria, Varese, Italy

  • Venue:
  • ECMFA'10 Proceedings of the 6th European conference on Modelling Foundations and Applications
  • Year:
  • 2010

Quantified Score

Hi-index 0.00

Visualization

Abstract

Requirements analysis based on Problem Frames is getting an increasing attention in the academic community and has the potential to become of relevant interest also for industry. However the approach lacks an adequate notational support and methodological guidelines, and case studies that demonstrate its applicability to problems of realistic complexity are still rare. These weaknesses may hinder its adoption. This paper aims at contributing towards the elimination of these weaknesses. We report on an experience in analyzing and specifying the requirements of a controller for traffic lights of an intersection using Problem Frames in combination with SysML. The analysis was performed by decomposing the problem, addressing the identified sub-problems, and recomposing them while solving the identified interferences. The experience allowed us to identify certain guidelines for decomposition and re-composition patterns.