Formalizing web service choreographies

MaRDI QIDQ2847798zbMATH OpenFDO

Authors Antonio Brogi, Carlos Canal, Ernesto Pimentel, Antonio Vallecillo

Publication date 11 September 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066104051606

Mathematics Subject Classification ID

Internet topics (68M11) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Analysis of Realizability Conditions for Web Service Choreographies
• A Petri net approach for the design and analysis of web services choreographies
• Formal modeling and conformance validation for WS-CDL using Reo and CASM
• Transforming web services choreographies with priorities and time constraints into prioritized-time colored Petri nets
• A formal dynamic verification of choreographed web services conversations

Cited in

(16)

• A barred operational semantics for a subset of WS-CDL with time restrictions
• A modular framework for verifying versatile distributed systems
• A perspective on service orchestration
• A Petri net approach for the design and analysis of web services choreographies
• Communicating by compatibility
• Specifications using XQuery expressions on traces
• A rigorous model of service component architecture
• On the diversity of asynchronous communication
• A formal dynamic verification of choreographed web services conversations
• Analysis of Realizability Conditions for Web Service Choreographies
• Formalizing Collaboration Goal Sequences for Service Choreography
• Does My Service Have Partners?
• Transforming web services choreographies with priorities and time constraints into prioritized-time colored Petri nets
• Formal modeling and conformance validation for WS-CDL using Reo and CASM
• 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

This page was built for publication: Formalizing web service choreographies

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