En webbtjänst är ett fristående, fristående modulprogram som kan publiceras, lokaliseras och åberopas över ett nätverk, t.ex. Internet. Web Services sammansättning ger ett sätt att få mervärdestjänster genom att kombinera flera Web Services. Sammansättningen av webbtjänster är därför lämplig för att stödja integration av företagstillämpningar. WS-CDL (Webbtjänster Koreografi Beskrivning Språk) är en W3C kandidatrekommendation för beskrivning av peer-to-peer samarbeten för deltagarna i en Web Services sammansättning. I detta dokument fokuserar vi på utvecklingen av en metodik för utformning och validering av sammansatta webbtjänster med hjälp av WS-CDL som språk för att beskriva webbtjänsters interaktioner och Petri-nät som en formalism som gör det möjligt för oss att simulera och validera de beskrivna systemen. Vi avser därför särskilt att fånga tidsinställda och prioriterade samarbeten i sammansatta webbtjänster, så den modell av Petri nät som vi använder är en prioriterad version av Time Petri nät.
Det finns andra verk som använder Petri-nät, i REF presenterade vi en metod för design, verifiering och validering av sammansatta webbtjänster som använder WS-CDL som språk för att beskriva webbtjänsters interaktioner, och Petri-nät som en formalism som gör det möjligt för oss att analysera de beskrivna systemen.
A Petri net approach for the design and analysis of Web Services Choreographies
{'venue': 'J. Log. Algebr. Program.', 'journal': 'J. Log. Algebr. Program.', 'mag_field_of_study': ['Computer Science']}