| dc.description.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. | en_US |
