Please use this identifier to cite or link to this item: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/3453
Title: Um método baseado em redes de petri para modelagem de bancos de dados em tempo-real.
Other Titles: A method based on petri nets for modeling real-time databases.
???metadata.dc.creator???: PERKUSICH, Maria Lígia Barbosa.
???metadata.dc.contributor.advisor1???: TURNELL, Maria de Fátima Queiroz Vieira.
???metadata.dc.contributor.referee1???: LIMA, Antonio Marcus Nogueira.
???metadata.dc.contributor.referee2???: SCHIEL, Ulrich.
???metadata.dc.contributor.referee3???: LAENDER, Alberto Henrique Frade.
???metadata.dc.contributor.referee4???: SILVA, José Reinaldo.
Keywords: Redes de Petri;Petri Nets;Banco de dados;Database;Banco de datos;Tempo-real;Tiempo real;Real time;Manufatura integrada;Integrated Manufacturing;Fabricación Integrada;Sistemas flexíveis;Sistemas flexibles;Flexible systems;Modelagem de objetos;Object Modeling;Modelado de objetos
Issue Date: Mar-2000
Publisher: Universidade Federal de Campina Grande
Citation: PERKUSICH, Maria Lígia Barbosa. Um método baseado em redes de petri para modelagem de bancos de dados em tempo-real. 2000. 188f. (Tese de Doutorado em Engenharia Elétrica), Curso de Pós-Graduação em Engenharia Elétrica, Centro de Engenharia Elétrica e Informática, Universidade Federal da Paraíba – Campus II - Campina Grande - PB - Brasil,2000.
???metadata.dc.description.resumo???: Os métodos disponíveis para a descrição do modelo conceituai dos sistemas de bancos de dados convencionais não são apropriados para a descrição do modelo conceituai dos sistemas de bancos de dados em tempo-real, já que os mesmos não oferecem mecanismos para a representação das restrições temporais presentes nestes sistemas. Também, a maioria dos modelos existentes concentra-se na representação das propriedades estáticas dos dados. No entanto, sistemas complexos, tais como bancos de dados em tempo-real também requerem a modelagem das propriedades dinâmicas dos dados. Então, fazse necessário o desenvolvimento de métodos para o projeto do modelo conceituai dos sistemas de bancos de dados em tempo-real que permitam a modelagem dos aspectos estáticos e dinâmicos de tais sistemas. O principal objetivo desta tese é definir um método com base formal para a modelagem de sistemas de bancos de dados em tempo-real, no contexto de sistemas flexíveis de manufatura e automação industrial. A aplicação do método resulta em dois modelos: um modelo de objetos, que é usado para modelar os aspectos estáticos de um sistema, e um modelo de processos, que é usado para modelar os aspectos dinâmicos de um sistema. O modelo de objetos é baseado no modelo de objetos do OMT (Object Modelling Technique) e no modelo RTSORAC (Real-Time Semantic Objects Relationships and Constraints). O modelo de processos é baseado numa classe de redes de Petri de alto-nível denominada ECPN (Extended Coloured Petri Nets), desenvolvida nesta tese. Os modelos descritos em ECPN precisam ser analisados. Assim, mostramos como as ECPN podem ser transformadas em redes de Petri coloridas hierárquicas (HCPN). Desta forma, todos os procedimentos de análise de HCPN podem ser aplicados as ECPN.
Keywords: Redes de Petri
Petri Nets
Banco de dados
Database
Banco de datos
Tempo-real
Tiempo real
Real time
Manufatura integrada
Integrated Manufacturing
Fabricación Integrada
Sistemas flexíveis
Sistemas flexibles
Flexible systems
Modelagem de objetos
Object Modeling
Modelado de objetos
???metadata.dc.subject.cnpq???: Engenharia elétrica
URI: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/3453
Appears in Collections:Doutorado em Engenharia Elétrica.

Files in This Item:
File Description SizeFormat 
MARIA LÍGIA BARBOSA PERKUSICH - TESE PPGEE 2000.pdfMaria Lígia Barbosa Perkusich - Tese de Doutorado PPGEE 2000 16.6 MBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.