A universal service-semantics description language

Ajay Bansal, Srividya Bansal, Luke Simon, Ajay Mallya, Gopal Gupta, Thomas D. Kite

Research output: Chapter in Book/Report/Conference proceedingConference contribution

23 Citations (Scopus)

Abstract

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.

Original languageEnglish (US)
Title of host publicationProceedings - Third European Conference on Web Services, ECOWS2005
Pages214-225
Number of pages12
Volume2005
DOIs
StatePublished - 2005
Externally publishedYes
Event3rd European Conference on Web Services, ECOWS2005 - Vaxjo, Sweden
Duration: Nov 14 2005Nov 16 2005

Other

Other3rd European Conference on Web Services, ECOWS2005
CountrySweden
CityVaxjo
Period11/14/0511/16/05

Fingerprint

Semantics
Web services
Ontology
World Wide Web
Substitution reactions
Automation
Acoustic waves
Chemical analysis

ASJC Scopus subject areas

  • Engineering(all)

Cite this

Bansal, A., Bansal, S., Simon, L., Mallya, A., Gupta, G., & Kite, T. D. (2005). A universal service-semantics description language. In Proceedings - Third European Conference on Web Services, ECOWS2005 (Vol. 2005, pp. 214-225). [1595731] https://doi.org/10.1109/ECOWS.2005.4

A universal service-semantics description language. / Bansal, Ajay; Bansal, Srividya; Simon, Luke; Mallya, Ajay; Gupta, Gopal; Kite, Thomas D.

Proceedings - Third European Conference on Web Services, ECOWS2005. Vol. 2005 2005. p. 214-225 1595731.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Bansal, A, Bansal, S, Simon, L, Mallya, A, Gupta, G & Kite, TD 2005, A universal service-semantics description language. in Proceedings - Third European Conference on Web Services, ECOWS2005. vol. 2005, 1595731, pp. 214-225, 3rd European Conference on Web Services, ECOWS2005, Vaxjo, Sweden, 11/14/05. https://doi.org/10.1109/ECOWS.2005.4
Bansal A, Bansal S, Simon L, Mallya A, Gupta G, Kite TD. A universal service-semantics description language. In Proceedings - Third European Conference on Web Services, ECOWS2005. Vol. 2005. 2005. p. 214-225. 1595731 https://doi.org/10.1109/ECOWS.2005.4
Bansal, Ajay ; Bansal, Srividya ; Simon, Luke ; Mallya, Ajay ; Gupta, Gopal ; Kite, Thomas D. / A universal service-semantics description language. Proceedings - Third European Conference on Web Services, ECOWS2005. Vol. 2005 2005. pp. 214-225
@inproceedings{e34345dbf44a4d82a0591f849ab53ac8,
title = "A universal service-semantics description language",
abstract = "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.",
author = "Ajay Bansal and Srividya Bansal and Luke Simon and Ajay Mallya and Gopal Gupta and Kite, {Thomas D.}",
year = "2005",
doi = "10.1109/ECOWS.2005.4",
language = "English (US)",
isbn = "0769524842",
volume = "2005",
pages = "214--225",
booktitle = "Proceedings - Third European Conference on Web Services, ECOWS2005",

}

TY - GEN

T1 - A universal service-semantics description language

AU - Bansal, Ajay

AU - Bansal, 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

SN - 0769524842

SN - 9780769524849

VL - 2005

SP - 214

EP - 225

BT - Proceedings - Third European Conference on Web Services, ECOWS2005

ER -