Title :
A Meta-model Supporting the Decomposition of Problem Descriptions
Author :
Lavazza, Luigi ; Coen-Porisini, Alberto ; Colombo, Pietro ; Bianco, Vieri Del
Author_Institution :
Dip. di Inf. e Comun., Univ. degli Studi dell´´Insubria, Varese, Italy
Abstract :
Problem frames are an approach to requirements modeling that is gaining increasing attention and popularity. A few meta-models have already been proposed to precisely define the notation and -in some cases- to support the construction of tools. However, the meta-models proposed till now concentrate on modeling the single problem frame, without addressing the whole problem. This is particularly limiting, since one of the strengths of the problem frames approach is in tackling the complexity of problems by guiding their decomposition into sub-problems, and in identifying recurring patterns of elementary problems. In order to support this fundamental activity, a meta-model has to support the notion of sub-problems and sub-domains, moreover it must provide suitable means to represent problems in intermediate situations during the (de)composition phases. This paper presents a meta-model that solves the aforementioned problems and provides a suitable base for the construction of a tool based on the EMF/GEF technology.
Keywords :
formal specification; formal verification; systems analysis; metamodel; problem description decomposition; problem frames; recurring pattern identification; requirement modeling; Analytical models; Clocks; Context; Logic gates; Reliability; Safety; Sensors; meta-modeling; modeling tools; problem (de) composition; problem frames;
Conference_Titel :
Software Engineering Advances (ICSEA), 2010 Fifth International Conference on
Conference_Location :
Nice
Print_ISBN :
978-1-4244-7788-3
Electronic_ISBN :
978-0-7695-4144-0
DOI :
10.1109/ICSEA.2010.15