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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Jackson, M.: Problem Frames - Analysing and Structuring Software Development Problems. Addison-Wesley/ACM Press (2001)
Colombo, P., Del Bianco, V., Lavazza, L., Coen-Porisini, A.: A methodological framework for SysML: a Problem Frames-based approach. In: 14th Asia-Pacific Software Engineering Conference, APSEC 2007 (2007)
Lavazza, L., Del Bianco, V.: Combining Problem Frames and UML in the Description of Software Requirements. In: Baresi, L., Heckel, R. (eds.) FASE 2006. LNCS, vol. 3922, pp. 199–213. Springer, Heidelberg (2006)
Laney, R., Barroca, R., Jackson, M., Nuseibeh, B.: Composing Requirements Using Problem Frames. In: Int. Conf. on Requirements Engineering, RE 2004 (2004)
Mizouni, R., Salah, A., Kolahi, S., Dssouli, R.: Merging partial system behaviours: composition of use-case automata. Software, IET 1(4) (2007)
Colombo, P., del Bianco, V., Lavazza, L.: Using Problem Frames to Model the Requirements of a System for Monitoring Dangerous Goods Transportation. In: 3rd Int. Work. on Advances and Applications of Problem Frames, IWAAPF 2008 (2008)
van Lamsweerde, A.: Goal-Oriented Requirements Engineering: A Guided Tour. In: 5th International Symposium on Requirements Engineering, RE 2001 (2001)
Chung, L., Nixon, B.A., Yu, E., Mylopoulos, J.: Non-Functional Requirements in Software Engineering. Kluwer Academic Publishers, Dordrecht (2000)
Elrad, T., Filman, R., Bader, A. (Guest eds.): Special Issue on Aspect Oriented Programming. Communications of the ACM 44(10) (2001)
Nelson, M., Alencar, P., Cowan, P.: Informal description and analysis of geographic requirements: an approach based on problems. SoSyM 6(3) (2007)
Cox, K., Phalp, K.: From process model to problem frame - a position paper. In: Int. Work. on Requirements Engineering: Foundation for Software Quality, REFSQ 2003 (2003)
Cox, K., Phalp, K., Bleistein, S., Verner, J.: Deriving requirements from process models via the Problem Frames approach. Information and Software Technology 47(5), 319–337 (2005)
Rashid, A., Moreira, A.M.D., Araujo, J.: Modularisation and Composition of Aspectual Requirements. In: AOSD 2003 (2003)
Colombo, P., del Bianco, V., Lavazza, L., Coen-Porisini, A.: Towards a Meta-model for Problem Frames: Conceptual Issues and Tool Building Support. In: 4th Int. Conf. on Software Engineering Advances, ICSEA 2009 (2009)
Lavazza, L., Del Bianco, V.: A UML-based Approach for Representing Problem Frames. In: 1st International Workshop on Advances and Applications of Problem Frames (IWAAPF), an ICSE 2004 Workshop, Edinburgh, May 24 (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Colombo, P., Khendek, F., Lavazza, L. (2010). Requirements Analysis and Modeling with Problem Frames and SysML: A Case Study. In: Kühne, T., Selic, B., Gervais, MP., Terrier, F. (eds) Modelling Foundations and Applications. ECMFA 2010. Lecture Notes in Computer Science, vol 6138. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-13595-8_8
Download citation
DOI: https://doi.org/10.1007/978-3-642-13595-8_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-13594-1
Online ISBN: 978-3-642-13595-8
eBook Packages: Computer ScienceComputer Science (R0)