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 条
  • [21] A Formal Model to Enforce Trustworthiness Requirements in Service Composition
    Fu, Ning
    Zhang, Yingfeng
    Shan, Lijun
    Liu, Zhiqiang
    Peng, Han
    [J]. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2017, E100D (09): : 2056 - 2067
  • [22] A New Model of Web Service Composition Framework
    Zhang Yanwang
    [J]. INFORMATION COMPUTING AND APPLICATIONS, 2011, 7030 : 480 - 486
  • [23] The Research of Web Service Composition Reuse Model
    Kuang, GuoFang
    Xu, HongSheng
    [J]. ADVANCES IN FUTURE COMPUTER AND CONTROL SYSTEMS, VOL 1, 2012, 159 : 405 - 410
  • [24] A novel business model for web service composition
    Karunamurthy, Rajesh
    Khendek, Ferhat
    Glitho, Roch H.
    [J]. 2006 IEEE INTERNATIONAL CONFERENCE ON SERVICES COMPUTING, PROCEEDINGS, 2006, : 431 - +
  • [25] A formal semantic model of the Semantic Web Service Ontology (WSMO)
    Wang, Hai H.
    Gibbins, Nick
    Payne, Terry
    Saleh, Ahmed
    Sun, Jun
    [J]. 12TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2007, : 74 - +
  • [26] A formal model of semantic Web Service Ontology (WSMO) execution
    Wang, Hai H.
    Gibbins, Nick
    Payne, Terry
    Saleh, Ahmed
    Sun, Jun
    [J]. ICECCS 2008: THIRTEENTH IEEE INTERNATIONAL CONFERENCE ON THE ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2008, : 111 - +
  • [27] A Hybrid Model for Service Selection in Semantic Web Service Composition
    Kumar, Sandeep
    Mishra, R. B.
    [J]. INTERNATIONAL JOURNAL OF INTELLIGENT INFORMATION TECHNOLOGIES, 2008, 4 (04) : 55 - 69
  • [28] Cloud Manufacturing Service Composition Modeling and Formal Verification Based on Calculus for Orchestration of Web Service
    Li Yongxiang
    Yao Xifan
    Zhang Jie
    Li Bin
    [J]. 2013 25TH CHINESE CONTROL AND DECISION CONFERENCE (CCDC), 2013, : 2806 - 2810
  • [29] Model transformation and formal verification for Semantic Web Services composition
    Ni, Yue
    Fan, Yushun
    [J]. ADVANCES IN ENGINEERING SOFTWARE, 2010, 41 (06) : 879 - 885
  • [30] QCCS: A formal model to enforce QoS requirements in service composition
    Meng, Sun
    [J]. TASE 2007: FIRST JOINT IEEE/IFIP SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS, 2007, : 389 - 398
12345