Målet med Web Service Composition (WSC) problemet är att hitta en optimal "komposition" av webbtjänster för att tillfredsställa en given begäran med hjälp av deras syntaktiska och / eller semantiska funktioner, när ingen enda tjänst uppfyller det. I detta dokument studerar vi särskilt WSC-problemet ur semantiska aspekter, utnyttjar förhållandet supertyp-subtype mellan parametrar, och föreslår en ny lösning baserad på tekniker för booleska satisfiability problem (SAT). Med tanke på en uppsättning webbtjänstbeskrivningar och en kravwebbtjänst, reducerar vi WSC-problemet till ett tillgänglighetsproblem på ett tillståndsövergångssystem, och sedan hittar vi den kortaste vägen för tillgänglighetsproblem, vilket motsvarar den optimala sammansättningen. Ett preliminärt experiment med 7 exempel visar att vårt förslag kan hitta optimala sammansättningar av webbtjänster på ett effektivt sätt.
En kompositionsmetod närmast vår presenteras i REF, där författarna reducerar WSCP till ett problem med att nå ett tillståndsövergångssystem.
Type-Aware Web Service Composition Using Boolean Satisfiability Solver
{'venue': '2008 10th IEEE Conference on E-Commerce Technology and the Fifth IEEE Conference on Enterprise Computing, E-Commerce and E-Services', 'journal': '2008 10th IEEE Conference on E-Commerce Technology and the Fifth IEEE Conference on Enterprise Computing, E-Commerce and E-Services', 'mag_field_of_study': ['Computer Science']}