Dados do Acervo - Dissertações

Número de Chamada   
 
005.1    T655l    DIS   
Autor Principal Tomaschewski Netto, Guilherme
Entradas Secundárias - Autor Oliveira, José Palazzo Moreira de , orientador
Universidade Federal do Rio Grande do Sul. Instituto de Informática. Programa de Pós-Graduação em Computação
Título Principal LEMMA 2000 : uma linguagem para análise e representação de protocolos para diagnósticos em medicina / Guilherme Tomaschewski Netto; orientador, José Palazzo Moreira de Oliveira
Publicação 2000.
Descrição Física 95 f. : il. ; 30 cm
Notas Dissertação (mestrado) - Universidade Federal do Rio Grande do Sul, Instituto de Informática, Programa de Pós-Graduação em Computação, Belém, 2000
Inclui referências bibliográficas
A qualidade dos serviços de saúde tomou-se um tema relevante e cada vez mais esforços são dedicados para definir metodologias e ferramentas para medir e assegurar a qualidade. São exigidos novos métodos para aperfeiçoar os processos de saúde, garantindo assim uma alto padrão de qualidade utilizando os recursos disponíveis. A otimização da utilização destes recursos de forma a preservar a qualidade do atendimento bem como baixar os custos requer modelos rigorosos dos processos médicos. Neste contexto apresentamos LEMMA 2000 (Language for an Easy Medical Model Analysis) uma notação destinada a modelar processos médicos, desenvolvida em cooperação com o Politécnico de Milão..Esta notação disponibiliza aos médicos elementos simples e intuitivos para representar os modelos de diagnóstico. Simultaneamente um modelo de Redes de Petri Temporizadas é gerado automaticamente. Deste modo os modelos de LEMMA podem ser validados e analisados através de simulações e testes. o objetivo desta dupla modelagem é permitir aos médicos ganhar todos os beneficios de uma notação formal sem a necessidade de conhecer esta notação abstrata. Os usuários administram os elementos mais simples da notação, enquanto redes de Petri asseguram formalidade e capacidades de validação. Desta maneira LEMMA integra notações formais e intuitivas superando os problemas de ambos enfoques. A definição da notação LEMMA 2000 foi apoiada pela implementação de um ambiente para projetar os modelos. Este ambiente além de permitir a administração dos elementos da notação menos formal permite a geração e analise dos modelos mais formais.
Assuntos Engenharia de software
Petri, Redes de
Linguagem de programação (Computadores)
Informática na medicina