USDL: A service-semantics description language for automatic service discovery and composition

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

Research output: Contribution to journalArticle

25 Citations (Scopus)

Abstract

Web services and Service-Oriented Computing is being widely adopted. In order to effectively reuse existing services, we need an infrastructure 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 article 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 service substitution using USDL is presented. 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, WSDL-S, and WSML and show that USDL is complementary to these approaches.

Original languageEnglish (US)
Pages (from-to)20-48
Number of pages29
JournalInternational Journal of Web Services Research
Volume6
Issue number1
StatePublished - Jan 2009
Externally publishedYes

Fingerprint

Semantics
Chemical analysis
Web services
Ontology
WSDL
World Wide Web
Substitution reactions
Automation

Keywords

  • Constraint programming
  • Logic programming
  • Semantic web services
  • Web service composition
  • Web service discovery

ASJC Scopus subject areas

  • Computer Networks and Communications
  • Software
  • Information Systems

Cite this

USDL : A service-semantics description language for automatic service discovery and composition. / Bansal, Srividya; Bansal, Ajay; Simon, Luke; Mallya, Ajay; Gupta, Gopal; Hite, Thomas D.

In: International Journal of Web Services Research, Vol. 6, No. 1, 01.2009, p. 20-48.

Research output: Contribution to journalArticle

@article{a2c53adf7daa4c059f8b5e4a9dc33a83,
title = "USDL: A service-semantics description language for automatic service discovery and composition",
abstract = "Web services and Service-Oriented Computing is being widely adopted. In order to effectively reuse existing services, we need an infrastructure 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 article 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 service substitution using USDL is presented. 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, WSDL-S, and WSML and show that USDL is complementary to these approaches.",
keywords = "Constraint programming, Logic programming, Semantic web services, Web service composition, Web service discovery",
author = "Srividya Bansal and Ajay Bansal and Luke Simon and Ajay Mallya and Gopal Gupta and Hite, {Thomas D.}",
year = "2009",
month = "1",
language = "English (US)",
volume = "6",
pages = "20--48",
journal = "International Journal of Web Services Research",
issn = "1545-7362",
publisher = "IGI Publishing",
number = "1",

}

TY - JOUR

T1 - USDL

T2 - A service-semantics description language for automatic service discovery and composition

AU - Bansal, Srividya

AU - Bansal, Ajay

AU - Simon, Luke

AU - Mallya, Ajay

AU - Gupta, Gopal

AU - Hite, Thomas D.

PY - 2009/1

Y1 - 2009/1

N2 - Web services and Service-Oriented Computing is being widely adopted. In order to effectively reuse existing services, we need an infrastructure 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 article 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 service substitution using USDL is presented. 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, WSDL-S, and WSML and show that USDL is complementary to these approaches.

AB - Web services and Service-Oriented Computing is being widely adopted. In order to effectively reuse existing services, we need an infrastructure 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 article 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 service substitution using USDL is presented. 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, WSDL-S, and WSML and show that USDL is complementary to these approaches.

KW - Constraint programming

KW - Logic programming

KW - Semantic web services

KW - Web service composition

KW - Web service discovery

UR - http://www.scopus.com/inward/record.url?scp=70349098848&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=70349098848&partnerID=8YFLogxK

M3 - Article

AN - SCOPUS:70349098848

VL - 6

SP - 20

EP - 48

JO - International Journal of Web Services Research

JF - International Journal of Web Services Research

SN - 1545-7362

IS - 1

ER -