Service matchmaking och sammansättning har nyligen dragit till sig allt större uppmärksamhet i forskarsamhället. De flesta befintliga algoritmer bygger kedjor av tjänster baserat på exakta matchningar av in-/utmatningstyper. Detta fungerar dock inte när de tillgängliga tjänsterna endast omfattar en del av indatatypens räckvidd. Vi presenterar en algoritm som också tillåter partiella matchningar och komponerar dem med hjälp av switchar som bestämmer vilken tjänst som krävs vid körning baserat på den faktiska datatypen. Vi rapporterar experiment på slumpmässigt genererade kompositionsproblem som visar att användning av partiella matchningar kan minska felfrekvensen för integrationsalgoritmen med endast kompletta matchningar med upp till 7 gånger utan att öka antalet katalogåtkomster som krävs. Detta visar att sammansättning med partiella matchningar är en viktig och användbar del av webbtjänstens sammansättning.  Tjänstesammansättningen är ett spännande område som har fått ett betydande intresse under den senaste perioden. Initiala metoder för webbtjänstsammansättning [7] använde en enkel framåtkedjningsteknik som kan leda till upptäckt av ett stort antal tjänster. Det finns ett bra arbete som försöker ta itu med problemet med tjänstesammansättningen genom att använda planeringstekniker baserade antingen på teorem som bevisar (t.ex. Golog och [4, 5] eller på hierarkisk uppgiftsplanering (t.ex. SHOP-2 [8]). Fördelen med denna typ av tillvägagångssätt är att komplexa konstruktioner som loopar (Golog) eller processer (SHOP-2) kan hanteras. Alla dessa metoder förutsätter att de relevanta driftsbeskrivningarna först lastas in i resonemangsmotorn och att ingen upptäckt utförs under sammansättningen. Lassila [2] har nyligen mer i detalj tagit upp problemet med interleaving upptäckt och integration, men har endast övervägt 1 Det arbete som presenteras i detta dokument utfördes delvis inom ramen för EPFL Center for Global Computing och stöddes av den schweiziska nationella vetenskapsstiftelsen som en del av projektet MAGIC (FNRS-68155), samt av den schweiziska nationella finansieringsmyndigheten OFIS som en del av de europeiska projekten KnowledgeWeb (FP6-507482) och DIP (FP6-507483). Upphovsrätten innehas av upphovsmannen/ägarna. enkla arbetsflöden där tjänsterna har en ingång och en utgång. I detta dokument är vi oroade över en särskild kombination av frågor som är specifika och unika för webbtjänsternas sammanhang: 1. upptäckt i storskaliga kataloger - vi antar att ett stort antal tillgängliga webbtjänster kommer att lagras i (eventuellt distribuerade) kataloger. Hur ska vi upptäcka exakt de tjänster som är relevanta vid varje steg i vår kompositionsprocess? 2. runtime non-determinism -när upptäckta tjänster inte matchar helt 2, måste resonemangsmotorn aggregera flera tjänster för att uppfylla de funktioner som krävs. Det faktiska flödet av meddelanden kommer att dirigeras baserat på parametrar för körtid på lämpliga vägar. Hur kan vi upptäcka och skapa dessa växlar och hur kan vi se till att de hanterar alla möjliga kombinationer av parametervärden korrekt? Andra utmanande frågor tas inte upp i detta dokument utan beaktas för framtida arbete: beteendebaserad integration, hantering av biverkningar och förändringar i världen som inte är under kontroll av kompositionsmotorn, kunskapstekniska frågor, att räkna upp bara några. Detta dokument bidrar med lösningar på dessa två frågor. Som ett första bidrag presenterar vi en algoritm som blandar ihop upptäckten och kompositionsprocessen med hjälp av en partiell ordningsplaneringsmetod som fokuserar katalogsökningarna. Vårt andra bidrag är en teknik för att upptäcka och komponera tjänster med delvis typkompatibilitet. I vårt tillvägagångssätt diskretiserar vi utrymmet för möjliga parametervärden och vi använder en girig metod för att gradvis minska utrymmet för värden som inte kan hanteras. Därefter monteras delvis matchande komponenter i omkopplare som kan styra flödet av meddelanden på lämpliga vägar baserat på runtime-värden. Vi anser att en tjänst integrationsfråga specificeras i termer av en uppsättning tillgängliga indataparametrar och en uppsättning nödvändiga utdataparametrar. En integrationslösning kommer att bestå av en viss beställning av tjänster som kan åberopas så att slutligen alla parametrar som krävs för frågan är kända. För att lösa problemet upptäcker vi först och applicerar framåt och bakåt kompletta matcher. Tillämpa bakåt helt 2 Den subsume tändstickstypen identifierad av Paolluci [6] och skärnings- eller överlappningsmatchtypen identifierad av Li [3] och Constantinescu [1]. I enlighet med artikel 268 i förordning (EU) nr 1308/2013 ska medlemsstaterna se till att bestämmelserna i förordning (EU) nr 1308/2013 tillämpas från och med den 1 januari 2017 till och med den 31 december 2018.
REF föreslår en enkel metod för att lagra webbtjänsten enligt en input/output-matris (rad/kolumn).
Type based service composition
{'venue': "WWW Alt. '04", 'journal': None, 'mag_field_of_study': ['Computer Science']}