Banca de QUALIFICAÇÃO: EVANDO CARLOS PESSINI

Uma banca de QUALIFICAÇÃO de DOUTORADO foi cadastrada pelo programa.
DISCENTE: EVANDO CARLOS PESSINI
DATA: 15/02/2013
HORA: 16:00
LOCAL: sala de reunioes do DIMAp
TÍTULO:

Certificação de Composições de Serviços Web Semânticos


PALAVRAS-CHAVES:

Serviços Web, Serviços Web Semânticos


PÁGINAS: 67
GRANDE ÁREA: Ciências Exatas e da Terra
ÁREA: Ciência da Computação
SUBÁREA: Metodologia e Técnicas da Computação
ESPECIALIDADE: Sistemas de Informação
RESUMO:

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.


MEMBROS DA BANCA:
Presidente - 1221251 - MARTIN ALEJANDRO MUSICANTE
Interno - 1495704 - UMBERTO SOUZA DA COSTA
Externo à Instituição - ALBERTO PARDO - URep
Externo à Instituição - CLAUDIA MARIA FERNANDES ARAÚJO RIBEIRO - UERN
Externo à Instituição - REGINA MOTZ - URep
Notícia cadastrada em: 15/02/2013 08:30
SIGAA | Superintendência de Informática - (84) 3215-3148 | Copyright © 2006-2019 - UFRN - sigaa07-producao.info.ufrn.br.sigaa07-producao