Den ökande komplexiteten i mjukvarusystem gör förändringshantering kostsam och tidskrävande. För att säkerställa en kostnadseffektiv systemlivslängd och uthållighet, är det viktigt att tillämpa förändringshantering i de tidiga stadierna av mjukvaruutveckling. I detta dokument introducerar vi ett regelbaserat tillvägagångssätt för att få programvaruarkitektur att utvecklas baserat på motexempel från en modellkontroll för kränkta, ändrade funktionskrav. Metoden fungerar på programvaruarkitektur i AADL och bygger på att verifiera funktionella krav med Maude modellkontroll. Vårt mål är att ge arkitekten riktlinjer om eventuella förändringar. Med hjälp av ett industriellt exempel visar vi hur vår strategi hjälper till att bestämma förändringar för att producera en ny version av arkitekturen.
Det tillvägagångssätt som beskrivs i Goknil et al. REF agerar på AADL-programvara arkitektur och bygger på att verifiera funktionella krav och använder Maude modell checker.
A rule-based approach for evolution of AADL models based on changes in functional requirements
{'venue': "ECSAW '16", 'journal': None, 'mag_field_of_study': ['Computer Science']}