Vi presenterar en metod för validering och verifiering av webtjänster koreografier, och mer specifikt, för de sammansatta Web Services-system med tidsbegränsningar. Vi använder ett W3C-förslag för beskrivning av sammansatta webbtjänster, WS-CDL (Web Services Koreografi Beskrivningsspråk), och vi definierar en operationell semantik för en relevant delmängd av det. Vi definierar sedan en översättning av den ansedda undergruppen av WS-CDL till ett nätverk av tidsinställda automata, som bevisar att denna översättning är korrekt. Slutligen använder vi UPAAL-verktyget för validering och verifiering av det beskrivna systemet, genom att använda den genererade tidsinställda automaten. Tråd och rep av gummi, inte porösa och inte förstärkta, laminerade eller på annat sätt kombinerade med annat material, inte förstärkta eller på annat sätt kombinerade med annat material
I REF, Cambronero et al. verifiera och validera webtjänsters koreografi genom att översätta en delmängd av WS-CDL till ett nätverk av tidsinställda automater och sedan använda UPAAL-verktyg för validering och verifiering av det beskrivna systemet.
Validation and verification of Web services choreographies by using timed automata
{'venue': 'J. Log. Algebr. Program.', 'journal': 'J. Log. Algebr. Program.', 'mag_field_of_study': ['Computer Science']}