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
相关论文
共 50 条
  • [1] A formal model for semantic Web service composition
    Lecue, Freddy
    Leger, Alain
    [J]. SEMANTIC WEB - ISEC 2006, PROCEEDINGS, 2006, 4273 : 385 - 398
  • [2] A Formal Model for Channel Passing in Web Service Composition
    Cai Chao
    Yang Hongli
    Zhao Xiangpeng
    Qiu Zongyan
    [J]. 2008 IEEE INTERNATIONAL CONFERENCE ON SERVICES COMPUTING, PROCEEDINGS, VOL 2, 2008, : 495 - +
  • [3] Formal Specification of the Assurance Point Web Service Composition Model
    Gao, Le
    Urban, Susan D.
    Rodriguez, Jonathan
    Warkhade, Abhijit
    [J]. INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS, 2014, 23 (04)
  • [4] A formal model for Web service composition and its application analysis
    Li, Bixin
    Zhou, Yu
    Zhou, Ying
    Gong, Xufang
    [J]. 2ND IEEE ASIA-PACIFIC SERVICES COMPUTING CONFERENCE, PROCEEDINGS, 2007, : 204 - 210
  • [5] MAS-based dynamic web service composition formal model
    Xu, Donghong
    Qi, Yong
    Hou, Di
    Shen, Linfeng
    Du, Xiaozhi
    Wang, Gongzhen
    [J]. Journal of Southeast University (English Edition), 2008, 24 (03) : 289 - 292
  • [6] Formal Verification for Web Service Composition: A Model-checking Approach
    Ghannoudi, Majdi
    Chainbi, Walid
    [J]. 2015 International Symposium on Networks, Computers and Communications (ISNCC 2015), 2015,
  • [7] Towards formal verification of web service composition
    Bai, XX
    Fan, YS
    [J]. PROCEEDINGS OF THE 11TH INTERNATIONAL CONFERENCE ON INDUSTRIAL ENGINEERING AND ENGINEERING MANAGEMENT, VOLS 1 AND 2: INDUSTRIAL ENGINEERING AND ENGINEERING MANAGEMENT IN THE GLOBAL ECONOMY, 2005, : 577 - 581
  • [8] Towards formal verification of web service composition
    Rouached, Mohsen
    Perrin, Olivier
    Godart, Claude
    [J]. BUSINESS PROCESS MANAGEMENT, PROCEEDINGS, 2006, 4102 : 257 - 273
  • [9] A Formal Model for BPEL4WS Description of Web Service Composition
    GU Xiwu
    [J]. Wuhan University Journal of Natural Sciences, 2006, (05) : 1311 - 1319
  • [10] A Formal Verification for Web Service Composition Based on CCS
    Yun, B. S.
    Yan, J. W.
    Liu, M.
    [J]. MANUFACTURING AUTOMATION TECHNOLOGY, 2009, 392-394 : 330 - 334
12345