A Cooperative Service Composition Language and Its Formal Semantics.
Xiuguo ZhangWeishi ZhangPublished in: PDCAT (2006)
Keyphrases
- formal semantics
- service composition
- logical language
- cooperative
- formal language
- operational semantics
- web service composition
- modelling language
- modeling language
- web services
- petri net
- speech acts
- ws bpel
- service oriented
- service discovery
- service selection
- web services composition
- logical reasoning
- multi agent systems
- composition of web services
- service integration
- natural language
- composite web services
- semantic web service composition
- theorem prover
- first order logic
- ontology languages
- metamodel
- business process
- software systems
- expert systems
- web service compositions
- multi agent