Självanpassningssystem modifierar sitt beteende vid körning som svar på förändrade miljöförhållanden. För dessa system spelar icke-funktionella krav en viktig roll, och man måste så tidigt som möjligt identifiera de krav som är anpassningsbara. Vi föreslår ett integrerat tillvägagångssätt för modellering och verifiering av kraven på självanpassade system med hjälp av modelldriven teknikteknik. För detta använder vi Relax, som är ett kravteknikspråk som introducerar flexibilitet i icke-funktionella krav. Vi använder sedan koncepten Goal-Oriented Requirements Engineering för att få fram och modellera kraven i Self-Adaptive Systems. För fastighetsverifiering använder vi OMEGA2/IFx profil och verktygsuppsättning. Vi illustrerar vårt föreslagna tillvägagångssätt genom att tillämpa det på en akademisk fallstudie. (J.-M. Bruel).
Ahmed m.fl. REF undersökte automatisk kontroll av icke-funktionella och funktionella krav med ett integrerat tillvägagångssätt.
Modeling and verification of Functional and Non-Functional Requirements of ambient Self-Adaptive Systems
{'venue': 'J. Syst. Softw.', 'journal': 'J. Syst. Softw.', 'mag_field_of_study': ['Computer Science']}