I detta dokument presenterar vi en formell modell, som heter PobSAM (Policy-based SelfAdaptive Model), för utveckling och modellering av självanpassade evolverande system. I denna modell används policys som en mekanism för att styra och anpassa beteendet hos självanpassningssystem. En PobSAM-modell är en samling autonoma chefer och förvaltade aktörer. De hanterade aktörerna är dedikerade till det funktionella beteendet medan de autonoma cheferna styr beteendet hos hanterade aktörer genom att genomdriva lämpliga policyer. En chef har en uppsättning konfigurationer med två typer av policyer: styrande policyer och anpassningspolicyer. För att anpassa systembeteendet som svar på förändringarna byter cheferna mellan olika konfigurationer. Vi använder kombinationen av en algebraisk formalism och en aktörsbaserad modell för att formellt specificera denna modell. Ledda aktörer uttrycks av en aktörsmodell. Chefer är modellerade som meta-aktorer vars konfigurationer beskrivs med hjälp av en multi-sorterad algebra som kallas CA. Vi tillhandahåller en operativ semantik för PobSAM med hjälp av märkta övergångssystem. Dessutom ger vi beteendemässig likvärdighet av olika typer av CA i termer av delning bisimulation och prioriterad delning bisimulation. Motsvarande chefer skickar samma uppsättning meddelanden till aktörerna. Med hjälp av vår beteendelikvärdighet teori, kan vi bevisa att det övergripande beteendet i systemet bevaras genom att ersätta en chef med en likvärdig.
Khakpour m.fl. REF presenterar en formell modell för utveckling och modellering av självanpassningsutvecklande system.
Formal modeling of evolving self-adaptive systems
{'venue': 'Sci. Comput. Program.', 'journal': 'Sci. Comput. Program.', 'mag_field_of_study': ['Computer Science']}