Master's Thesis; workload: 100% theoretical.
Demonstrate that WSDL can be extended to become context sensitive.
Provide an analysis of current and future WSDL standards, and extend them to become context sensitive using dependent types.
Presently, web service discovery, composition and orchestration using WSDL is performed at a syntactic level: just interface parameters and types must match.
A challenge is to incorporate context sensitivity into a WSDL standard so that service discovery can be based also on the context of the caller, even before the service is selected or invoked. Dependent types, in which not only the data type of functions, but also aspects of the values can be described, can be used to provide such context sensitivity.