Analysis of Realizability Conditions for Web Service Choreographies

DOI10.1007/11888116_5MaRDI QIDQ3613058zbMATH OpenOpenAlexWikidataFDO

Authors Raman Kazhamiakin, Marco Pistore

Publication date 11 March 2009

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

Full work available at URL https://doi.org/10.1007/11888116_5

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Internet topics (68M11) Network protocols (68M12)

Recommendations

• Formalizing web service choreographies
• A Petri net approach for the design and analysis of web services choreographies
• Realizable temporal logics for web service choreography
• Validation and verification of web services choreographies by using timed automata

Cites work

• Analysis of Realizability Conditions for Web Service Choreographies
• Computer Aided Verification
• Conversation protocols: a formalism for specification and verification of reactive electronic services
• Formalizing web service choreographies
• On Communicating Finite-State Machines

Cited in

(10)

• Reo + \(\mathrm{mCRL2}\): a framework for model-checking dataflow in service compositions
• Minimum-cost delegation in service composition
• Formalizing web service choreographies
• Realizability and dynamic reconfiguration of chor specifications
• Analyzing Chor specifications by translation into FSP
• Conversation protocols: a formalism for specification and verification of reactive electronic services
• Analysis of Realizability Conditions for Web Service Choreographies
• A WSDL-based type system for asynchronous WS-BPEL processes
• Conversation protocols: a formalism for specification and verification of reactive electronic services
• Realizable temporal logics for web service choreography

Describes a project that uses

Uses Software

• WSAT

This page was built for publication: Analysis of Realizability Conditions for Web Service Choreographies

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