A formal model for Web service composition

被引：0
作者：
Lecue, Freddy [1 ]
Leger, Alain [1 ]
机构：
[1] France Telecom R&D, F-35512 Cesson Sevigne, France
来源：
LEADING THE WEB IN CONCURRENT ENGINEERING: NEXT GENERATION CONCURRENT ENGINEERING | 2006年 / 143卷
关键词：
Semantic Web; Web service; Automated composition and reasoning;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Automated composition of Web services or the process of forming new value added Web services is one of the most promising challenges in the semantic Web service research area. Semantics is one of the key elements for such a task. Even if semantics enables Web service to describe their capabilities and processes, there is still some work to be done. Indeed Web services described at functional level need a formal model to perform the automated composition of Web services. The suggested model (i.e. Causal link matrix) is a necessary starting point to apply problem-solving techniques such as regression-based search for Web service composition. The innovative model supports a semantic context in order to find a solution for an AI planning-oriented Web service composition.
引用
收藏
页码：37 / 46
页数：10
相关论文
共 28 条
  • [1] Alonso G., 2004, DAT SYS APP
  • [2] ANKOLENKAR A, 2004, OWL SERVICES COALITI
  • [3] [Anonymous], 2003, WWW '03
  • [4] Baker A., 2002, MATRIX GROUPS INTRO
  • [5] Declarative composition and peer-to-peer provisioning of dynamic Web services
    Benatallah, B
    Dumas, M
    Sheng, QZ
    Ngu, AHH
    [J]. 18TH INTERNATIONAL CONFERENCE ON DATA ENGINEERING, PROCEEDINGS, 2002, : 297 - 308
  • [6] On automating Web services discovery
    Benatallah, B
    Hacid, MS
    Leger, A
    Rey, C
    Toumani, F
    [J]. VLDB JOURNAL, 2005, 14 (01) : 84 - 96
  • [7] BULTAN T, 2003, INT WORLD WID WEB C, P403
  • [8] CLARO DB, 2005, ICWS INT WORKSH SEM
  • [9] COLUCCI S, 2004, P 6 INT C EL COMM IC, P41
  • [10] Constantinescu I., 2004, P 13 INT WORLD WID W, P268, DOI [10.1145/1013367.1013429, DOI 10.1145/1013367.1013429]
123