Programvarusystemen består i allt högre grad av självständigt utvecklade heterogena komponenter. För att säkerställa driftskompatibilitet behövs medlare som samordnar åtgärder och översätter utbytta meddelanden mellan komponenterna. Vi presenterar en teknik för automatiserad syntes av medlare, med hjälp av en quotient operatör, som bygger på beteendemodeller av komponenterna och en ontologisk modell av datadomänen. Genom att inte kräva en specifikation av det sammansatta systemet stöder metoden både off-line och run-time syntes. Den erhållna medlaren är den mest allmänna komponenten som garanterar frihet för både kommunikationsobalanser och dödläge i sammansättningen. Validering av metoden ges genom införande av en prototyp verktyg, medan tillämplighet illustreras på heterogena semester bokning komponenter.
Bennaceur m.fl. I REF föreslås en teknik för automatiserad syntes av medlare med hjälp av en kvotoperatör, som bygger på beteendemodeller av komponenterna och en ontologisk modell av datadomänen.
Automated Mediator Synthesis: Combining Behavioural and Ontological Reasoning
{'venue': 'SEFM', 'journal': None, 'mag_field_of_study': ['Computer Science']}