Generating correct compositions of semantic web services with respect to temporal constraints

  • Efraim Zalmoxis de Almeida Machado UFBA
  • Daniela Barreiro Claro UFBA
  • Aline Maria Santos Andrade UFBA

Resumo


Services are being widely published over the Web and many services may be composed to attend a user's need. A composition of services can demand complex requirements to get an executable composition. Temporal restrictions are one of these requirements. As compositions are dynamically composed, model checking can be applied to verify if compositions are correct in relation to the temporal restrictions required. In this work we propose an algorithm that creates semantic web service compositions and verifies the correctness of a composition checking the temporal restrictions of each iteration. Experiments were carried out and the precision of retrieved services and their execution time were analyzed.
Publicado
15/10/2012
Como Citar

Selecione um Formato
MACHADO, Efraim Zalmoxis de Almeida ; CLARO, Daniela Barreiro; ANDRADE, Aline Maria Santos. Generating correct compositions of semantic web services with respect to temporal constraints. In: SIMPÓSIO BRASILEIRO DE SISTEMAS MULTIMÍDIA E WEB (WEBMEDIA), 18. , 2012, São Paulo. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2012 . p. 197-206.

Artigos mais lidos do(s) mesmo(s) autor(es)