Ett vanligt problem i biblioteksbaserad programmering är problemet med nedkompatibilitet: kommer ett program som använder en befintlig version av ett bibliotek att fortsätta att fungera korrekt med en uppgraderad version? Som ett steg mot att ta itu med detta problem för bibliotek av reaktiva komponenter utvecklar vi en teori som utrustar komponenter med gränssnittsspråk som kännetecknar interaktionsmönster användarapplikationer kan engagera sig i komponenten. Vi visar sedan hur dessa språk kan användas för att bygga uppgradering specifikationer från komponenter och deras gränssnitt språk. Intuitivt beskriver uppgraderingsspecifikationer uttryckligen krav en (förbättrad) implementering av en komponent måste uppfylla och är avsedda att användas av biblioteksutvecklare. Under vissa rimliga antaganden om kontextkomponenterna ska användas i vi visar att våra uppgraderingsspecifikationer är kompletta i den meningen att varje korrekt uppgradering av en komponent är relaterad på ett exakt sätt till dess uppgraderingsspecifikation. Dessa resultat gäller särskilt om det språk som används för att utveckla sammanhang är CSP eller CCS.
I REF används sammanhang för att bygga uppgraderingsspecifikation från komponenter och deras gränssnittsspråk.
On the Evolution of Reactive Components -- A Process-Algebraic Approach
{'venue': 'FASE', 'journal': None, 'mag_field_of_study': ['Computer Science']}