Återkoppling kontroll loopar som övervakar och anpassar hanterade delar av ett programvarusystem anses avgörande för att förverkliga självanpassning i programvarusystem. MAPE-K (Monitor-Analyze-Plan-Execute over a shared Knowledge) är den mest inflytelserika referenskontrollmodellen för självanpassade system. Utformningen av komplexa distribuerade självanpassade system med decentraliserad anpassningskontroll genom flera samverkande MAPE-komponenter är en av de stora utmaningarna. Det krävs framför allt formella metoder för att utforma och säkerställa den decentraliserade anpassningslogikens funktionella korrekthet. I denna artikel presenteras en ram för formell modellering och analys av självanpassade system. Vi bidrar med en formalism, kallad självadaptiv Abstract State Machines, som utnyttjar begreppet multiagent Abstract State Machines för att specificera distribuerad och decentraliserad anpassningskontroll när det gäller MAPE-K-kontrollslingor, även möjliga fall av MAPE-mönster. Vi stöder validerings- och verifieringstekniker för att upptäcka oväntade störande MAPE-K-loopar, och för att säkerställa att MAPE-komponenterna interagerar korrekt när de utför anpassning. CCS-koncept: r Allmänt och referens → Validering; r Software and its engineering → Ytterligare nyckelord och fraser: Självanpassning, MAPE-K loop, MAPE-mönster, abstrakta tillståndsmaskiner, formell modellering och analys, funktionskrav försäkran ACM Referensformat: Paolo Arcaini, Elvinia Riccobene och Patrizia Scandurra. Vad är det som händer? Formell konstruktion och verifiering av självanpassningssystem med decentraliserad styrning.
Till exempel Arcaini et al. föreslå i REF, en ASM-modell för att analysera MAPE-K loops av självanpassningssystem som följer en decentraliserad arkitektur.
Formal Design and Verification of Self-Adaptive Systems with Decentralized Control
{'venue': 'TAAS', 'journal': None, 'mag_field_of_study': ['Computer Science']}