Avaliação Formal de um Sistema Baseado em Serviços Web Utilizando Redes de Petri Coloridas e Hierárquicas

Vários sistemas hoje em dia não podem, de forma alguma, ser suscetíveis a erros, pois são sistemas críticos que controlam inúmeras atividades importantes e que, se forem acometidos de erro, podem causar bastante prejuízo ou danos irreparáveis. Alguns desses sistemas são, por exemplo, aqueles utilizados nas áreas da medicina e engenharia ou também aqueles utilizados em inúmeras empresas da atualidade. Tendo isso em vista, existem várias ferramentas que auxiliam o profissional da área de engenharia de software a realizar uma avaliação formal na ferramenta, fazendo assim com que se tenha uma garantia da correta aplicação e funcionamento de tais sistemas após o início de sua utilização, além de verificar as suas propriedades. Uma dessas ferramentas utilizadas para realizar tais tarefas são as Redes de Petri (Petri Nets), que são muito eficientes na modelagem, análise e simulação de sistemas computacionais. Esse projeto tem como objetivo principal realizar a avaliação formal e a validação de um sistema baseado em Web Services de apoio à notificação dos clientes de um laboratório de análises clínicas com o envio de mensagens SMS antes da sua instalação.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação: (1) . Integrantes: Francisco Milton Mendes Neto - Coordenador / Ítalo Weber Soares dos Santos - Integrante. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa / Serviço Barsileiro de Apoio as Micro e Pequena empresas do RN - Bolsa / Instituto Euvaldo Lodi Nacional - Bolsa.Número de orientações: 1

2009 - 2009