A Petri net approach for the design and analysis of web services choreographies
From MaRDI portal
Publication:2390034
DOI10.1016/j.jlap.2008.09.002zbMath1188.68205OpenAlexW2026578398MaRDI QIDQ2390034
Gregorio Díaz, Valentin Valero, Hermenegilda Macia, María Emilia Cambronero
Publication date: 20 July 2009
Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jlap.2008.09.002
Network design and communication in computer systems (68M10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
Validation and verification of web services choreographies by using timed automata, A centralized and a decentralized method to automatically derive choreography-conforming web service systems, A barred operational semantics for a subset of WS-CDL with time restrictions
Cites Work