LEMMA 2000 - Uma linguagem para análise e representação de protocolos para diagnósticos em Medicina / Lemma 2000 – A language for analysing and representing protocols for diagnoses in medicine
AUTOR(ES)
Netto, Guilherme Tomaschewski
DATA DE PUBLICAÇÃO
2008
RESUMO
A qualidade dos serviços de saúde tornou-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 benefícios 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.
ASSUNTO(S)
informática médica optimization and analysis of medical processes neurologia petri nets
ACESSO AO ARTIGO
http://hdl.handle.net/10183/12009Documentos Relacionados
- ANÁLISE FORMAL DE PROTOCOLOS E ALGORITMOS DISTRIBUÍDOS: UMA ABORDAGEM BASEADA EM LINGUAGEM
- Motion graphics: language and technology - annotations for an analysis methodology
- Representação, linguagem e política em Rousseau
- Um sistema de tipos para uma linguagem de representacao estruturada de conhecimento
- LISPLOG: A LANGUAGE FOR FUNCTIONAL AND LOGIC PROGRAMMING