Login / Signup
Checking the Conformance of Orchestrations with Respect to Choreographies in Web Services: A Formal Approach.
Gregorio Díaz
Ismael Rodríguez
Published in:
FMOODS/FORTE (2009)
Keyphrases
</>
web services
formal descriptions
description language
web applications
formal model
service oriented
service composition
web service composition
xml technology
neural network
information systems
business processes
service selection