Modeling and verification of Functional and Non-Functional Requirements of ambient Self-Adaptive Systems.
Saved in:
| 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 |
Be the first to leave a comment!
