Towards a Universal Service Description Language

被引：1
|
作者：
Simon, L [1 ]
Bansal, A [1 ]
Mallya, A [1 ]
Kona, S [1 ]
Gupta, G [1 ]
Hite, TD [1 ]
机构：
[1] Univ Texas, Dept Comp Sci, Richardson, TX 75083 USA
来源：
International Conference on Next Generation Web Services Practices | 2005年
关键词：
D O I：
10.1109/NWESP.2005.76
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
To fully utilize web-services, users and applications should be able to discover, deploy, compose and synthesize services automatically. This automation can take place only if a formal semantic description of the webservices is available. In this paper we present the design of USDL (Universal Service Description Language), a language for formally describing the semantics of information utilized and produced by 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 program documentation that will allow sophisticated conceptual modeling and searching of available web-services, automated service composition, and other forms of automated service integration. The preliminary design of USDL is presented, along with examples, and its formal semantics given.
引用
收藏
页码：175 / 180
页数：6
相关论文
共 50 条
  • [1] A universal service description language
    Simon, L
    Mallya, A
    Bansal, A
    Gupta, G
    Hite, TD
    [J]. 2005 IEEE International Conference on Web Services, Vols 1 and 2, Proceedings, 2005, : 823 - 824
  • [2] Towards an universal systems description language
    Nedelcu, DM
    [J]. SICON/01: ISA/IEEE SENSORS FOR INDUSTRY CONFERENCE, PROCEEDINGS, 2001, : 181 - 186
  • [3] A universal service-semantics description language
    Bansal, A
    Kona, S
    Simon, L
    Mallya, A
    Gupta, G
    Hite, TD
    [J]. THIRD EUROPEAN CONFERENCE ON WEB SERVICES, PROCEEDINGS, 2005, : 214 - 225
  • [4] Towards the semantics for web service choreography description language
    Li, Jing
    He, Jifeng
    Pu, Geguang
    Zhu, Huibiao
    [J]. FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2006, 4260 : 246 - +
  • [5] Towards the formal model and verification of web service choreography description language
    Zhao Xiangpeng
    Yang Hongli
    Qiu Zongyan
    [J]. WEB SERVICES AND FORMAL METHODS, PROCEEDINGS, 2006, 4184 : 273 - 287
  • [6] TOWARDS A UNIVERSAL SCIENTIFIC LANGUAGE
    ALONSO, HO
    [J]. MEDICINA-BUENOS AIRES, 1978, 38 (01) : 122 - 122
  • [7] TOWARDS A UNIVERSAL SCIENTIFIC LANGUAGE
    VIRGINILLO, N
    [J]. MEDICINA-BUENOS AIRES, 1977, 37 (5-6) : 595 - 595
  • [8] TOWARDS A UNIVERSAL SCIENTIFIC LANGUAGE
    PAZ, RA
    [J]. MEDICINA-BUENOS AIRES, 1977, 37 (04) : 427 - 428
  • [9] Towards service description logics
    Bonatti, PA
    [J]. LOGICS IN ARTIFICIAL INTELLIGENCE 8TH, 2002, 2424 : 74 - 85
  • [10] Towards a universal language of the built environment
    Wang, Qi
    Heath, Tim
    [J]. SOCIAL SEMIOTICS, 2011, 21 (03) : 399 - 416
12345