Abstrakt. Dynamiskt anpassningsbara system (DAS) måste klara av förändrade system- och miljöförhållanden som kanske inte har förståtts eller förutsetts fullt ut under utvecklingstiden. RELAX är ett luddigt logikbaserat specifikationsspråk för att göra DAS-kraven mer toleranta mot oförutsedda miljöförhållanden. I detta dokument presenteras AutoRELAX, ett tillvägagångssätt som genererar RELAXed målmodeller som tar itu med miljöosäkerhet genom att identifiera vilka mål för RE-LAX, som RELAX operatörer ska tillämpa, och formen på den suddiga logik funktion som definierar kriterierna måltillfredsställelse. AutoRELAX söker efter RELAXed målmodeller som gör det möjligt för en DAS att uppfylla sina funktionella krav samtidigt balansera kompromisser mellan att minimera antalet RELAXed mål och minimera antalet anpassningar som utlöses av mindre och ogynnsamma miljöförhållanden. Vi tillämpar AutoRELAX på en branschtillhandahållen nätverksapplikation som självkonfigurerar som svar på ogynnsamma miljöförhållanden, såsom länkfel.
Vi nämner AutoRELAX REF, ett automatiserat tillvägagångssätt som slappnar av målmodeller som innehåller RELAX uttryck med målet att uppfylla sina funktionella krav samtidigt minska antalet nödvändiga anpassningar.
Automatically RELAXing a goal model to cope with uncertainty
{'venue': 'SSBSE', 'journal': None, 'mag_field_of_study': ['Computer Science']}