Análise de controle de concorrência e escalonamento de transações em bancos de dados em tempo-real usando redes de petri.

• Ano de defesa: 2001
• Autor(a) principal: RIBEIRO NETO, Pedro Fernandes.
• Tipo de documento: Dissertação
• Tipo de acesso: Acesso aberto
• Idioma: por
• Instituição de defesa: Universidade Federal de Campina Grande; Brasil; Centro de Engenharia Elétrica e Informática - CEEI; PÓS-GRADUAÇÃO EM ENGENHARIA ELÉTRICA; UFCG
• Palavras-chave em Português: Redes de Petri; Petri Nets; Banco de dados; Banco de datos; Database; Escalonamento - transações; Scheduling - Transactions; Programación - Transacciones; Engenharia elétrica
• Link de acesso: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/3455

Nesse trabalho é apresentado um modelo para analisar o controle de concorrência e o escalonamento de transações para bancos de dados em tempo-real. O modelo é baseado em um método de modelagem para bancos de dados em tempo-real usando redes de Petri Coloridas (CPN). As características da técnica de controle de concorrência semântico são suportadas pelas restrições das funções de compatibilidade, definidas pelo projetista do sistema, que são suficientes para limitar a imprecisão resultante da negociação entre a consistência lógica e temporal dos dados e das transações. O modelo CPN para o banco de dados em tempo-real é analisado utilizando cenários e diagramas de seqüências de mensagens e através da geração do espaço de estados para os cenários. São realizados testes de desempenho para verificar se as transações atendem os seus prazos finais.