A formal model for semantic Web service composition

Freddy Lecue, Freddy Lécué, Alain Léger

    Research output: Chapter in Book/Conference proceedingConference contributionpeer-review

    Abstract

    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 the automated composition of Web services because such a process requires rich machine-understandable descriptions of services that can be shared. Semantics enables Web service to describe their capabilities and processes, nevertheless there is still some work to be done. Indeed Web services described at functional level need a formal context 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 model supports a semantic context in order to find a correct, complete, consistent and optimal plan as a solution. In this paper an innovative and formal model for an AI planning-oriented composition is presented. © Springer-Verlag Berlin Heidelberg 2006.
    Original languageEnglish
    Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.
    PublisherSpringer Nature
    Pages385-398
    Number of pages13
    Volume4273
    ISBN (Print)3540490299, 9783540490296
    Publication statusPublished - 2006
    Event5th International Semantic Web Conference, ISWC 2006 - Athens, GA
    Duration: 1 Jul 2006 → …
    http://dblp.uni-trier.de/db/conf/semweb/iswc2006.html#BelhajjameEPSG06http://dblp.uni-trier.de/rec/bibtex/conf/semweb/BelhajjameEPSG06.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/semweb/BelhajjameEPSG06

    Conference

    Conference5th International Semantic Web Conference, ISWC 2006
    CityAthens, GA
    Period1/07/06 → …
    Internet address

    Keywords

    • AI planning
    • Automated composition
    • Automated reasoning
    • Semantic web
    • Web service

    Fingerprint

    Dive into the research topics of 'A formal model for semantic Web service composition'. Together they form a unique fingerprint.

    Cite this