För närvarande håller Service-Oriented Architecture (SOA) på att bli den mest populära programvaruarkitekturen i moderna företagsprogram, och en avgörande teknik för dess genomförande är webbtjänster. Enskilda tjänster som erbjuds av vissa tjänsteleverantörer kan symbolisera begränsad affärsverksamhet funktionalitet; men genom att komponera enskilda tjänster från olika tjänsteleverantörer, en sammansatt tjänst som beskriver intakt affärsprocess i ett företag kan göras. Många nya standarder har definierats för att dechiffrera problem med webbtjänstens sammansättning, nämligen Business Process Execution Language (BPEL). BPEL tillhandahåller ett första arbete för att skapa en utökad Markup Language (XML) specifikation språk för att definiera och genomföra affärs praxis arbetsflöden för webbtjänster. Problemen med de mest realistiska tillvägagångssätten för tjänstesammansättning är kontrollen av sammansatta webbtjänster. Den måste vara beroende av en formell kontrollmetod för att säkerställa att de sammansatta tjänsterna är korrekta. Några forskningsprojekt har genomförts i litteraturenkäten för verifiering av webbtjänster för deterministiskt system. De befintliga modellerna behandlade inte heller kontrollegenskaperna såsom dödlägesövergång, dödläge, tillgänglighet och säkerhet. I detta dokument har en ny modell för att verifiera de sammansatta webbtjänsterna med hjälp av Enhanced Stacked Automata Model (ESAM) föreslagits. Det icke-deterministiska systemets korrekthetsegenskaper har utvärderats baserat på egenskaper som dödövergång, dödläge, säkerhet, livlighet och nåbarhet. Inledningsvis är webbtjänster sammansatta med hjälp av Business Process Execution Language for Web Service (BPEL4WS) och det omvandlas till ESAM (kombination av Muller Automata (MA) och Push Down Automata (PDA)) och det omvandlas till Promela språk, ett inmatningsspråk för Simple ProMeLa Interpreter (SPIN) verktyg. Modellen verifieras med hjälp av SPIN-verktyg och resultaten visade bättre skäl när det gäller att hitta död övergång och dödläge i motsats till de befintliga modellerna.
Nagamouttou REF använde förbättrad staplad automatiserad modell för att verifiera för webbtjänster sammansättning.
A verification strategy for web services composition using enhanced stacked automata model
{'venue': 'SpringerPlus', 'journal': 'SpringerPlus', 'mag_field_of_study': ['Computer Science', 'Medicine']}