A barred operational semantics for a subset of WS-CDL with time restrictions

DOI10.1016/J.JLAP.2009.07.001zbMath1183.68077OpenAlexW2034123091MaRDI QIDQ1035678

María Emilia Cambronero, Gregorio Díaz, Valentin Valero, Hermenegilda Macia

Publication date: 4 November 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.2009.07.001

zbMATH Keywords

operational semanticsweb service compositionweb serviceschoreographytimed interactions

Mathematics Subject Classification ID

Internet topics (68M11)

Related Items (1)

A centralized and a decentralized method to automatically derive choreography-conforming web service systems

Uses Software

• COWS

Cites Work

• Unnamed Item
• Unnamed Item
• Service oriented computing from a process algebraic perspective
• A pi-calculus based semantics for WS-BPEL
• A calculus of mobile processes. I
• Petri net algebra
• Process algebra with timing
• A Petri net approach for the design and analysis of web services choreographies
• A Calculus of Global Interaction based on Session Types
• Theoretical Aspects of Communication-Centred Programming
• A Calculus for Orchestration of Web Services

This page was built for publication: A barred operational semantics for a subset of WS-CDL with time restrictions