TY - GEN
T1 - A universal service-semantics description language
AU - Bansal, Ajay
AU - Kona, Srividya
AU - Simon, Luke
AU - Mallya, Ajay
AU - Gupta, Gopal
AU - Kite, Thomas D.
PY - 2005
Y1 - 2005
N2 - For web-services to become practical, an infrastructure needs to be supported that allows users and applications to discover, deploy, compose, and synthesize services automatically. This automation can take place only if a formal description of the web-services is available. In this paper we present an infrastructure using USDL (Universal Service-Semantics Description Language), a language for formally describing the semantics of web-services. USDL is based on the Web Ontology Language (OWL) and employs WordNet as a common basis for understanding the meaning of services. USDL can be regarded as formal service documentation that will allow sophisticated conceptual modeling and searching of available web-services, automated service composition, and other forms of automated service integration. A theory of safe service substitution for USDL is presented and proved sound and complete. The rationale behind the design of USDL along with its formal specification in OWL is presented with examples. We also compare USDL with other approaches like OWL-S and WSML and show that USDL is complementary to these approaches.
AB - For web-services to become practical, an infrastructure needs to be supported that allows users and applications to discover, deploy, compose, and synthesize services automatically. This automation can take place only if a formal description of the web-services is available. In this paper we present an infrastructure using USDL (Universal Service-Semantics Description Language), a language for formally describing the semantics of web-services. USDL is based on the Web Ontology Language (OWL) and employs WordNet as a common basis for understanding the meaning of services. USDL can be regarded as formal service documentation that will allow sophisticated conceptual modeling and searching of available web-services, automated service composition, and other forms of automated service integration. A theory of safe service substitution for USDL is presented and proved sound and complete. The rationale behind the design of USDL along with its formal specification in OWL is presented with examples. We also compare USDL with other approaches like OWL-S and WSML and show that USDL is complementary to these approaches.
UR - http://www.scopus.com/inward/record.url?scp=33845914423&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=33845914423&partnerID=8YFLogxK
U2 - 10.1109/ECOWS.2005.4
DO - 10.1109/ECOWS.2005.4
M3 - Conference contribution
AN - SCOPUS:33845914423
SN - 0769524842
SN - 9780769524849
T3 - Proceedings - Third European Conference on Web Services, ECOWS2005
SP - 214
EP - 225
BT - Proceedings - Third European Conference on Web Services, ECOWS2005
T2 - 3rd European Conference on Web Services, ECOWS2005
Y2 - 14 November 2005 through 16 November 2005
ER -