Reúso de modelos em redes de petri coloridas.

Detalhes bibliográficos
Ano de defesa: 2001
Autor(a) principal: LEMOS, Adriano José Pinheiro. lattes
Orientador(a): PERKUSICH, Angelo. lattes
Banca de defesa: FIGUEIREDO , Jorge César Abrantes de., ALMEIDA, Eliana Silva de.
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:
Redes de Petri de Alto Nível
Engenharia de Software
Métodos Formais
Reúso de Software
High Level Petri Nets
Software Engineering
Formal Methods
Software Reuse
Área do conhecimento CNPq:
Ciência da Computação
Link de acesso: https://dspace.sti.ufcg.edu.br/handle/riufcg/7944
Resumo: Neste trabalho investiga-se a aplicação dos principais conceitos de reúso de software na modelagem formal de sistemas. Mais especificamente, trata-se do reúso de modelos de sistemas de software utilizando Redes de Petri Coloridas. O principal objetivo é contribuir para melhorar o processo de modelagem de sistemas de software complexos, distribuídos e concorrentes. Como resultado, introduz-se atividades de reúso no processo de modelagem, mais especificamente armazenamento e recuperação. Tais atividades são suportadas pela introdução de um método e uma técnica integrados de forma a promover o reúso de modelos.
id UFCG_bdd6f5687c0192fcd746a49edf01c4ea
oai_identifier_str oai:dspace.sti.ufcg.edu.br:riufcg/7944
network_acronym_str UFCG
network_name_str Biblioteca Digital de Teses e Dissertações da UFCG
repository_id_str
spelling PERKUSICH, Angelo.Perkusich, A.http://lattes.cnpq.br/9439858291700830FIGUEIREDO , Jorge César Abrantes de.ALMEIDA, Eliana Silva de.LEMOS, A. J. P.http://lattes.cnpq.br/1047552565537920LEMOS, Adriano José Pinheiro.Neste trabalho investiga-se a aplicação dos principais conceitos de reúso de software na modelagem formal de sistemas. Mais especificamente, trata-se do reúso de modelos de sistemas de software utilizando Redes de Petri Coloridas. O principal objetivo é contribuir para melhorar o processo de modelagem de sistemas de software complexos, distribuídos e concorrentes. Como resultado, introduz-se atividades de reúso no processo de modelagem, mais especificamente armazenamento e recuperação. Tais atividades são suportadas pela introdução de um método e uma técnica integrados de forma a promover o reúso de modelos.In this work the main concepts of software reuse are applied to the formal modelling activit ics of a software development process. More specifically, we focus the model reuse of software systems described in Coloured Petri Nets. The main goal of this work is to improve the modelling process of complex, distributed, and concurrent software systems. As a result, we come with the introduction of reuse activities on the modeling process, namely the storage and retrieval of artifacts. This activities are suported by the introductio of a technique, and a method, which integrated, provide a way to reuse Petri Net models.Submitted by Maria Medeiros (maria.dilva1@ufcg.edu.br) on 2019-10-10T11:00:16Z No. of bitstreams: 1 ADRIANO JOSÉ PINHEIRO LEMOS - DISSERTAÇÃO (PPGCC) 2001.pdf: 1269699 bytes, checksum: e13fedb4ff7a6f0cfd1705c20e59b0e2 (MD5)Made available in DSpace on 2019-10-10T11:00:16Z (GMT). No. of bitstreams: 1 ADRIANO JOSÉ PINHEIRO LEMOS - DISSERTAÇÃO (PPGCC) 2001.pdf: 1269699 bytes, checksum: e13fedb4ff7a6f0cfd1705c20e59b0e2 (MD5) Previous issue date: 2001-02-28Universidade 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 Petri de Alto NívelEngenharia de SoftwareMétodos FormaisReúso de SoftwareHigh Level Petri NetsSoftware EngineeringFormal MethodsSoftware ReuseReúso de modelos em redes de petri coloridas.Reuse of models in colored Petri nets.2001-02-282019-10-10T11:00:16Z2019-10-102019-10-10T11:00:16Zhttps://dspace.sti.ufcg.edu.br/handle/riufcg/7944LEMOS, A. J. P. Reúso de modelos em redes de Petri coloridas. 2001. 68 f. Dissertação (Mestrado em Ciência da Computação) – Pós-Graduação em Ciência da Computação, Centro de Engenharia Elétrica e Informática, Universidade Federal de Campina Grande, Paraíba, Brasil, 2001. Disponível em: https://dspace.sti.ufcg.edu.br/handle/riufcg/7944info: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:UFCGTEXTADRIANO JOSÉ PINHEIRO LEMOS - DISSERTAÇÃO (PPGCC) 2001.pdf.txtADRIANO JOSÉ PINHEIRO LEMOS - DISSERTAÇÃO (PPGCC) 2001.pdf.txttext/plain134783https://dspace.sti.ufcg.edu.br/bitstream/riufcg/7944/4/ADRIANO+JOS%C3%89+PINHEIRO+LEMOS+-+DISSERTA%C3%87%C3%83O+%28PPGCC%29+2001.pdf.txt7169c88371ad44e97873968ac7032208MD54ORIGINALADRIANO JOSÉ PINHEIRO LEMOS - DISSERTAÇÃO (PPGCC) 2001.pdfADRIANO JOSÉ PINHEIRO LEMOS - DISSERTAÇÃO (PPGCC) 2001.pdfapplication/pdf1151768https://dspace.sti.ufcg.edu.br/bitstream/riufcg/7944/3/ADRIANO+JOS%C3%89+PINHEIRO+LEMOS+-+DISSERTA%C3%87%C3%83O+%28PPGCC%29+2001.pdf4ffccfb5b45d4f9f2f542df455f7879eMD53LICENSElicense.txtlicense.txttext/plain; charset=utf-81748https://dspace.sti.ufcg.edu.br/bitstream/riufcg/7944/2/license.txt8a4605be74aa9ea9d79846c1fba20a33MD52riufcg/79442025-07-24 04:48:57.856oai:dspace.sti.ufcg.edu.br:riufcg/7944Tk9URTogUExBQ0UgWU9VUiBPV04gTElDRU5TRSBIRVJFClRoaXMgc2FtcGxlIGxpY2Vuc2UgaXMgcHJvdmlkZWQgZm9yIGluZm9ybWF0aW9uYWwgcHVycG9zZXMgb25seS4KCk5PTi1FWENMVVNJVkUgRElTVFJJQlVUSU9OIExJQ0VOU0UKCkJ5IHNpZ25pbmcgYW5kIHN1Ym1pdHRpbmcgdGhpcyBsaWNlbnNlLCB5b3UgKHRoZSBhdXRob3Iocykgb3IgY29weXJpZ2h0Cm93bmVyKSBncmFudHMgdG8gRFNwYWNlIFVuaXZlcnNpdHkgKERTVSkgdGhlIG5vbi1leGNsdXNpdmUgcmlnaHQgdG8gcmVwcm9kdWNlLAp0cmFuc2xhdGUgKGFzIGRlZmluZWQgYmVsb3cpLCBhbmQvb3IgZGlzdHJpYnV0ZSB5b3VyIHN1Ym1pc3Npb24gKGluY2x1ZGluZwp0aGUgYWJzdHJhY3QpIHdvcmxkd2lkZSBpbiBwcmludCBhbmQgZWxlY3Ryb25pYyBmb3JtYXQgYW5kIGluIGFueSBtZWRpdW0sCmluY2x1ZGluZyBidXQgbm90IGxpbWl0ZWQgdG8gYXVkaW8gb3IgdmlkZW8uCgpZb3UgYWdyZWUgdGhhdCBEU1UgbWF5LCB3aXRob3V0IGNoYW5naW5nIHRoZSBjb250ZW50LCB0cmFuc2xhdGUgdGhlCnN1Ym1pc3Npb24gdG8gYW55IG1lZGl1bSBvciBmb3JtYXQgZm9yIHRoZSBwdXJwb3NlIG9mIHByZXNlcnZhdGlvbi4KCllvdSBhbHNvIGFncmVlIHRoYXQgRFNVIG1heSBrZWVwIG1vcmUgdGhhbiBvbmUgY29weSBvZiB0aGlzIHN1Ym1pc3Npb24gZm9yCnB1cnBvc2VzIG9mIHNlY3VyaXR5LCBiYWNrLXVwIGFuZCBwcmVzZXJ2YXRpb24uCgpZb3UgcmVwcmVzZW50IHRoYXQgdGhlIHN1Ym1pc3Npb24gaXMgeW91ciBvcmlnaW5hbCB3b3JrLCBhbmQgdGhhdCB5b3UgaGF2ZQp0aGUgcmlnaHQgdG8gZ3JhbnQgdGhlIHJpZ2h0cyBjb250YWluZWQgaW4gdGhpcyBsaWNlbnNlLiBZb3UgYWxzbyByZXByZXNlbnQKdGhhdCB5b3VyIHN1Ym1pc3Npb24gZG9lcyBub3QsIHRvIHRoZSBiZXN0IG9mIHlvdXIga25vd2xlZGdlLCBpbmZyaW5nZSB1cG9uCmFueW9uZSdzIGNvcHlyaWdodC4KCklmIHRoZSBzdWJtaXNzaW9uIGNvbnRhaW5zIG1hdGVyaWFsIGZvciB3aGljaCB5b3UgZG8gbm90IGhvbGQgY29weXJpZ2h0LAp5b3UgcmVwcmVzZW50IHRoYXQgeW91IGhhdmUgb2J0YWluZWQgdGhlIHVucmVzdHJpY3RlZCBwZXJtaXNzaW9uIG9mIHRoZQpjb3B5cmlnaHQgb3duZXIgdG8gZ3JhbnQgRFNVIHRoZSByaWdodHMgcmVxdWlyZWQgYnkgdGhpcyBsaWNlbnNlLCBhbmQgdGhhdApzdWNoIHRoaXJkLXBhcnR5IG93bmVkIG1hdGVyaWFsIGlzIGNsZWFybHkgaWRlbnRpZmllZCBhbmQgYWNrbm93bGVkZ2VkCndpdGhpbiB0aGUgdGV4dCBvciBjb250ZW50IG9mIHRoZSBzdWJtaXNzaW9uLgoKSUYgVEhFIFNVQk1JU1NJT04gSVMgQkFTRUQgVVBPTiBXT1JLIFRIQVQgSEFTIEJFRU4gU1BPTlNPUkVEIE9SIFNVUFBPUlRFRApCWSBBTiBBR0VOQ1kgT1IgT1JHQU5JWkFUSU9OIE9USEVSIFRIQU4gRFNVLCBZT1UgUkVQUkVTRU5UIFRIQVQgWU9VIEhBVkUKRlVMRklMTEVEIEFOWSBSSUdIVCBPRiBSRVZJRVcgT1IgT1RIRVIgT0JMSUdBVElPTlMgUkVRVUlSRUQgQlkgU1VDSApDT05UUkFDVCBPUiBBR1JFRU1FTlQuCgpEU1Ugd2lsbCBjbGVhcmx5IGlkZW50aWZ5IHlvdXIgbmFtZShzKSBhcyB0aGUgYXV0aG9yKHMpIG9yIG93bmVyKHMpIG9mIHRoZQpzdWJtaXNzaW9uLCBhbmQgd2lsbCBub3QgbWFrZSBhbnkgYWx0ZXJhdGlvbiwgb3RoZXIgdGhhbiBhcyBhbGxvd2VkIGJ5IHRoaXMKbGljZW5zZSwgdG8geW91ciBzdWJtaXNzaW9uLgo=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:48:57Biblioteca Digital de Teses e Dissertações da UFCG - Universidade Federal de Campina Grande (UFCG)false
dc.title.pt_BR.fl_str_mv Reúso de modelos em redes de petri coloridas.
dc.title.alternative.pt_BR.fl_str_mv Reuse of models in colored Petri nets.
title Reúso de modelos em redes de petri coloridas.
spellingShingle Reúso de modelos em redes de petri coloridas.
LEMOS, Adriano José Pinheiro.
Ciência da Computação
Redes de Petri de Alto Nível
Engenharia de Software
Métodos Formais
Reúso de Software
High Level Petri Nets
Software Engineering
Formal Methods
Software Reuse
title_short Reúso de modelos em redes de petri coloridas.
title_full Reúso de modelos em redes de petri coloridas.
title_fullStr Reúso de modelos em redes de petri coloridas.
title_full_unstemmed Reúso de modelos em redes de petri coloridas.
title_sort Reúso de modelos em redes de petri coloridas.
author LEMOS, Adriano José Pinheiro.
author_facet LEMOS, Adriano José Pinheiro.
author_role author
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.referee1.fl_str_mv FIGUEIREDO , Jorge César Abrantes de.
dc.contributor.referee2.fl_str_mv ALMEIDA, Eliana Silva de.
dc.contributor.authorID.fl_str_mv LEMOS, A. J. P.
dc.contributor.authorLattes.fl_str_mv http://lattes.cnpq.br/1047552565537920
dc.contributor.author.fl_str_mv LEMOS, Adriano José Pinheiro.
contributor_str_mv PERKUSICH, Angelo.
FIGUEIREDO , Jorge César Abrantes de.
ALMEIDA, Eliana Silva de.
dc.subject.cnpq.fl_str_mv Ciência da Computação
topic Ciência da Computação
Redes de Petri de Alto Nível
Engenharia de Software
Métodos Formais
Reúso de Software
High Level Petri Nets
Software Engineering
Formal Methods
Software Reuse
dc.subject.por.fl_str_mv Redes de Petri de Alto Nível
Engenharia de Software
Métodos Formais
Reúso de Software
High Level Petri Nets
Software Engineering
Formal Methods
Software Reuse
description Neste trabalho investiga-se a aplicação dos principais conceitos de reúso de software na modelagem formal de sistemas. Mais especificamente, trata-se do reúso de modelos de sistemas de software utilizando Redes de Petri Coloridas. O principal objetivo é contribuir para melhorar o processo de modelagem de sistemas de software complexos, distribuídos e concorrentes. Como resultado, introduz-se atividades de reúso no processo de modelagem, mais especificamente armazenamento e recuperação. Tais atividades são suportadas pela introdução de um método e uma técnica integrados de forma a promover o reúso de modelos.
publishDate 2001
dc.date.issued.fl_str_mv 2001-02-28
dc.date.accessioned.fl_str_mv 2019-10-10T11:00:16Z
dc.date.available.fl_str_mv 2019-10-10
2019-10-10T11:00:16Z
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/7944
dc.identifier.citation.fl_str_mv LEMOS, A. J. P. Reúso de modelos em redes de Petri coloridas. 2001. 68 f. Dissertação (Mestrado em Ciência da Computação) – Pós-Graduação em Ciência da Computação, Centro de Engenharia Elétrica e Informática, Universidade Federal de Campina Grande, Paraíba, Brasil, 2001. Disponível em: https://dspace.sti.ufcg.edu.br/handle/riufcg/7944
url https://dspace.sti.ufcg.edu.br/handle/riufcg/7944
identifier_str_mv LEMOS, A. J. P. Reúso de modelos em redes de Petri coloridas. 2001. 68 f. Dissertação (Mestrado em Ciência da Computação) – Pós-Graduação em Ciência da Computação, Centro de Engenharia Elétrica e Informática, Universidade Federal de Campina Grande, Paraíba, Brasil, 2001. Disponível em: https://dspace.sti.ufcg.edu.br/handle/riufcg/7944
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/7944/4/ADRIANO+JOS%C3%89+PINHEIRO+LEMOS+-+DISSERTA%C3%87%C3%83O+%28PPGCC%29+2001.pdf.txt
https://dspace.sti.ufcg.edu.br/bitstream/riufcg/7944/3/ADRIANO+JOS%C3%89+PINHEIRO+LEMOS+-+DISSERTA%C3%87%C3%83O+%28PPGCC%29+2001.pdf
https://dspace.sti.ufcg.edu.br/bitstream/riufcg/7944/2/license.txt
bitstream.checksum.fl_str_mv 7169c88371ad44e97873968ac7032208
4ffccfb5b45d4f9f2f542df455f7879e
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_ 1863363441824104448

Registros relacionados