Abstrakt. För att kunna bygga system genom att komponera en mängd olika komponenter dynamiskt, lägga till och ta bort vid behov, är önskvärt. Tyvärr är system med föränderliga arkitekturer benägna att bete sig på ett överraskande sätt. I det här dokumentet visar vi hur det är möjligt att skapa en ögonblicksbild av strukturen i ett löpande program, och hur detta kan kombineras med beteendespecifikationer för komponenter för att kontrollera kompatibilitet och följsamhet till systemegenskaper. Genom att modellera både strukturen och beteendet, innan vi ändrar ett befintligt system, visar vi hur dynamiska kompositionssystem kan sättas samman på ett förutsägbart sätt.
Författarna i REF visar hur det är möjligt att skapa en ögonblicksbild av strukturen i ett löpande program, och hur detta kan kombineras med beteendespecifikationer för komponenter för att kontrollera kompatibilitet mot systemegenskaper.
Predictable Dynamic Plugin Systems
{'venue': 'In FASE', 'journal': None, 'mag_field_of_study': ['Computer Science']}