Conversation protocols: a formalism for specification and verification of reactive electronic services

DOI10.1007/3-540-45089-0_18MaRDI QIDQ3559795zbMATH OpenOpenAlexFDO

Authors Xiang Fu, Tevfik Bultan, Jianwen Su

Publication date 7 May 2010

Published in Implementation and Application of Automata (Search for Journal in Brave)

Full work available at URL https://escholarship.org/uc/item/9z50j84w

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Conversation protocols: a formalism for specification and verification of reactive electronic services
• Analysis of Realizability Conditions for Web Service Choreographies
• Realizable temporal logics for web service choreography
• Deciding choreography realizability
• Modeling and model checking web services

Cited in

(6)

• Conversation protocols: a formalism for specification and verification of reactive electronic services
• scientific article; zbMATH DE number 2036249 (Why is no real title available?)
• Minimum-cost delegation in service composition
• Counterexample guided synthesis of monitors for realizability enforcement
• Exploring the Connection of Choreography and Orchestration with Exception Handling and Finalization/Compensation
• scientific article; zbMATH DE number 2087877 (Why is no real title available?)

This page was built for publication: Conversation protocols: a formalism for specification and verification of reactive electronic services

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