• 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