dc.creator.ID |
PERKUSICH, M. L. B. |
pt_BR |
dc.creator.Lattes |
http://lattes.cnpq.br/7146783372083122 |
pt_BR |
dc.contributor.advisor1 |
TURNELL, Maria de Fátima Queiroz Vieira. |
|
dc.contributor.advisor1ID |
TURNELL, M. F. Q. V. |
pt_BR |
dc.contributor.advisor1Lattes |
http://lattes.cnpq.br/1459797138770378 |
pt_BR |
dc.contributor.referee1 |
LIMA, Antonio Marcus Nogueira. |
|
dc.contributor.referee2 |
SCHIEL, Ulrich. |
|
dc.contributor.referee3 |
LAENDER, Alberto Henrique Frade. |
|
dc.contributor.referee4 |
SILVA, José Reinaldo. |
|
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. |
pt_BR |
dc.publisher.country |
Brasil |
pt_BR |
dc.publisher.department |
Centro de Engenharia Elétrica e Informática - CEEI |
pt_BR |
dc.publisher.program |
PÓS-GRADUAÇÃO EM ENGENHARIA ELÉTRICA |
pt_BR |
dc.publisher.initials |
UFCG |
pt_BR |
dc.subject.cnpq |
Engenharia elétrica |
|
dc.title |
Um método baseado em redes de petri para modelagem de bancos de dados em tempo-real. |
pt_BR |
dc.date.issued |
2000-03 |
|
dc.description.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. |
pt_BR |
dc.identifier.uri |
http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/3453 |
|
dc.date.accessioned |
2019-04-15T11:42:30Z |
|
dc.date.available |
2019-04-15 |
|
dc.date.available |
2019-04-15T11:42:30Z |
|
dc.type |
Tese |
pt_BR |
dc.subject |
Redes de Petri |
|
dc.subject |
Petri Nets |
|
dc.subject |
Banco de dados |
|
dc.subject |
Database |
|
dc.subject |
Banco de datos |
|
dc.subject |
Tempo-real |
|
dc.subject |
Tiempo real |
|
dc.subject |
Real time |
|
dc.subject |
Manufatura integrada |
|
dc.subject |
Integrated Manufacturing |
|
dc.subject |
Fabricación Integrada |
|
dc.subject |
Sistemas flexíveis |
|
dc.subject |
Sistemas flexibles |
|
dc.subject |
Flexible systems |
|
dc.subject |
Modelagem de objetos |
|
dc.subject |
Object Modeling |
|
dc.subject |
Modelado de objetos |
|
dc.rights |
Acesso Aberto |
pt_BR |
dc.creator |
PERKUSICH, Maria Lígia Barbosa. |
|
dc.publisher |
Universidade Federal de Campina Grande |
pt_BR |
dc.language |
por |
pt_BR |
dc.title.alternative |
A method based on petri nets for modeling real-time databases. |
pt_BR |
dc.identifier.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. |
pt_BR |