Requirements analysis and modeling based on Problem Frames is getting an increasing attention in the academic community. This paper reports on an experience in analyzing and specifying the requirements of a controller for traffic lights of an intersection using Problem Frames and the SysML notation. The problem has been decomposed into simpler sub-problems that fit the definition of basic frames. All the sub-problems have been individually analyzed by identifying their requirements and defining a machine specification. The re-composition of the sub-problems has been carried out by merging the requirements of the sub-problems, defining new requirements that solve the conflicts among the sub-problems, and specifying a new machine that, in combination with the problem domains, satisfies the requirements. This case study allowed us to identify two decomposition and re-composition patterns.

Requirements Analysis and Modeling with Problem Frames and SysML: A Case Study

COLOMBO, PIETRO;LAVAZZA, LUIGI ANTONIO
2010-01-01

Abstract

Requirements analysis and modeling based on Problem Frames is getting an increasing attention in the academic community. This paper reports on an experience in analyzing and specifying the requirements of a controller for traffic lights of an intersection using Problem Frames and the SysML notation. The problem has been decomposed into simpler sub-problems that fit the definition of basic frames. All the sub-problems have been individually analyzed by identifying their requirements and defining a machine specification. The re-composition of the sub-problems has been carried out by merging the requirements of the sub-problems, defining new requirements that solve the conflicts among the sub-problems, and specifying a new machine that, in combination with the problem domains, satisfies the requirements. This case study allowed us to identify two decomposition and re-composition patterns.
2010
Modelling Foundations and Applications; Lecture Notes in Computer Science
9783642135941
Sixth European Conference on Modelling Foundations and Applications, ECMFA 2010
Parigi
15-18 giugno 2010
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11383/1717137
 Attenzione

L'Ateneo sottopone a validazione solo i file PDF allegati

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 4
  • ???jsp.display-item.citation.isi??? 3
social impact