A Formal Semantics and a Client Synthesis for a BPEL Service.
Serge HaddadPatrice MoreauxSylvain RampacekPublished in: ICEIS (Selected Papers) (2006)
Keyphrases
- formal semantics
- web services
- service oriented
- service composition
- modeling language
- service oriented architecture
- service discovery
- logical reasoning
- operational semantics
- service selection
- business processes
- speech acts
- business process
- composite services
- modelling language
- first order logic
- web service composition
- client server architecture
- logical language
- theorem prover
- er model
- business process modeling
- owl dl ontology
- web services composition
- formal language
- business process management
- description language
- artificial intelligence
- formal methods
- database