sdfvfxfn

Modelagem de Banco de Dados em Tempo-real
Maria L.B. Perkusich, Maria de F.Q.V. Turnell e Angelo Perkusich
Departamento de Engenharia Elétrica
Universidade Federal da Paraíba, Caixa Postal 10105
58109-970 - Campina Grande - PB
Fone: [phone] Fax: [phone]
{ligia,turnellm,perkusic}@dee.ufpb.br
Resumo
Neste trabalho introduzimos um método para a modelagem de Banco de Dados em Tempo-real
(BDTR) utilizando uma notação de redes de Petri baseadas em objetos denominada EG-CPN. Esta notação é enriquecida de modo a promover a descrição eficiente de modelos integrando BDTR e
Sistemas em Tempo-real (STR). O método disponibiliza para o projetista construções que permitem, por exemplo, declarar restrições lógicas e temporais e restrições de execução concorrente de métodos no contexto de uma aplicação de BDTR. Além disso, apresentamos um exemplo da aplicação do método introduzido para a modelagem e validação dos objetos de controle e de banco de dados para uma célula flexível de manufatura.
Abstract
This work introduces a method to model Real-time Databases (RTDB) based on an object based
Petri net notation named EG-CPN. This notation is enriched in order to promote the efficient description of a model integrating the RTDB and the Real-time system. The method makes available to the designer contructs allowing, for example, the declaration of logic and timing restrictions as well as concurrent execution of methods in a RTDB application. Moreover, we present an example where the method is applied in the modeling and validation of database and control objects of a flexible manufacturing system cell.

1 Introdução
Nos últimos anos as pesquisas na área de Sistemas de Gerenciamento de Banco de Dados em Tempo-real
(SGBD-TR) tem se intensificado [1, 8]. Estas pesquisas são motivadas pelo fato de que determinadas aplicações precisam tratar com grandes volumes de dados, além de dados e transações com restrições temporais. Um possível encaminhamento