UTP Semantics for Web Services

DOI10.1007/978-3-540-73210-5_19MaRDI QIDQ3608891zbMATHOpenAlexFDO

Authors He Jifeng

Publication date 6 March 2009

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-73210-5_19

Mathematics Subject Classification ID

Internet topics (68M11) Semantics in the theory of computing (68Q55)

Recommendations

• FM 2005: Formal Methods
• An algebraic theory for web service contracts
• A pi-calculus based semantics for WS-BPEL
• Model-checking web services orchestrations using BP-calculus
• A formal model for BPEL4WS description of Web service composition

Cited in

(5)

• The safety-critical Java memory model formalised
• FM 2005: Formal Methods
• Compensation by design
• Failure-divergence semantics and refinement of long running transactions
• Lectures on Concurrency and Petri Nets

This page was built for publication: UTP Semantics for Web Services

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3608891)