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