This thesis describes a formal approach to service repository design, where web services are centrally published by service providers and queried by service consumers. Service behaviors are formally specified and behavioral contracts are utilized to find functional substitutions. If no direct match is found, composed specifications can be used to match the query. A detailed description of an example repository and the design process are presented in the thesis. |