Erros

5.4.11

An´uncio de Servi¸co

O provedor de servi¸co, ap´os ter se registrado no proxy, anuncia-se utilizando a primitiva Advert. A mensagem utilizada ´e do tipo SrvAdvert e cont´em os campos Tipo com valor 10, Identifica¸c˜ao com a identifica¸c˜ao do provedor, Pooling com o intervalo de tempo entre an´uncios, Senha Pro. com a senha do provedor, Descri¸c˜ao de Servi¸co com a descri¸c˜ao semˆantica do servi¸co e Tipo de Servi¸co com o tipo de servi¸co. As Figuras 5.20 e 5.21 ilustram a mensagem e o an´uncio de servi¸co.

Figura 5.20: Mensagem de an´uncio servi¸co.

SrvAdvert Advert.req

Advert.ind

Provedor Proxy

tempo

Figura 5.21: An´uncio de servi¸co.

5.5

Erros

As mensagens SrvReg, DiscReq e SrvDeReg s˜ao as ´unicas que recebem notifica¸c˜ao de erro atrav´es de mensagens do tipo SrvRegRplyNeg, DiscRegRplyNeg e SrvDeRegRplyNeg, res- pectivamente. Todos os outros tipos de mensagem n˜ao possuem resposta. Um an´uncio de provedor de servi¸co, por exemplo, consiga o proxy process´a-lo ou n˜ao, n˜ao possui confir- ma¸c˜ao de recebimento. Os an´uncios n˜ao process´aveis de provedores s˜ao silenciosamente

descartados e os provedores de servi¸co, por sua vez, descartam an´uncios de proxy n˜ao process´aveis. O n˜ao envio de confirma¸c˜ao do recebimento de tais mensagens ´e justificado pelo fato de novos an´uncios serem feitos a cada intervalo de tempo. Assim, se o proxy ou algum provedor de servi¸co n˜ao conseguir processar um an´uncio recebido, um outro ser´a recebido mais tarde e com informa¸c˜oes atualizadas.

Os erros previstos no protocolo s˜ao:

• Erro de vers˜ao: indica que a vers˜ao do protocolo n˜ao ´e suportada.

• Erro de autentica¸c˜ao: indica que conta e/ou senha de acesso, ou senha de provedor s˜ao inv´alidas;

• Erro de registro: indica que registro do servi¸co falhou causado pela falha na auten- tica¸c˜ao; e

• Erro de descoberta: indica que a descoberta falhou causado pela falha na autentica- ¸c˜ao.

5.6

Conclus˜ao

O SCaSDP ´e uma proposta de descoberta de servi¸co para sistemas sens´ıveis ao contexto. Possui caracter´ısticas importantes que outras propostas n˜ao exploram, como a utiliza¸c˜ao de informa¸c˜ao contextual e de ontologias no processo de descoberta. ´E dinˆamico, seguro, adapt´avel `a disponibilidade m´ovel, requer baixa intera¸c˜ao humana e faz uso de um servi¸co de diret´orio para organizar e classificar informa¸c˜oes sobre os servi¸cos, clientes e provedores. A informa¸c˜ao contextual ´e suportada pelo protocolo atrav´es de descri¸c˜oes de servi¸co n˜ao restritivas, ou seja, com atributos ´e poss´ıvel aumentar a quantidade de informa¸c˜oes para caracterizar o contexto do servi¸co, pois a cada an´uncio feito tais informa¸c˜oes s˜ao atualizadas. A quantidade de atributos n˜ao ´e fixa, o que permite a cada servi¸co ter uma descri¸c˜ao particular.

OWL-S e a ontologia de dispositivos FIPA s˜ao utilizadas para compartilhar, inferir conhecimento e selecionar servi¸cos. Al´em disso, devido a sua semˆantica formal, permitem uma manipula¸c˜ao autom´atica e complexa das descri¸c˜oes e auxiliam no aumento da precis˜ao do processo de descoberta.

A descoberta de servi¸cos utiliza um algoritmo de compara¸c˜ao que faz uso descri¸c˜oes semˆanticas e informa¸c˜oes contextuais para selecionar o servi¸co desejado. Esse algoritmo utiliza graus de similaridade para classificar a compara¸c˜ao em exata e aproximada, al´em de ordenar os servi¸cos selecionados segundo o n´umero de atributos que possuem.

A seguran¸ca ´e garantida com a utiliza¸c˜ao de um mecanismo de criptografia das men- sagens trocadas entre provedores de servi¸co, clientes e proxies. Como no SPDP e no Splendor, a comunica¸c˜ao entre essas entidades ´e cifrada. Similarmente ao SSDS e SLP, utiliza mecanismos de autentica¸c˜ao para permitir que clientes solicitem descoberta de servi¸cos e que provedores de servi¸co registrem-se e anunciem-se.

As entidades cliente e provedor de servi¸co utilizam um proxy para solicitar descoberta e anunciar descri¸c˜oes de servi¸cos, respectivamente. Como no Salutation, SLP, SSDS, SLM e Carmen, o proxy do SCaSDP faz uso de um servi¸co de diret´orio para organizar e classificar as informa¸c˜oes de servi¸cos, provedores e clientes. O protocolo, como em Carmen e SLM,

5.6. CONCLUS ˜AO 73

tamb´em prevˆe a comunica¸c˜ao entre v´arios proxies durante a descoberta de servi¸cos n˜ao existentes em um ambiente no qual um cliente esteja inserido.

O SCaSDP pode ser muito ´util em ambientes onde h´a um alto dinamismo das informa- ¸c˜oes tratadas e mobilidade de usu´arios, como em hospitais, universidades, empresas e em s´ıtios de pesquisa. O Experimento de Grande Escala da Biosfera-atmosfera da Amazˆonia (LBA), por exemplo, possui s´ıtios de pesquisa espalhados por toda a regi˜ao amazˆonica. Nesses s´ıtios s˜ao realizados experimentos sobre as mudan¸cas pelas quais tem passado toda aquela regi˜ao. Esses experimentos se utilizam de sensores e sistemas localizados em v´arios pontos estrat´egicos. Para um pesquisador do LBA que atua em v´arias frentes de pesquisa e tem de lidar com as constantes mudan¸cas de contexto, causadas pelas caracter´ısticas peculiares de cada s´ıtio, uma plataforma como a Infraware e um protocolo de descoberta como o SCaSDP podem facilitar a descoberta e a utiliza¸c˜ao de servi¸cos necess´arios `a monitora¸c˜ao dos experimentos, `a coleta e processamento de dados relevantes para a com- preens˜ao das mudan¸cas clim´aticas, f´ısicas e qu´ımicas pelas quais passa a regi˜ao amazˆonica. No apˆendice A podem ser encontradas maiores informa¸c˜oes sobre o LBA que justificam a utiliza¸c˜ao do SCaSDP.

No cap´ıtulo seguinte s˜ao descritas as Redes de Petri e as M´aquinas de Estados de processos considerados mais importantes do SCaSDP.

Cap´ıtulo 6

Valida¸c˜ao Formal do SCaSDP

6.1

Introdu¸c˜ao

Segundo [Holzmann 1991] um protocolo ´e melhor entendido como uma m´aquina de esta- dos. Para validar algumas propriedades do SCaSDP e melhor entender os estados pelos quais passa durante sua utiliza¸c˜ao, foram utilizados dois modelos formais de especifica¸c˜ao de protocolos: Redes de Petri e M´aquinas de Estados Finita.

Redes de Petri s˜ao uma ferramenta de modelagem gr´afica e matem´atica aplic´avel a muitos sistemas [Murata 1989]. O modelo de Redes de Petri foi proposto por Carl Adam Petri em sua disserta¸c˜ao “Kommunikation mit Automaten” em 1962, na faculdade de Matem´atica e F´ısica da Universidade T´ecnica de Darmstadt. O objetivo do trabalho era modelar a comunica¸c˜ao entre autˆomatos, utilizados para representar sistemas a eventos discretos [Cardoso e Valette 1997].

Devido `a sua natureza geral e n˜ao restritiva, Redes de Petri podem ser utilizadas em v´arias ´areas de aplica¸c˜ao, dentre elas a de processos concorrentes, ass´ıncronos, distribu´ı- dos, paralelos, n˜ao determin´ısticos e estoc´asticos. ´E fundamentada em um formalismo matem´atico, o que a torna uma ferramenta formal de modelagem. Protocolos de comu- nica¸c˜ao de rede podem ser modelados e validados utilizando Redes de Petri, garantindo, atrav´es das propriedades matem´aticas, que possui boas propriedades como ausˆencia de deadlocks, ciclos ruins, livelocks e serem reinici´aveis.

Neste cap´ıtulo s˜ao descritas as Redes de Petri de processos considerados mais impor- tantes do SCaSDP. Em seguida s˜ao analisados os autˆomatos gerados a partir das Redes de Petri.