Abstract-Interoperabilitet är en viktig fråga för programvaruteknik, med tanke på det ökande behovet av att komponera komponenter dynamiskt och sömlöst. Denna dynamiska sammansättning hämmas ofta av skillnader i gränssnitt och beteende hos självständigt utvecklade komponenter. För att ta itu med dessa skillnader utan att ändra komponenterna krävs medlare som systematiskt upprätthåller interoperabilitet mellan funktionellt kompatibla komponenter genom att kartlägga deras gränssnitt och samordna deras beteende. Befintliga metoder för medlarsyntes förutsätter att en gränssnittskartläggning tillhandahålls som specificerar överensstämmelsen mellan de aktuella komponenternas operationer och data. I detta dokument presenterar vi en strategi baserad på ontologi resonemang och begränsning programmering för att dra slutsatser kartläggningar mellan komponenters gränssnitt automatiskt. Dessa kartläggningar garanterar semantisk kompatibilitet mellan verksamheten och data från gränssnitten. Därefter analyserar vi komponenternas beteende för att, om möjligt, syntetisera en medlare som samordnar de beräknade kartläggningarna så att komponenterna interagerar på rätt sätt. Vårt tillvägagångssätt är formellt grundat för att säkerställa att den syntetiserade medlaren är korrekt. Vi demonstrerar giltigheten av vår strategi genom att implementera MICS (Mediator SynthesIs to Connect Components) verktyg och experimentera det med olika verkliga fallstudier.
I tidigare arbete REF utvecklade vi ett tillvägagångssätt baserat på ontologi resonemang och begränsning programmering för att syntetisera applikationslager medlare automatiskt.
Automated Synthesis of Mediators to Support Component Interoperability
{'venue': 'IEEE Transactions on Software Engineering', 'journal': 'IEEE Transactions on Software Engineering', 'mag_field_of_study': ['Computer Science']}