Certificação de Composições de Serviços Web Semânticos
Serviços Web, Serviços Web Semânticos
A Computação Orientada a Serviços é um paradigma de computacão
que emprega a nocão de serviço como elemento fundamental para o
desenvolvimento de aplicacões. Em geral, a funcionalidade
disponibilizada individualmente pelos serviços é limitada, não
sendo possível atender requisições de funcionalidade mais complexas
demandadas em diversas situações. Entretanto, a combinação
adequada desses serviços mais elementares pode prover a
funcionalidade requisitada. Essa possibilidade de combinar diversos
serviços tem gerado perspectivas interessantes para o desenvolvimento
de novas aplicações, alavancando a ideia do reuso de software e
evitando que as aplicações sejam construídas a partir do zero.
Entretanto, diferente do desenvolvimento baseado em componentes (DbC)
onde os componentes estão sob um domínio restrito (por exemplo,
dentro de uma mesma organização), a natureza autônoma e
distribuída dos serviços web tem gerado novos desafios que precisam
ser abordados para que a composição destes serviços seja
consistente. Neste cenário, esta tese tem como objetivo propor um
método para certificação de composições de serviços web
semânticos, aliado à concepção de um ambiente/toolbox que forneça
o suporte necessário para a utilização do método proposto. A
certificação é realizada com base na análise de três aspectos da
composição de serviços web semânticos, denominados de dimensões.
As duas primeiras dimensões, denominadas chamada de serviço e fluxo
de dados, permitem certificar que a composição é executável, ou
seja, que a composição não possue inconsistências que possam gerar
erros ou exceções quando executada. A terceira dimensão, denominada
fluxo de controle, trata da certificação de que a implementacão da
composição cumpre uma dada especificação funcional. Com o
desenvolvimento da tese, espera-se obter um ambiente/toolbox onde o
programador (orquestrador) disponha de ferramentas para certificar que
uma composição de serviços web semânticos é consistente e que
realmente cumpre uma dada funcionalidade esperada. O método e o
ambiente propostos serão avaliados com base no desenvolvimento de um
caso de estudo no contexto de ensino de uma universidade.