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.
Abstract: The methods available to describe the conceptual model of conventional database systems cannot be directly applied to describe the model of real-time database systems, since these models do not provide mechanisms to represent the temporal restrictions that exist in such systems. Also, most of the available models focus on the representation of static properties of the data. On the other hand, complex systems, such as real-time databases, require that dynamic properties for data and information be modeled as well. Therefore, it is necessary the development of methods for the design of real-time databases supporting the modeling of both static and dynamic aspects of systems. The main objective in this work is to define a method with formal basis for the modeling of real-time database systems, in the context of flexible manufacturing systems and industrial automation in general. The application of such a method results in two models: an object model, that is used to model the static aspects of a system, and a process model, used to model the dynamic aspects of a system. The object model is based on the object model of the OMT (Object Methodology Technique), and on the real-time object oriented data model RTSORAC, (Real Time Semantic Objects Relationships and Constraints), whereas the process model is based on a high level Petri net named ECPN (Extended Coloured Petri Nets), developed in this work.
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.