Title
A Universal Service-Semantics Description Language
Abstract
For web-services to become pructdcal, an infrustructure 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 0WL-S and WSML and show that USDL is complementary to these approaches.
Year
DOI
Venue
2005
10.1109/ECOWS.2005.4
ECOWS
Keywords
Field
DocType
web ontology language,formal specification,available web-services,automated service integration,automated service composition,safe service substitution,formal description,common basis,universal service-semantics description language,formal service documentation,internet
World Wide Web,Programming language,Conceptual model,Computer science,Automation,Formal specification,WordNet,Documentation,Database,Semantics,Ontology language,The Internet
Conference
ISBN
Citations 
PageRank 
0-7695-2484-2
18
1.86
References 
Authors
7
6
Name
Order
Citations
PageRank
Ajay Bansal132027.21
Srividya Kona21589.87
luis fernando ramos simon3181.86
ashok u mallya4181.86
g gupta5182.54
Thomas D. Hite6515.81