DocumentCode
3119118
Title
Automating Service Matchmaking using Type Theory
Author
Yuyu Yin ; Ying Li ; Shuiguang Deng ; Li Kuang ; Jian Wu ; Xuxue Sun ; Jian Jiang ; Zhaohui Wu
Author_Institution
Zhejiang Univ., Hangzhou
fYear
2007
fDate
9-13 July 2007
Firstpage
723
Lastpage
724
Abstract
The paper focuses on reasoning about service matchmaking automatically by the relevant rules. It proposes a formal way to describe elements of Web services in WSDL document using Martin-Lof´s type theory and gives some rules of service matchmaking. Based on the formal representation, we first regard the progress of services matchmaking as the proof of a proposition, and then prove whether two services are matchmaking with each other.
Keywords
Web services; document handling; formal specification; reasoning about programs; type theory; WSDL document; Web service matchmaking; formal specification; reasoning about program; type theory; Acceleration; Computer science; Educational institutions; Logic; Semantic Web; Sun; Web services;
fLanguage
English
Publisher
ieee
Conference_Titel
Services Computing, 2007. SCC 2007. IEEE International Conference on
Conference_Location
Salt Lake City, UT
Print_ISBN
0-7695-2925-9
Type
conf
DOI
10.1109/SCC.2007.29
Filename
4278741
Link To Document