Webbtjänster – Webbtillgängliga program och enheter – är ett nyckelprogramområde för Semantic Web. Med spridningen av webbtjänster och utvecklingen mot den semantiska webben kommer möjligheten att automatisera olika webbtjänster uppgifter. Vårt mål är att möjliggöra pålägg och automatiserad resonemangsteknik för att beskriva, simulera, komponera, testa och verifiera sammansättningar av webbtjänster. Vi tar som utgångspunkt DAML-S DAML + OIL ontology för att beskriva kapaciteten hos webbtjänster. Vi definierar semantiken för en relevant delmängd av DAML-S i termer av ett första ordningens logiskt språk. Med semantiken i handen kodar vi våra tjänstebeskrivningar i en Petri Net formalism och ger beslutsprocedurer för webbtjänstsimulering, verifiering och komposition. Vi ger också en analys av komplexiteten i dessa uppgifter under olika restriktioner till DAML-S sammansatta tjänster som vi kan beskriva. Slutligen presenterar vi ett genomförande av vår analysteknik. Denna implementation tar som indata en DAML-S beskrivning av en webbtjänst, genererar automatiskt ett Petri Net och utför den önskade analysen. Ett sådant verktyg har bred tillämplighet både som en bakdel till befintliga manuella verktyg för webbtjänstsammansättning, och som ett fristående verktyg för webbtjänstutvecklare.
Narayanan m.fl. koda webbtjänstfunktionsbeskrivningar och beteendeegenskaper med DAML-S (en ontologi kodad i DAML+OIL för att beskriva webbtjänster) och Petri nettoformalismer, respektive REF.
Simulation, verification and automated composition of web services
{'venue': "WWW '02", 'journal': None, 'mag_field_of_study': ['Computer Science']}