Web-services compostos: um estudo sobre as abordagens de verificação

Abstract

Diversos tipos de serviços estão disponíveis através da internet apresentando funções que agilizam e movimentam o mercado mundial. Em função desse cenário as organizações de TI estão tendo a necessidade de lidar com os serviços, fazendo com que a necessidade, tempo/agilidade, a pressão para a redução de custos e a adaptabilidade sejam características predominantes. SOC utiliza serviços como elementos fundamentais para desenvolver aplicações e soluções. Associado a esse paradigma existe a SOA, a arquitetura orientada a serviços que tem como principal exemplificação os Webservices. Serviços complexos são criados através de composição entre serviços pré-existentes e, para isso, é necessário que existam parâmetros e critérios de comunicação em comum (multiplataforma) conhecidos como gates e que, no repositório UDDI, conste a descrição em alguma linguagem sintática desses Webservices para assim, existir uma composição correta, sem erros, sem pontos de deadlock. Para comprovar que uma composição está correta são utilizadas metodologias de especificação formal para realizar o processo de verificação operacionais, confiáveis, robustas e livre de erros. Este trabalho tem como resultante o relato com as técnicas transacionais utilizadas e suas respectivas variações propostas com o objetivo de garantir o bom funcionamento da composição de Webservices - tanto por orquestração e coreografia - ao realizar a sua verificação antes da sua execução.