In this paper we propose a life cycle for the automated composition of web services which is based on the usage of Domain Ontologies for the description of data and services, and on workflow patterns for the generation of executable processes. In particular the paper focuses on the integration of the matching and composition phases. The approach aims at producing executable processes that can be formally verified and validated. This is achieved by exploiting formal definitions of composition rules and of BPEL4WS constructs. These definitions are expressed in operational semantics and are translated into Prolog programs in order to be throughout the composition process. A reference architecture for implementing the proposed life cycle is also described.

Automatic generation of context-aware web services compositions

MOSCATO, Francesco;
2007

Abstract

In this paper we propose a life cycle for the automated composition of web services which is based on the usage of Domain Ontologies for the description of data and services, and on workflow patterns for the generation of executable processes. In particular the paper focuses on the integration of the matching and composition phases. The approach aims at producing executable processes that can be formally verified and validated. This is achieved by exploiting formal definitions of composition rules and of BPEL4WS constructs. These definitions are expressed in operational semantics and are translated into Prolog programs in order to be throughout the composition process. A reference architecture for implementing the proposed life cycle is also described.
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11591/163843
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact