EAI Endorsed Transactions on Self-Adaptive Systems 15(1): e6

Research Article

Requirements Engineering for Self-Adaptive Systems with ARE and KnowLang

Download65 downloads
  • @ARTICLE{10.4108/sas.1.1.e6,
        author={Emil Vassev},
        title={Requirements Engineering for Self-Adaptive Systems with ARE and KnowLang},
        journal={EAI Endorsed Transactions on Self-Adaptive Systems},
        volume={15},
        number={1},
        publisher={ICST},
        journal_a={SAS},
        year={2015},
        month={1},
        keywords={self-adaptive systems, requirements engineering, autonomy, ARE, KnowLang},
        doi={10.4108/sas.1.1.e6}
    }
    
  • Emil Vassev
    Year: 2015
    Requirements Engineering for Self-Adaptive Systems with ARE and KnowLang
    SAS
    ICST
    DOI: 10.4108/sas.1.1.e6
Emil Vassev1,*
  • 1: Lero–the Irish Software Engineering Research Center, University of Limerick, Limerick, Ireland
*Contact email: emil@vassev.com

Abstract

This article presents an approach to Autonomy Requirements Engineering (ARE) that targets the integration and promotion of autonomy in software-intensive systems by providing a mechanism and methodology for elicitation and expression of autonomy requirements. ARE relies on goal-oriented requirements engineering to elicit and define system goals, and uses the generic autonomy requirements model to derive and define assistive and, eventually, alternative objectives. The system may pursue these “self-* objectives” in the presence of factors threatening the achievement of the initial system goals. Once identified, the autonomy requirements are specified with KnowLang, a formal language dedicated to knowledge representation and reasoning. To demonstrate both the ARE’s and KnowLang’s ability to handle autonomy requirements for self-adaptive systems, the approach is applied to Science Clouds, a self-adaptive cloud platform.