Análise de controle de concorrência e escalonamento de transações em bancos de dados em tempo-real usando redes de petri.
Autor(a) principal: | |
---|---|
Data de Publicação: | 2001 |
Tipo de documento: | Dissertação |
Idioma: | por |
Título da fonte: | Biblioteca Digital de Teses e Dissertações da UFCG |
Texto Completo: | http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/3455 |
Resumo: | 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. |
id |
UFCG_d9caea0af3500ea8784708448767e8cc |
---|---|
oai_identifier_str |
oai:localhost:riufcg/3455 |
network_acronym_str |
UFCG |
network_name_str |
Biblioteca Digital de Teses e Dissertações da UFCG |
repository_id_str |
4851 |
spelling |
PERKUSICH, Angelo.PERKUSICH, A.http://lattes.cnpq.br/9439858291700830PERKUSICH, Maria Lígia Barbosa.PERKUSICH, M. L. B.http://lattes.cnpq.br/7146783372083122TURNELL, Maria de Fátima Queiroz Vieira.FIGUEIREDO , Jorge Cesar Abrantes de.RIBEIRO NETO, P. F.http://lattes.cnpq.br/3091123485499725RIBEIRO NETO, Pedro Fernandes.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.This work presents a model to analyze the scheduling of transactions for real-time databases considering semantic concurrency control mechanisms. The model is based on a modeling method for real-time databases using Colored Petri nets (CPN). The features of a semantic concurrency control technique are supported by the restrictions of the compatibility functions that are enough to bound the resulting imprecision of the trade-off between both the traditional logical consistency constraints of data and transactions, and the additional temporal consistency constraints of data and transactions. The CPN Model for real-time databases is analyzed using scenarios and messages sequences charts as well as the generation of the states space for scenarios. Performance tests are executed to verify if the transactions have fulfilled their deadlines.Submitted by Deyse Queiroz (deysequeirozz@hotmail.com) on 2019-04-15T12:12:33Z No. of bitstreams: 1 PEDRO FERNANDES RIBEIRO NETO - DISSERTAÇÃO PPGEE 2001..pdf: 13131225 bytes, checksum: 4ec91865fbf7f201750189d5da71d1cf (MD5)Made available in DSpace on 2019-04-15T12:12:33Z (GMT). No. of bitstreams: 1 PEDRO FERNANDES RIBEIRO NETO - DISSERTAÇÃO PPGEE 2001..pdf: 13131225 bytes, checksum: 4ec91865fbf7f201750189d5da71d1cf (MD5) Previous issue date: 2001-08Universidade Federal de Campina GrandePÓS-GRADUAÇÃO EM ENGENHARIA ELÉTRICAUFCGBrasilCentro de Engenharia Elétrica e Informática - CEEIEngenharia elétricaRedes de PetriPetri NetsBanco de dadosBanco de datosDatabaseEscalonamento - transaçõesScheduling - TransactionsProgramación - TransaccionesEscalonamento - transaçõesProgramación - TransaccionesScheduling - TransactionsAnálise de controle de concorrência e escalonamento de transações em bancos de dados em tempo-real usando redes de petri.Competition control analysis and transaction scheduling in real-time databases using petri nets.2001-082019-04-15T12:12:33Z2019-04-152019-04-15T12:12:33Zhttp://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/3455RIBEIRO NETO, Pedro Fernandes. Análise de controle de concorrência e escalonamento de transações em bancos de dados em tempo-real usando redes de petri. 2001. 82f. (Dissertação de Mestrado 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,2001info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisporinfo:eu-repo/semantics/openAccessreponame:Biblioteca Digital de Teses e Dissertações da UFCGinstname:Universidade Federal de Campina Grande (UFCG)instacron:UFCGORIGINALPEDRO FERNANDES RIBEIRO NETO - DISSERTAÇÃO PPGEE 2001.pdfPEDRO FERNANDES RIBEIRO NETO - DISSERTAÇÃO PPGEE 2001.pdfapplication/pdf13419776http://dspace.sti.ufcg.edu.br:8080/xmlui/bitstream/riufcg/3455/3/PEDRO+FERNANDES+RIBEIRO+NETO+-+DISSERTA%C3%87%C3%83O+PPGEE+2001.pdfcc1def3f00015d4ab28dc05d6b549240MD53LICENSElicense.txtlicense.txttext/plain; charset=utf-81748http://dspace.sti.ufcg.edu.br:8080/xmlui/bitstream/riufcg/3455/2/license.txt8a4605be74aa9ea9d79846c1fba20a33MD52riufcg/34552021-06-10 15:12:01.089oai:localhost:riufcg/3455Tk9URTogUExBQ0UgWU9VUiBPV04gTElDRU5TRSBIRVJFClRoaXMgc2FtcGxlIGxpY2Vuc2UgaXMgcHJvdmlkZWQgZm9yIGluZm9ybWF0aW9uYWwgcHVycG9zZXMgb25seS4KCk5PTi1FWENMVVNJVkUgRElTVFJJQlVUSU9OIExJQ0VOU0UKCkJ5IHNpZ25pbmcgYW5kIHN1Ym1pdHRpbmcgdGhpcyBsaWNlbnNlLCB5b3UgKHRoZSBhdXRob3Iocykgb3IgY29weXJpZ2h0Cm93bmVyKSBncmFudHMgdG8gRFNwYWNlIFVuaXZlcnNpdHkgKERTVSkgdGhlIG5vbi1leGNsdXNpdmUgcmlnaHQgdG8gcmVwcm9kdWNlLAp0cmFuc2xhdGUgKGFzIGRlZmluZWQgYmVsb3cpLCBhbmQvb3IgZGlzdHJpYnV0ZSB5b3VyIHN1Ym1pc3Npb24gKGluY2x1ZGluZwp0aGUgYWJzdHJhY3QpIHdvcmxkd2lkZSBpbiBwcmludCBhbmQgZWxlY3Ryb25pYyBmb3JtYXQgYW5kIGluIGFueSBtZWRpdW0sCmluY2x1ZGluZyBidXQgbm90IGxpbWl0ZWQgdG8gYXVkaW8gb3IgdmlkZW8uCgpZb3UgYWdyZWUgdGhhdCBEU1UgbWF5LCB3aXRob3V0IGNoYW5naW5nIHRoZSBjb250ZW50LCB0cmFuc2xhdGUgdGhlCnN1Ym1pc3Npb24gdG8gYW55IG1lZGl1bSBvciBmb3JtYXQgZm9yIHRoZSBwdXJwb3NlIG9mIHByZXNlcnZhdGlvbi4KCllvdSBhbHNvIGFncmVlIHRoYXQgRFNVIG1heSBrZWVwIG1vcmUgdGhhbiBvbmUgY29weSBvZiB0aGlzIHN1Ym1pc3Npb24gZm9yCnB1cnBvc2VzIG9mIHNlY3VyaXR5LCBiYWNrLXVwIGFuZCBwcmVzZXJ2YXRpb24uCgpZb3UgcmVwcmVzZW50IHRoYXQgdGhlIHN1Ym1pc3Npb24gaXMgeW91ciBvcmlnaW5hbCB3b3JrLCBhbmQgdGhhdCB5b3UgaGF2ZQp0aGUgcmlnaHQgdG8gZ3JhbnQgdGhlIHJpZ2h0cyBjb250YWluZWQgaW4gdGhpcyBsaWNlbnNlLiBZb3UgYWxzbyByZXByZXNlbnQKdGhhdCB5b3VyIHN1Ym1pc3Npb24gZG9lcyBub3QsIHRvIHRoZSBiZXN0IG9mIHlvdXIga25vd2xlZGdlLCBpbmZyaW5nZSB1cG9uCmFueW9uZSdzIGNvcHlyaWdodC4KCklmIHRoZSBzdWJtaXNzaW9uIGNvbnRhaW5zIG1hdGVyaWFsIGZvciB3aGljaCB5b3UgZG8gbm90IGhvbGQgY29weXJpZ2h0LAp5b3UgcmVwcmVzZW50IHRoYXQgeW91IGhhdmUgb2J0YWluZWQgdGhlIHVucmVzdHJpY3RlZCBwZXJtaXNzaW9uIG9mIHRoZQpjb3B5cmlnaHQgb3duZXIgdG8gZ3JhbnQgRFNVIHRoZSByaWdodHMgcmVxdWlyZWQgYnkgdGhpcyBsaWNlbnNlLCBhbmQgdGhhdApzdWNoIHRoaXJkLXBhcnR5IG93bmVkIG1hdGVyaWFsIGlzIGNsZWFybHkgaWRlbnRpZmllZCBhbmQgYWNrbm93bGVkZ2VkCndpdGhpbiB0aGUgdGV4dCBvciBjb250ZW50IG9mIHRoZSBzdWJtaXNzaW9uLgoKSUYgVEhFIFNVQk1JU1NJT04gSVMgQkFTRUQgVVBPTiBXT1JLIFRIQVQgSEFTIEJFRU4gU1BPTlNPUkVEIE9SIFNVUFBPUlRFRApCWSBBTiBBR0VOQ1kgT1IgT1JHQU5JWkFUSU9OIE9USEVSIFRIQU4gRFNVLCBZT1UgUkVQUkVTRU5UIFRIQVQgWU9VIEhBVkUKRlVMRklMTEVEIEFOWSBSSUdIVCBPRiBSRVZJRVcgT1IgT1RIRVIgT0JMSUdBVElPTlMgUkVRVUlSRUQgQlkgU1VDSApDT05UUkFDVCBPUiBBR1JFRU1FTlQuCgpEU1Ugd2lsbCBjbGVhcmx5IGlkZW50aWZ5IHlvdXIgbmFtZShzKSBhcyB0aGUgYXV0aG9yKHMpIG9yIG93bmVyKHMpIG9mIHRoZQpzdWJtaXNzaW9uLCBhbmQgd2lsbCBub3QgbWFrZSBhbnkgYWx0ZXJhdGlvbiwgb3RoZXIgdGhhbiBhcyBhbGxvd2VkIGJ5IHRoaXMKbGljZW5zZSwgdG8geW91ciBzdWJtaXNzaW9uLgo=Biblioteca Digital de Teses e Dissertaçõeshttp://bdtd.ufcg.edu.br/PUBhttp://dspace.sti.ufcg.edu.br:8080/oai/requestbdtd@setor.ufcg.edu.br || bdtd@setor.ufcg.edu.bropendoar:48512024-06-28T13:55:42.068377Biblioteca Digital de Teses e Dissertações da UFCG - Universidade Federal de Campina Grande (UFCG)false |
dc.title.pt_BR.fl_str_mv |
Análise de controle de concorrência e escalonamento de transações em bancos de dados em tempo-real usando redes de petri. |
dc.title.alternative.pt_BR.fl_str_mv |
Competition control analysis and transaction scheduling in real-time databases using petri nets. |
title |
Análise de controle de concorrência e escalonamento de transações em bancos de dados em tempo-real usando redes de petri. |
spellingShingle |
Análise de controle de concorrência e escalonamento de transações em bancos de dados em tempo-real usando redes de petri. RIBEIRO NETO, Pedro Fernandes. Engenharia elétrica Redes de Petri Petri Nets Banco de dados Banco de datos Database Escalonamento - transações Scheduling - Transactions Programación - Transacciones Escalonamento - transações Programación - Transacciones Scheduling - Transactions |
title_short |
Análise de controle de concorrência e escalonamento de transações em bancos de dados em tempo-real usando redes de petri. |
title_full |
Análise de controle de concorrência e escalonamento de transações em bancos de dados em tempo-real usando redes de petri. |
title_fullStr |
Análise de controle de concorrência e escalonamento de transações em bancos de dados em tempo-real usando redes de petri. |
title_full_unstemmed |
Análise de controle de concorrência e escalonamento de transações em bancos de dados em tempo-real usando redes de petri. |
title_sort |
Análise de controle de concorrência e escalonamento de transações em bancos de dados em tempo-real usando redes de petri. |
author |
RIBEIRO NETO, Pedro Fernandes. |
author_facet |
RIBEIRO NETO, Pedro Fernandes. |
author_role |
author |
dc.contributor.advisor2ID.pt_BR.fl_str_mv |
PERKUSICH, M. L. B. |
dc.contributor.advisor1.fl_str_mv |
PERKUSICH, Angelo. |
dc.contributor.advisor1ID.fl_str_mv |
PERKUSICH, A. |
dc.contributor.advisor1Lattes.fl_str_mv |
http://lattes.cnpq.br/9439858291700830 |
dc.contributor.advisor2.fl_str_mv |
PERKUSICH, Maria Lígia Barbosa. |
dc.contributor.advisor2Lattes.fl_str_mv |
http://lattes.cnpq.br/7146783372083122 |
dc.contributor.referee1.fl_str_mv |
TURNELL, Maria de Fátima Queiroz Vieira. |
dc.contributor.referee2.fl_str_mv |
FIGUEIREDO , Jorge Cesar Abrantes de. |
dc.contributor.authorID.fl_str_mv |
RIBEIRO NETO, P. F. |
dc.contributor.authorLattes.fl_str_mv |
http://lattes.cnpq.br/3091123485499725 |
dc.contributor.author.fl_str_mv |
RIBEIRO NETO, Pedro Fernandes. |
contributor_str_mv |
PERKUSICH, Angelo. PERKUSICH, Maria Lígia Barbosa. TURNELL, Maria de Fátima Queiroz Vieira. FIGUEIREDO , Jorge Cesar Abrantes de. |
dc.subject.cnpq.fl_str_mv |
Engenharia elétrica |
topic |
Engenharia elétrica Redes de Petri Petri Nets Banco de dados Banco de datos Database Escalonamento - transações Scheduling - Transactions Programación - Transacciones Escalonamento - transações Programación - Transacciones Scheduling - Transactions |
dc.subject.por.fl_str_mv |
Redes de Petri Petri Nets Banco de dados Banco de datos Database Escalonamento - transações Scheduling - Transactions Programación - Transacciones Escalonamento - transações Programación - Transacciones Scheduling - Transactions |
description |
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. |
publishDate |
2001 |
dc.date.issued.fl_str_mv |
2001-08 |
dc.date.accessioned.fl_str_mv |
2019-04-15T12:12:33Z |
dc.date.available.fl_str_mv |
2019-04-15 2019-04-15T12:12:33Z |
dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/masterThesis |
format |
masterThesis |
status_str |
publishedVersion |
dc.identifier.uri.fl_str_mv |
http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/3455 |
dc.identifier.citation.fl_str_mv |
RIBEIRO NETO, Pedro Fernandes. Análise de controle de concorrência e escalonamento de transações em bancos de dados em tempo-real usando redes de petri. 2001. 82f. (Dissertação de Mestrado 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,2001 |
url |
http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/3455 |
identifier_str_mv |
RIBEIRO NETO, Pedro Fernandes. Análise de controle de concorrência e escalonamento de transações em bancos de dados em tempo-real usando redes de petri. 2001. 82f. (Dissertação de Mestrado 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,2001 |
dc.language.iso.fl_str_mv |
por |
language |
por |
dc.rights.driver.fl_str_mv |
info:eu-repo/semantics/openAccess |
eu_rights_str_mv |
openAccess |
dc.publisher.none.fl_str_mv |
Universidade Federal de Campina Grande |
dc.publisher.program.fl_str_mv |
PÓS-GRADUAÇÃO EM ENGENHARIA ELÉTRICA |
dc.publisher.initials.fl_str_mv |
UFCG |
dc.publisher.country.fl_str_mv |
Brasil |
dc.publisher.department.fl_str_mv |
Centro de Engenharia Elétrica e Informática - CEEI |
publisher.none.fl_str_mv |
Universidade Federal de Campina Grande |
dc.source.none.fl_str_mv |
reponame:Biblioteca Digital de Teses e Dissertações da UFCG instname:Universidade Federal de Campina Grande (UFCG) instacron:UFCG |
instname_str |
Universidade Federal de Campina Grande (UFCG) |
instacron_str |
UFCG |
institution |
UFCG |
reponame_str |
Biblioteca Digital de Teses e Dissertações da UFCG |
collection |
Biblioteca Digital de Teses e Dissertações da UFCG |
bitstream.url.fl_str_mv |
http://dspace.sti.ufcg.edu.br:8080/xmlui/bitstream/riufcg/3455/3/PEDRO+FERNANDES+RIBEIRO+NETO+-+DISSERTA%C3%87%C3%83O+PPGEE+2001.pdf http://dspace.sti.ufcg.edu.br:8080/xmlui/bitstream/riufcg/3455/2/license.txt |
bitstream.checksum.fl_str_mv |
cc1def3f00015d4ab28dc05d6b549240 8a4605be74aa9ea9d79846c1fba20a33 |
bitstream.checksumAlgorithm.fl_str_mv |
MD5 MD5 |
repository.name.fl_str_mv |
Biblioteca Digital de Teses e Dissertações da UFCG - Universidade Federal de Campina Grande (UFCG) |
repository.mail.fl_str_mv |
bdtd@setor.ufcg.edu.br || bdtd@setor.ufcg.edu.br |
_version_ |
1803131378213060608 |