A Formal Semantics for the Business Process Execution Language for Web Services.
Roozbeh FarahbodUwe GlässerMona VajihollahiPublished in: WSMDEIS (2005)
Keyphrases
- formal semantics
- web services
- business process execution language
- description language
- service oriented architecture
- bpel ws
- business processes
- business process
- service composition
- logical language
- service oriented
- logical reasoning
- modeling language
- first order logic
- theorem prover
- modelling language
- software architecture
- service discovery
- ws bpel
- domain knowledge
- process model
- software engineering
- semantic web services