Simulação automática e geração de espaço de estados de modelos em redes de petri orientadas a objetos.
| Ano de defesa: | 2005 |
|---|---|
| Autor(a) principal: |
SILVA, Taciano de Morais.
 |
| Orientador(a): |
FIGUEIREDO, Jorge César Abrantes de.
,
GUERRERO, Dalton Dario Serey.
|
| Banca de defesa: |
ARAÚJO, Joseana Macêdo Fechine Régis de.
,
HERNÁNDEZ-DOMINGUÉZ, Arturo.
|
| Tipo de documento: | Dissertação |
| Tipo de acesso: | Acesso aberto |
| Idioma: | por |
| Instituição de defesa: |
Universidade Federal de Campina Grande
|
| Programa de Pós-Graduação: |
PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO
|
| Departamento: |
Centro de Engenharia Elétrica e Informática - CEEI
|
| País: |
Brasil
|
| Palavras-chave em Português: | |
| Área do conhecimento CNPq: | |
| Link de acesso: | https://dspace.sti.ufcg.edu.br/handle/riufcg/4917 |
Resumo: | Redes de Petri Orientada a Objetos (RPOO) é um formalismo que faz a composição da semântica das redes de Petri com a semântica da Orientação a Objetos (OO). Esta forma de composição garante a manutenção das características originais de cada um dos paradigmas. A integração dos formalismos em RPOO é um aspecto importante, pois aproveita os recursos suportados pelas redes de Petri e pela orientação a objetos. As características inerentes de RPOO o tornam adequado para a especificação, simulação e verificação de protocolos, sistemas concorrentes e sistemas com características de mobilidade. Contudo, mesmo com o formalismo completamente definido e experimentado, a falta de algumas ferramentas impor tantes tornam o processo de simulação–validação–verificação difícil e muito trabalhoso. E assim, o uso prático do formalismo RPOO era prejudicado. Este trabalho teve como principal objetivo desenvolver um pacote de software que desse suporte à construção de ferramentas de simulação e geração de espaços de estados para modelos em Redes de Petri Orientadas a Objetos. O pacote de software foi desenvolvido completamente na linguagem de programação orientada a objetos — Java. As redes de Petri e seu mecânismo de evolução foi simulado através de classes e métodos dando origem ao framework JMobile. Com a construção do pacote de software foi possível construir modelos maiores e mais complexos, e como os protótipos do simulador e gerador de espaço de estados foi possível simularmos os modelos e gerarmos os seus espaços de estados. |
| id |
UFCG_461b6662fec9214013eceef9d8685f82 |
|---|---|
| oai_identifier_str |
oai:dspace.sti.ufcg.edu.br:riufcg/4917 |
| network_acronym_str |
UFCG |
| network_name_str |
Biblioteca Digital de Teses e Dissertações da UFCG |
| repository_id_str |
|
| spelling |
FIGUEIREDO, Jorge César Abrantes de.FIGUEIREDO, J. C. A.http://lattes.cnpq.br/1424808046858622GUERRERO, Dalton Dario Serey.GUERRERO, D. D. S.http://lattes.cnpq.br/2050632960242405ARAÚJO, Joseana Macêdo Fechine Régis de.FECHINE, J. M.http://lattes.cnpq.br/7179691582151907HERNÁNDEZ-DOMINGUÉZ, Arturo.HERNÁNDEZ-DOMÍNGUEZ, A.http://lattes.cnpq.br/4485667581908849SILVA, T. M.http://lattes.cnpq.br/4420554987782575SILVA, Taciano de Morais.Redes de Petri Orientada a Objetos (RPOO) é um formalismo que faz a composição da semântica das redes de Petri com a semântica da Orientação a Objetos (OO). Esta forma de composição garante a manutenção das características originais de cada um dos paradigmas. A integração dos formalismos em RPOO é um aspecto importante, pois aproveita os recursos suportados pelas redes de Petri e pela orientação a objetos. As características inerentes de RPOO o tornam adequado para a especificação, simulação e verificação de protocolos, sistemas concorrentes e sistemas com características de mobilidade. Contudo, mesmo com o formalismo completamente definido e experimentado, a falta de algumas ferramentas impor tantes tornam o processo de simulação–validação–verificação difícil e muito trabalhoso. E assim, o uso prático do formalismo RPOO era prejudicado. Este trabalho teve como principal objetivo desenvolver um pacote de software que desse suporte à construção de ferramentas de simulação e geração de espaços de estados para modelos em Redes de Petri Orientadas a Objetos. O pacote de software foi desenvolvido completamente na linguagem de programação orientada a objetos — Java. As redes de Petri e seu mecânismo de evolução foi simulado através de classes e métodos dando origem ao framework JMobile. Com a construção do pacote de software foi possível construir modelos maiores e mais complexos, e como os protótipos do simulador e gerador de espaço de estados foi possível simularmos os modelos e gerarmos os seus espaços de estados.Object Oriented Petri Nets (RPOO) is a formalism that merges the Petri Nets and Object Oriented semantics. This kind of merging guarantees the maintaining of original features of each one of the paradigms. The integration of formalisms in RPOO is an important as pect because it uses supported resources in Petri Nets and in object oriented. The inherent features of RPOO make it adequate for the specification, simulation and verification of protocols, concurrent systems and systems with mobile features. However, even with the for malism completely defined and experienced, the absent of some important tools makes the simulation–validation–verification process difficult and harder to be done. In this way, the practical use of RPOO formalism was damaged. This work had like main goal developing a software package that gives support to the building of simulating and state space generating tools for models in Object Oriented Petri Nets. The software package was completely developed in a oriented programing language — Java. Petri Nets and their mechanisms of evolution were simulated by classes and methods. With the software package building for RPOO, it was possible to build bigger and more complex models, and with the simulator and space state generator prototypes it was possible to simulate the models and to generate their space states.Submitted by Severina Oliveira (severina.sueli@ufcg.edu.br) on 2019-07-17T16:40:07Z No. of bitstreams: 1 TACIANO DE MORAIS SILVA-DISSERTAÇÃO (PPGCC) 2005.pdf: 2011758 bytes, checksum: 38787d8e0aa7f490c54d62ce1c835590 (MD5)Made available in DSpace on 2019-07-17T16:40:07Z (GMT). No. of bitstreams: 1 TACIANO DE MORAIS SILVA-DISSERTAÇÃO (PPGCC) 2005.pdf: 2011758 bytes, checksum: 38787d8e0aa7f490c54d62ce1c835590 (MD5) Previous issue date: 2005-08-31Universidade Federal de Campina GrandePÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGBrasilCentro de Engenharia Elétrica e Informática - CEEICiência da ComputaçãoRedes de PetriRedes de Petri Orientadas a ObjetosJMobile - Simulação Automática e Geração de Espaço de EstadosEngenharia de SoftwarePetri NetsObject Oriented Petri NetsJMobile - Automatic Simulation and Space Generation of StatesSoftware EngineeringSimulação automática e geração de espaço de estados de modelos em redes de petri orientadas a objetos.Automatic simulation and space generation of model states in object-oriented petri nets.2005-08-312019-07-17T16:40:07Z2019-07-172019-07-17T16:40:07Zhttps://dspace.sti.ufcg.edu.br/handle/riufcg/4917SILVA, Taciano de Morais. Simulação automática e geração de espaço de estados de modelos em redes de petri orientadas a objetos.Dissertação (Mestrado em Informática) Programa de Pós-Graduação em Informática, Centro de Ciências e Tecnologia, Universidade Federal de Campina Grande, Campina Grande, Paraíba, Brasil, 2005. Disponível em: https://dspace.sti.ufcg.edu.br/handle/riufcg/4917info: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:UFCGTEXTTACIANO DE MORAIS SILVA-DISSERTAÇÃO (PPGCC) 2005.pdf.txtTACIANO DE MORAIS SILVA-DISSERTAÇÃO (PPGCC) 2005.pdf.txttext/plain221837https://dspace.sti.ufcg.edu.br/bitstream/riufcg/4917/4/TACIANO+DE+MORAIS+SILVA-DISSERTA%C3%87%C3%83O+%28PPGCC%29+2005.pdf.txt1611f827d817b52b3a73880e4a7c6e57MD54ORIGINALTACIANO DE MORAIS SILVA-DISSERTAÇÃO (PPGCC) 2005.pdfTACIANO DE MORAIS SILVA-DISSERTAÇÃO (PPGCC) 2005.pdfapplication/pdf1613085https://dspace.sti.ufcg.edu.br/bitstream/riufcg/4917/3/TACIANO+DE+MORAIS+SILVA-DISSERTA%C3%87%C3%83O+%28PPGCC%29+2005.pdf7ee3c50b440ae2cc3dad81c6116f4341MD53LICENSElicense.txtlicense.txttext/plain; charset=utf-81748https://dspace.sti.ufcg.edu.br/bitstream/riufcg/4917/2/license.txt8a4605be74aa9ea9d79846c1fba20a33MD52riufcg/49172025-07-24 04:13:32.753oai:dspace.sti.ufcg.edu.br:riufcg/4917Tk9URTogUExBQ0UgWU9VUiBPV04gTElDRU5TRSBIRVJFClRoaXMgc2FtcGxlIGxpY2Vuc2UgaXMgcHJvdmlkZWQgZm9yIGluZm9ybWF0aW9uYWwgcHVycG9zZXMgb25seS4KCk5PTi1FWENMVVNJVkUgRElTVFJJQlVUSU9OIExJQ0VOU0UKCkJ5IHNpZ25pbmcgYW5kIHN1Ym1pdHRpbmcgdGhpcyBsaWNlbnNlLCB5b3UgKHRoZSBhdXRob3Iocykgb3IgY29weXJpZ2h0Cm93bmVyKSBncmFudHMgdG8gRFNwYWNlIFVuaXZlcnNpdHkgKERTVSkgdGhlIG5vbi1leGNsdXNpdmUgcmlnaHQgdG8gcmVwcm9kdWNlLAp0cmFuc2xhdGUgKGFzIGRlZmluZWQgYmVsb3cpLCBhbmQvb3IgZGlzdHJpYnV0ZSB5b3VyIHN1Ym1pc3Npb24gKGluY2x1ZGluZwp0aGUgYWJzdHJhY3QpIHdvcmxkd2lkZSBpbiBwcmludCBhbmQgZWxlY3Ryb25pYyBmb3JtYXQgYW5kIGluIGFueSBtZWRpdW0sCmluY2x1ZGluZyBidXQgbm90IGxpbWl0ZWQgdG8gYXVkaW8gb3IgdmlkZW8uCgpZb3UgYWdyZWUgdGhhdCBEU1UgbWF5LCB3aXRob3V0IGNoYW5naW5nIHRoZSBjb250ZW50LCB0cmFuc2xhdGUgdGhlCnN1Ym1pc3Npb24gdG8gYW55IG1lZGl1bSBvciBmb3JtYXQgZm9yIHRoZSBwdXJwb3NlIG9mIHByZXNlcnZhdGlvbi4KCllvdSBhbHNvIGFncmVlIHRoYXQgRFNVIG1heSBrZWVwIG1vcmUgdGhhbiBvbmUgY29weSBvZiB0aGlzIHN1Ym1pc3Npb24gZm9yCnB1cnBvc2VzIG9mIHNlY3VyaXR5LCBiYWNrLXVwIGFuZCBwcmVzZXJ2YXRpb24uCgpZb3UgcmVwcmVzZW50IHRoYXQgdGhlIHN1Ym1pc3Npb24gaXMgeW91ciBvcmlnaW5hbCB3b3JrLCBhbmQgdGhhdCB5b3UgaGF2ZQp0aGUgcmlnaHQgdG8gZ3JhbnQgdGhlIHJpZ2h0cyBjb250YWluZWQgaW4gdGhpcyBsaWNlbnNlLiBZb3UgYWxzbyByZXByZXNlbnQKdGhhdCB5b3VyIHN1Ym1pc3Npb24gZG9lcyBub3QsIHRvIHRoZSBiZXN0IG9mIHlvdXIga25vd2xlZGdlLCBpbmZyaW5nZSB1cG9uCmFueW9uZSdzIGNvcHlyaWdodC4KCklmIHRoZSBzdWJtaXNzaW9uIGNvbnRhaW5zIG1hdGVyaWFsIGZvciB3aGljaCB5b3UgZG8gbm90IGhvbGQgY29weXJpZ2h0LAp5b3UgcmVwcmVzZW50IHRoYXQgeW91IGhhdmUgb2J0YWluZWQgdGhlIHVucmVzdHJpY3RlZCBwZXJtaXNzaW9uIG9mIHRoZQpjb3B5cmlnaHQgb3duZXIgdG8gZ3JhbnQgRFNVIHRoZSByaWdodHMgcmVxdWlyZWQgYnkgdGhpcyBsaWNlbnNlLCBhbmQgdGhhdApzdWNoIHRoaXJkLXBhcnR5IG93bmVkIG1hdGVyaWFsIGlzIGNsZWFybHkgaWRlbnRpZmllZCBhbmQgYWNrbm93bGVkZ2VkCndpdGhpbiB0aGUgdGV4dCBvciBjb250ZW50IG9mIHRoZSBzdWJtaXNzaW9uLgoKSUYgVEhFIFNVQk1JU1NJT04gSVMgQkFTRUQgVVBPTiBXT1JLIFRIQVQgSEFTIEJFRU4gU1BPTlNPUkVEIE9SIFNVUFBPUlRFRApCWSBBTiBBR0VOQ1kgT1IgT1JHQU5JWkFUSU9OIE9USEVSIFRIQU4gRFNVLCBZT1UgUkVQUkVTRU5UIFRIQVQgWU9VIEhBVkUKRlVMRklMTEVEIEFOWSBSSUdIVCBPRiBSRVZJRVcgT1IgT1RIRVIgT0JMSUdBVElPTlMgUkVRVUlSRUQgQlkgU1VDSApDT05UUkFDVCBPUiBBR1JFRU1FTlQuCgpEU1Ugd2lsbCBjbGVhcmx5IGlkZW50aWZ5IHlvdXIgbmFtZShzKSBhcyB0aGUgYXV0aG9yKHMpIG9yIG93bmVyKHMpIG9mIHRoZQpzdWJtaXNzaW9uLCBhbmQgd2lsbCBub3QgbWFrZSBhbnkgYWx0ZXJhdGlvbiwgb3RoZXIgdGhhbiBhcyBhbGxvd2VkIGJ5IHRoaXMKbGljZW5zZSwgdG8geW91ciBzdWJtaXNzaW9uLgo=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:48512025-07-24T07:13:32Biblioteca Digital de Teses e Dissertações da UFCG - Universidade Federal de Campina Grande (UFCG)false |
| dc.title.pt_BR.fl_str_mv |
Simulação automática e geração de espaço de estados de modelos em redes de petri orientadas a objetos. |
| dc.title.alternative.pt_BR.fl_str_mv |
Automatic simulation and space generation of model states in object-oriented petri nets. |
| title |
Simulação automática e geração de espaço de estados de modelos em redes de petri orientadas a objetos. |
| spellingShingle |
Simulação automática e geração de espaço de estados de modelos em redes de petri orientadas a objetos. SILVA, Taciano de Morais. Ciência da Computação Redes de Petri Redes de Petri Orientadas a Objetos JMobile - Simulação Automática e Geração de Espaço de Estados Engenharia de Software Petri Nets Object Oriented Petri Nets JMobile - Automatic Simulation and Space Generation of States Software Engineering |
| title_short |
Simulação automática e geração de espaço de estados de modelos em redes de petri orientadas a objetos. |
| title_full |
Simulação automática e geração de espaço de estados de modelos em redes de petri orientadas a objetos. |
| title_fullStr |
Simulação automática e geração de espaço de estados de modelos em redes de petri orientadas a objetos. |
| title_full_unstemmed |
Simulação automática e geração de espaço de estados de modelos em redes de petri orientadas a objetos. |
| title_sort |
Simulação automática e geração de espaço de estados de modelos em redes de petri orientadas a objetos. |
| author |
SILVA, Taciano de Morais. |
| author_facet |
SILVA, Taciano de Morais. |
| author_role |
author |
| dc.contributor.advisor2ID.pt_BR.fl_str_mv |
GUERRERO, D. D. S. |
| dc.contributor.advisor1.fl_str_mv |
FIGUEIREDO, Jorge César Abrantes de. |
| dc.contributor.advisor1ID.fl_str_mv |
FIGUEIREDO, J. C. A. |
| dc.contributor.advisor1Lattes.fl_str_mv |
http://lattes.cnpq.br/1424808046858622 |
| dc.contributor.advisor2.fl_str_mv |
GUERRERO, Dalton Dario Serey. |
| dc.contributor.advisor2Lattes.fl_str_mv |
http://lattes.cnpq.br/2050632960242405 |
| dc.contributor.referee1.fl_str_mv |
ARAÚJO, Joseana Macêdo Fechine Régis de. |
| dc.contributor.referee1ID.fl_str_mv |
FECHINE, J. M. |
| dc.contributor.referee1Lattes.fl_str_mv |
http://lattes.cnpq.br/7179691582151907 |
| dc.contributor.referee2.fl_str_mv |
HERNÁNDEZ-DOMINGUÉZ, Arturo. |
| dc.contributor.referee2ID.fl_str_mv |
HERNÁNDEZ-DOMÍNGUEZ, A. |
| dc.contributor.referee2Lattes.fl_str_mv |
http://lattes.cnpq.br/4485667581908849 |
| dc.contributor.authorID.fl_str_mv |
SILVA, T. M. |
| dc.contributor.authorLattes.fl_str_mv |
http://lattes.cnpq.br/4420554987782575 |
| dc.contributor.author.fl_str_mv |
SILVA, Taciano de Morais. |
| contributor_str_mv |
FIGUEIREDO, Jorge César Abrantes de. GUERRERO, Dalton Dario Serey. ARAÚJO, Joseana Macêdo Fechine Régis de. HERNÁNDEZ-DOMINGUÉZ, Arturo. |
| dc.subject.cnpq.fl_str_mv |
Ciência da Computação |
| topic |
Ciência da Computação Redes de Petri Redes de Petri Orientadas a Objetos JMobile - Simulação Automática e Geração de Espaço de Estados Engenharia de Software Petri Nets Object Oriented Petri Nets JMobile - Automatic Simulation and Space Generation of States Software Engineering |
| dc.subject.por.fl_str_mv |
Redes de Petri Redes de Petri Orientadas a Objetos JMobile - Simulação Automática e Geração de Espaço de Estados Engenharia de Software Petri Nets Object Oriented Petri Nets JMobile - Automatic Simulation and Space Generation of States Software Engineering |
| description |
Redes de Petri Orientada a Objetos (RPOO) é um formalismo que faz a composição da semântica das redes de Petri com a semântica da Orientação a Objetos (OO). Esta forma de composição garante a manutenção das características originais de cada um dos paradigmas. A integração dos formalismos em RPOO é um aspecto importante, pois aproveita os recursos suportados pelas redes de Petri e pela orientação a objetos. As características inerentes de RPOO o tornam adequado para a especificação, simulação e verificação de protocolos, sistemas concorrentes e sistemas com características de mobilidade. Contudo, mesmo com o formalismo completamente definido e experimentado, a falta de algumas ferramentas impor tantes tornam o processo de simulação–validação–verificação difícil e muito trabalhoso. E assim, o uso prático do formalismo RPOO era prejudicado. Este trabalho teve como principal objetivo desenvolver um pacote de software que desse suporte à construção de ferramentas de simulação e geração de espaços de estados para modelos em Redes de Petri Orientadas a Objetos. O pacote de software foi desenvolvido completamente na linguagem de programação orientada a objetos — Java. As redes de Petri e seu mecânismo de evolução foi simulado através de classes e métodos dando origem ao framework JMobile. Com a construção do pacote de software foi possível construir modelos maiores e mais complexos, e como os protótipos do simulador e gerador de espaço de estados foi possível simularmos os modelos e gerarmos os seus espaços de estados. |
| publishDate |
2005 |
| dc.date.issued.fl_str_mv |
2005-08-31 |
| dc.date.accessioned.fl_str_mv |
2019-07-17T16:40:07Z |
| dc.date.available.fl_str_mv |
2019-07-17 2019-07-17T16:40:07Z |
| 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 |
https://dspace.sti.ufcg.edu.br/handle/riufcg/4917 |
| dc.identifier.citation.fl_str_mv |
SILVA, Taciano de Morais. Simulação automática e geração de espaço de estados de modelos em redes de petri orientadas a objetos.Dissertação (Mestrado em Informática) Programa de Pós-Graduação em Informática, Centro de Ciências e Tecnologia, Universidade Federal de Campina Grande, Campina Grande, Paraíba, Brasil, 2005. Disponível em: https://dspace.sti.ufcg.edu.br/handle/riufcg/4917 |
| url |
https://dspace.sti.ufcg.edu.br/handle/riufcg/4917 |
| identifier_str_mv |
SILVA, Taciano de Morais. Simulação automática e geração de espaço de estados de modelos em redes de petri orientadas a objetos.Dissertação (Mestrado em Informática) Programa de Pós-Graduação em Informática, Centro de Ciências e Tecnologia, Universidade Federal de Campina Grande, Campina Grande, Paraíba, Brasil, 2005. Disponível em: https://dspace.sti.ufcg.edu.br/handle/riufcg/4917 |
| 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 CIÊNCIA DA COMPUTAÇÃO |
| 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 |
https://dspace.sti.ufcg.edu.br/bitstream/riufcg/4917/4/TACIANO+DE+MORAIS+SILVA-DISSERTA%C3%87%C3%83O+%28PPGCC%29+2005.pdf.txt https://dspace.sti.ufcg.edu.br/bitstream/riufcg/4917/3/TACIANO+DE+MORAIS+SILVA-DISSERTA%C3%87%C3%83O+%28PPGCC%29+2005.pdf https://dspace.sti.ufcg.edu.br/bitstream/riufcg/4917/2/license.txt |
| bitstream.checksum.fl_str_mv |
1611f827d817b52b3a73880e4a7c6e57 7ee3c50b440ae2cc3dad81c6116f4341 8a4605be74aa9ea9d79846c1fba20a33 |
| bitstream.checksumAlgorithm.fl_str_mv |
MD5 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_ |
1863363428930813952 |