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

DOI10.1016/J.JLAP.2011.10.001zbMath1236.68052OpenAlexW1993440829MaRDI QIDQ764383

Jose Antonio Mateo, Ismael Rodríguez, Gregorio Díaz, Pablo Rabanal

Publication date: 13 March 2012

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.2011.10.001

zbMATH Keywords

formal specificationautomatic web service compositionweb service choreography

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Theory of software (68N99) Internet topics (68M11)

Cites Work

• Unnamed Item
• Unnamed Item
• Conversation types
• A pi-calculus based semantics for WS-BPEL
• A barred operational semantics for a subset of WS-CDL with time restrictions
• Realizability and verification of MSC graphs
• Trace and testing equivalence on asynchronous processes
• A Petri net approach for the design and analysis of web services choreographies
• \(\mathcal {HOTL}\): Hypotheses and observations testing logic
• Theoretical Aspects of Communication-Centred Programming
• A General Testability Theory
• Multiparty asynchronous session types
• Synthesis of Communicating Finite-State Machines with Guaranteed Progress
• Time, clocks, and the ordering of events in a distributed system

This page was built for publication: A centralized and a decentralized method to automatically derive choreography-conforming web service systems