I takt med att den dynamiska programvaruarkitekturen blir allt vanligare har en mängd formella specifikationsspråk utvecklats för att få en bättre förståelse för grunderna för denna typ av programvaruutveckling. I detta dokument kartlägger vi 14 formella specifikationer baserade på grafer, processalgebror, logik och andra formalismer. Vår undersökning kommer att utvärdera förmågan hos varje tillvägagångssätt att specificera självstyrande system samt förmågan att ta itu med frågor om uttrycksfullhet och skalbarhet. Baserat på resultaten av vår enkät kommer vi att ge rekommendationer om framtida riktningar för att förbättra specifikationen av dynamiska programvaruarkitekturer, särskilt självhanterade arkitekturer.
Olika metoder för att specificera självhanteringssystem undersöks i REF.
A survey of self-management in dynamic software architecture specifications
{'venue': "WOSS '04", 'journal': None, 'mag_field_of_study': ['Computer Science']}