View in EDS

Modeling and verification of Functional and Non-Functional Requirements of ambient Self-Adaptive Systems.

Saved in:
Bibliographic Details
Title: Modeling and verification of Functional and Non-Functional Requirements of ambient Self-Adaptive Systems.
Authors: Ahmad, Manzoor1 manzoor.ahmad@univ-pau.fr, Belloir, Nicolas1 nbelloir@gmail.com, Bruel, Jean-Michel2 bruel@irit.fr
Source: Journal of Systems & Software. Sep2015, Vol. 107, p50-70. 21p.
Subjects: Self-adaptive software, Computer software costs, Software engineering, Software maintenance, Computer software developers, Computer software development, Computer programming management
Abstract: Self-Adaptive Systems modify their behavior at run-time in response to changing environmental conditions. For these systems, Non-Functional Requirements play an important role, and one has to identify as early as possible the requirements that are adaptable. We propose an integrated approach for modeling and verifying the requirements of Self-Adaptive Systems using Model Driven Engineering techniques. For this, we use Relax , which is a Requirements Engineering language which introduces flexibility in Non-Functional Requirements. We then use the concepts of Goal-Oriented Requirements Engineering for eliciting and modeling the requirements of Self-Adaptive Systems. For properties verification, we use OMEGA2/IFx profile and toolset. We illustrate our proposed approach by applying it on an academic case study. [ABSTRACT FROM AUTHOR]
Copyright of Journal of Systems & Software is the property of Elsevier B.V. and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)
Database: Engineering Source
FullText Text:
  Availability: 0
Header DbId: egs
DbLabel: Engineering Source
An: 103656362
AccessLevel: 6
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 0
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Modeling and verification of Functional and Non-Functional Requirements of ambient Self-Adaptive Systems.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Ahmad%2C+Manzoor%22">Ahmad, Manzoor</searchLink><relatesTo>1</relatesTo><i> manzoor.ahmad@univ-pau.fr</i><br /><searchLink fieldCode="AR" term="%22Belloir%2C+Nicolas%22">Belloir, Nicolas</searchLink><relatesTo>1</relatesTo><i> nbelloir@gmail.com</i><br /><searchLink fieldCode="AR" term="%22Bruel%2C+Jean-Michel%22">Bruel, Jean-Michel</searchLink><relatesTo>2</relatesTo><i> bruel@irit.fr</i>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <searchLink fieldCode="JN" term="%22Journal+of+Systems+%26+Software%22">Journal of Systems & Software</searchLink>. Sep2015, Vol. 107, p50-70. 21p.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Self-adaptive+software%22">Self-adaptive software</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+software+costs%22">Computer software costs</searchLink><br /><searchLink fieldCode="DE" term="%22Software+engineering%22">Software engineering</searchLink><br /><searchLink fieldCode="DE" term="%22Software+maintenance%22">Software maintenance</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+software+developers%22">Computer software developers</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+software+development%22">Computer software development</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+programming+management%22">Computer programming management</searchLink>
– Name: Abstract
  Label: Abstract
  Group: Ab
  Data: Self-Adaptive Systems modify their behavior at run-time in response to changing environmental conditions. For these systems, Non-Functional Requirements play an important role, and one has to identify as early as possible the requirements that are adaptable. We propose an integrated approach for modeling and verifying the requirements of Self-Adaptive Systems using Model Driven Engineering techniques. For this, we use Relax , which is a Requirements Engineering language which introduces flexibility in Non-Functional Requirements. We then use the concepts of Goal-Oriented Requirements Engineering for eliciting and modeling the requirements of Self-Adaptive Systems. For properties verification, we use OMEGA2/IFx profile and toolset. We illustrate our proposed approach by applying it on an academic case study. [ABSTRACT FROM AUTHOR]
– Name: AbstractSuppliedCopyright
  Label:
  Group: Ab
  Data: <i>Copyright of Journal of Systems & Software is the property of Elsevier B.V. and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract.</i> (Copyright applies to all Abstracts.)
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=egs&AN=103656362
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1016/j.jss.2015.05.028
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 21
        StartPage: 50
    Subjects:
      – SubjectFull: Self-adaptive software
        Type: general
      – SubjectFull: Computer software costs
        Type: general
      – SubjectFull: Software engineering
        Type: general
      – SubjectFull: Software maintenance
        Type: general
      – SubjectFull: Computer software developers
        Type: general
      – SubjectFull: Computer software development
        Type: general
      – SubjectFull: Computer programming management
        Type: general
    Titles:
      – TitleFull: Modeling and verification of Functional and Non-Functional Requirements of ambient Self-Adaptive Systems.
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Ahmad, Manzoor
      – PersonEntity:
          Name:
            NameFull: Belloir, Nicolas
      – PersonEntity:
          Name:
            NameFull: Bruel, Jean-Michel
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 09
              Text: Sep2015
              Type: published
              Y: 2015
          Identifiers:
            – Type: issn-print
              Value: 01641212
          Numbering:
            – Type: volume
              Value: 107
          Titles:
            – TitleFull: Journal of Systems & Software
              Type: main
ResultId 1