Mecanismos de interação para um modelo de redes de Petri orientado a objetos.

Detalhes bibliográficos
Ano de defesa: 2000
Autor(a) principal: MEDEIROS, Ana Karla Alves de. lattes
Orientador(a): PERKUSICH, Angelo. lattes
Banca de defesa: FIGUEIREDO , Jorge César Abrantes de., DÉHARBE, David Paul Boris.
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
Métodos Formais
Orientação a Objetos
Engenharia de Software
Mecanismos de Interação
High Level Petri Nets
Formal Methods
Object Orientation
Software Engineering
Interaction Mechanisms
Área do conhecimento CNPq:
Ciência da Computação
Link de acesso: https://dspace.sti.ufcg.edu.br/handle/riufcg/9679
Resumo: Neste trabalho é apresentado o acréscimo de abstrações para mecanismos de interação entre objetos de uma Rede de Petri Orientada a Objetos (RPOO). RPOO é uma notação formal apropriada à especificação de sistemas de software paralelos e distribuídos. As abstrações adicionadas referem-se aos mecanismos de comunicação síncrona e sincronização de métodos. A idéia básica é melhorar o poder de abstração dessa notação e facilitar a tarefa do projetista de software. Como complemento, indica-se como proceder à análise da nova notação.
id UFCG_03d532c8f2e1ff34043c5b7096e3f70a
oai_identifier_str oai:dspace.sti.ufcg.edu.br:riufcg/9679
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.DÉHARBE, David Paul Boris.MEDEIROS, A. K. A.http://lattes.cnpq.br/2789194000664080MEDEIROS, Ana Karla Alves de.Neste trabalho é apresentado o acréscimo de abstrações para mecanismos de interação entre objetos de uma Rede de Petri Orientada a Objetos (RPOO). RPOO é uma notação formal apropriada à especificação de sistemas de software paralelos e distribuídos. As abstrações adicionadas referem-se aos mecanismos de comunicação síncrona e sincronização de métodos. A idéia básica é melhorar o poder de abstração dessa notação e facilitar a tarefa do projetista de software. Como complemento, indica-se como proceder à análise da nova notação.This work presents the addition of new abstractions for interaction mechanisms between objects of Rede de Petri Orientada Objetos (RPOO). RPOO is a formal notation well suited for the specification of concurrent and distributed software systems. The added abstractions provide synchronous communication and method synchronization. The main idea is to improve the abstraction power of this notation, facilitating the software designer's task. Additionally, some hints about analyzing the new notation are given.Submitted by Maria Medeiros (maria.dilva1@ufcg.edu.br) on 2019-11-29T09:29:10Z No. of bitstreams: 1 ANA KARLA ALVES DE MEDEIROS - DISSERTAÇÃO (PPGCC) 2000.pdf: 1646589 bytes, checksum: cb270673e2bf509d43ca6c3673d09cce (MD5)Made available in DSpace on 2019-11-29T09:29:10Z (GMT). No. of bitstreams: 1 ANA KARLA ALVES DE MEDEIROS - DISSERTAÇÃO (PPGCC) 2000.pdf: 1646589 bytes, checksum: cb270673e2bf509d43ca6c3673d09cce (MD5) Previous issue date: 2000-08-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ívelMétodos FormaisOrientação a ObjetosEngenharia de SoftwareMecanismos de InteraçãoHigh Level Petri NetsFormal MethodsObject OrientationSoftware EngineeringInteraction MechanismsMecanismos de interação para um modelo de redes de Petri orientado a objetos.Interaction mechanisms for an object-oriented Petri net model.2000-08-282019-11-29T09:29:10Z2019-11-292019-11-29T09:29:10Zhttps://dspace.sti.ufcg.edu.br/handle/riufcg/9679MEDEIROS, A. K. A. de. Mecanismos de interação para um modelo de redes de Petri orientado a objetos. 2000. 92 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, 2000. Disponível em: https://dspace.sti.ufcg.edu.br/handle/riufcg/9679info: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:UFCGTEXTANA KARLA ALVES DE MEDEIROS - DISSERTAÇÃO (PPGCC) 2000.pdf.txtANA KARLA ALVES DE MEDEIROS - DISSERTAÇÃO (PPGCC) 2000.pdf.txttext/plain156696https://dspace.sti.ufcg.edu.br/bitstream/riufcg/9679/4/ANA+KARLA+ALVES+DE+MEDEIROS+-+DISSERTA%C3%87%C3%83O+%28PPGCC%29+2000.pdf.txte6618f92e5f3de8e926f6c88cb326c98MD54ORIGINALANA KARLA ALVES DE MEDEIROS - DISSERTAÇÃO (PPGCC) 2000.pdfANA KARLA ALVES DE MEDEIROS - DISSERTAÇÃO (PPGCC) 2000.pdfapplication/pdf1562693https://dspace.sti.ufcg.edu.br/bitstream/riufcg/9679/3/ANA+KARLA+ALVES+DE+MEDEIROS+-+DISSERTA%C3%87%C3%83O+%28PPGCC%29+2000.pdf9d32c79f9d8ab6c8c9cc90db5267cdcdMD53LICENSElicense.txtlicense.txttext/plain; charset=utf-81748https://dspace.sti.ufcg.edu.br/bitstream/riufcg/9679/2/license.txt8a4605be74aa9ea9d79846c1fba20a33MD52riufcg/96792025-07-24 05:20:13.524oai:dspace.sti.ufcg.edu.br:riufcg/9679Tk9URTogUExBQ0UgWU9VUiBPV04gTElDRU5TRSBIRVJFClRoaXMgc2FtcGxlIGxpY2Vuc2UgaXMgcHJvdmlkZWQgZm9yIGluZm9ybWF0aW9uYWwgcHVycG9zZXMgb25seS4KCk5PTi1FWENMVVNJVkUgRElTVFJJQlVUSU9OIExJQ0VOU0UKCkJ5IHNpZ25pbmcgYW5kIHN1Ym1pdHRpbmcgdGhpcyBsaWNlbnNlLCB5b3UgKHRoZSBhdXRob3Iocykgb3IgY29weXJpZ2h0Cm93bmVyKSBncmFudHMgdG8gRFNwYWNlIFVuaXZlcnNpdHkgKERTVSkgdGhlIG5vbi1leGNsdXNpdmUgcmlnaHQgdG8gcmVwcm9kdWNlLAp0cmFuc2xhdGUgKGFzIGRlZmluZWQgYmVsb3cpLCBhbmQvb3IgZGlzdHJpYnV0ZSB5b3VyIHN1Ym1pc3Npb24gKGluY2x1ZGluZwp0aGUgYWJzdHJhY3QpIHdvcmxkd2lkZSBpbiBwcmludCBhbmQgZWxlY3Ryb25pYyBmb3JtYXQgYW5kIGluIGFueSBtZWRpdW0sCmluY2x1ZGluZyBidXQgbm90IGxpbWl0ZWQgdG8gYXVkaW8gb3IgdmlkZW8uCgpZb3UgYWdyZWUgdGhhdCBEU1UgbWF5LCB3aXRob3V0IGNoYW5naW5nIHRoZSBjb250ZW50LCB0cmFuc2xhdGUgdGhlCnN1Ym1pc3Npb24gdG8gYW55IG1lZGl1bSBvciBmb3JtYXQgZm9yIHRoZSBwdXJwb3NlIG9mIHByZXNlcnZhdGlvbi4KCllvdSBhbHNvIGFncmVlIHRoYXQgRFNVIG1heSBrZWVwIG1vcmUgdGhhbiBvbmUgY29weSBvZiB0aGlzIHN1Ym1pc3Npb24gZm9yCnB1cnBvc2VzIG9mIHNlY3VyaXR5LCBiYWNrLXVwIGFuZCBwcmVzZXJ2YXRpb24uCgpZb3UgcmVwcmVzZW50IHRoYXQgdGhlIHN1Ym1pc3Npb24gaXMgeW91ciBvcmlnaW5hbCB3b3JrLCBhbmQgdGhhdCB5b3UgaGF2ZQp0aGUgcmlnaHQgdG8gZ3JhbnQgdGhlIHJpZ2h0cyBjb250YWluZWQgaW4gdGhpcyBsaWNlbnNlLiBZb3UgYWxzbyByZXByZXNlbnQKdGhhdCB5b3VyIHN1Ym1pc3Npb24gZG9lcyBub3QsIHRvIHRoZSBiZXN0IG9mIHlvdXIga25vd2xlZGdlLCBpbmZyaW5nZSB1cG9uCmFueW9uZSdzIGNvcHlyaWdodC4KCklmIHRoZSBzdWJtaXNzaW9uIGNvbnRhaW5zIG1hdGVyaWFsIGZvciB3aGljaCB5b3UgZG8gbm90IGhvbGQgY29weXJpZ2h0LAp5b3UgcmVwcmVzZW50IHRoYXQgeW91IGhhdmUgb2J0YWluZWQgdGhlIHVucmVzdHJpY3RlZCBwZXJtaXNzaW9uIG9mIHRoZQpjb3B5cmlnaHQgb3duZXIgdG8gZ3JhbnQgRFNVIHRoZSByaWdodHMgcmVxdWlyZWQgYnkgdGhpcyBsaWNlbnNlLCBhbmQgdGhhdApzdWNoIHRoaXJkLXBhcnR5IG93bmVkIG1hdGVyaWFsIGlzIGNsZWFybHkgaWRlbnRpZmllZCBhbmQgYWNrbm93bGVkZ2VkCndpdGhpbiB0aGUgdGV4dCBvciBjb250ZW50IG9mIHRoZSBzdWJtaXNzaW9uLgoKSUYgVEhFIFNVQk1JU1NJT04gSVMgQkFTRUQgVVBPTiBXT1JLIFRIQVQgSEFTIEJFRU4gU1BPTlNPUkVEIE9SIFNVUFBPUlRFRApCWSBBTiBBR0VOQ1kgT1IgT1JHQU5JWkFUSU9OIE9USEVSIFRIQU4gRFNVLCBZT1UgUkVQUkVTRU5UIFRIQVQgWU9VIEhBVkUKRlVMRklMTEVEIEFOWSBSSUdIVCBPRiBSRVZJRVcgT1IgT1RIRVIgT0JMSUdBVElPTlMgUkVRVUlSRUQgQlkgU1VDSApDT05UUkFDVCBPUiBBR1JFRU1FTlQuCgpEU1Ugd2lsbCBjbGVhcmx5IGlkZW50aWZ5IHlvdXIgbmFtZShzKSBhcyB0aGUgYXV0aG9yKHMpIG9yIG93bmVyKHMpIG9mIHRoZQpzdWJtaXNzaW9uLCBhbmQgd2lsbCBub3QgbWFrZSBhbnkgYWx0ZXJhdGlvbiwgb3RoZXIgdGhhbiBhcyBhbGxvd2VkIGJ5IHRoaXMKbGljZW5zZSwgdG8geW91ciBzdWJtaXNzaW9uLgo=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-24T08:20:13Biblioteca Digital de Teses e Dissertações da UFCG - Universidade Federal de Campina Grande (UFCG)false
dc.title.pt_BR.fl_str_mv Mecanismos de interação para um modelo de redes de Petri orientado a objetos.
dc.title.alternative.pt_BR.fl_str_mv Interaction mechanisms for an object-oriented Petri net model.
title Mecanismos de interação para um modelo de redes de Petri orientado a objetos.
spellingShingle Mecanismos de interação para um modelo de redes de Petri orientado a objetos.
MEDEIROS, Ana Karla Alves de.
Ciência da Computação
Redes de Petri de Alto Nível
Métodos Formais
Orientação a Objetos
Engenharia de Software
Mecanismos de Interação
High Level Petri Nets
Formal Methods
Object Orientation
Software Engineering
Interaction Mechanisms
title_short Mecanismos de interação para um modelo de redes de Petri orientado a objetos.
title_full Mecanismos de interação para um modelo de redes de Petri orientado a objetos.
title_fullStr Mecanismos de interação para um modelo de redes de Petri orientado a objetos.
title_full_unstemmed Mecanismos de interação para um modelo de redes de Petri orientado a objetos.
title_sort Mecanismos de interação para um modelo de redes de Petri orientado a objetos.
author MEDEIROS, Ana Karla Alves de.
author_facet MEDEIROS, Ana Karla Alves de.
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 DÉHARBE, David Paul Boris.
dc.contributor.authorID.fl_str_mv MEDEIROS, A. K. A.
dc.contributor.authorLattes.fl_str_mv http://lattes.cnpq.br/2789194000664080
dc.contributor.author.fl_str_mv MEDEIROS, Ana Karla Alves de.
contributor_str_mv PERKUSICH, Angelo.
FIGUEIREDO , Jorge César Abrantes de.
DÉHARBE, David Paul Boris.
dc.subject.cnpq.fl_str_mv Ciência da Computação
topic Ciência da Computação
Redes de Petri de Alto Nível
Métodos Formais
Orientação a Objetos
Engenharia de Software
Mecanismos de Interação
High Level Petri Nets
Formal Methods
Object Orientation
Software Engineering
Interaction Mechanisms
dc.subject.por.fl_str_mv Redes de Petri de Alto Nível
Métodos Formais
Orientação a Objetos
Engenharia de Software
Mecanismos de Interação
High Level Petri Nets
Formal Methods
Object Orientation
Software Engineering
Interaction Mechanisms
description Neste trabalho é apresentado o acréscimo de abstrações para mecanismos de interação entre objetos de uma Rede de Petri Orientada a Objetos (RPOO). RPOO é uma notação formal apropriada à especificação de sistemas de software paralelos e distribuídos. As abstrações adicionadas referem-se aos mecanismos de comunicação síncrona e sincronização de métodos. A idéia básica é melhorar o poder de abstração dessa notação e facilitar a tarefa do projetista de software. Como complemento, indica-se como proceder à análise da nova notação.
publishDate 2000
dc.date.issued.fl_str_mv 2000-08-28
dc.date.accessioned.fl_str_mv 2019-11-29T09:29:10Z
dc.date.available.fl_str_mv 2019-11-29
2019-11-29T09:29:10Z
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/9679
dc.identifier.citation.fl_str_mv MEDEIROS, A. K. A. de. Mecanismos de interação para um modelo de redes de Petri orientado a objetos. 2000. 92 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, 2000. Disponível em: https://dspace.sti.ufcg.edu.br/handle/riufcg/9679
url https://dspace.sti.ufcg.edu.br/handle/riufcg/9679
identifier_str_mv MEDEIROS, A. K. A. de. Mecanismos de interação para um modelo de redes de Petri orientado a objetos. 2000. 92 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, 2000. Disponível em: https://dspace.sti.ufcg.edu.br/handle/riufcg/9679
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/9679/4/ANA+KARLA+ALVES+DE+MEDEIROS+-+DISSERTA%C3%87%C3%83O+%28PPGCC%29+2000.pdf.txt
https://dspace.sti.ufcg.edu.br/bitstream/riufcg/9679/3/ANA+KARLA+ALVES+DE+MEDEIROS+-+DISSERTA%C3%87%C3%83O+%28PPGCC%29+2000.pdf
https://dspace.sti.ufcg.edu.br/bitstream/riufcg/9679/2/license.txt
bitstream.checksum.fl_str_mv e6618f92e5f3de8e926f6c88cb326c98
9d32c79f9d8ab6c8c9cc90db5267cdcd
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_ 1863363451865268224

Registros relacionados