DocumentCode :
2745029
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
fYear :
2010
fDate :
22-27 Aug. 2010
Firstpage :
50
Lastpage :
57
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;
fLanguage :
English
Publisher :
ieee
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
Type :
conf
DOI :
10.1109/ICSEA.2010.15
Filename :
5614928
Link To Document :
بازگشت