Concurrent Semantics for the Web Services Specification Language DAML-S.
Anupriya AnkolekarFrank HuchKatia P. SycaraPublished in: COORDINATION (2002)
Keyphrases
- specification language
- web services
- description language
- semantic web services
- formal specification
- programming language
- web service composition
- service oriented
- symbolic execution
- web applications
- business processes
- software environment
- service providers
- requirements specification
- bpel ws
- service composition
- business process
- software architecture
- machine learning
- model checker
- workflow models