Mecanismos de interação para um modelo de redes de Petri orientado a objetos.
| Ano de defesa: | 2000 |
|---|---|
| Autor(a) principal: | |
| Orientador(a): | |
| Banca de defesa: | |
| Tipo de documento: | Dissertação |
| Tipo de acesso: | Acesso aberto |
| Idioma: | por |
| Instituição de defesa: |
Universidade Federal de Campina Grande
Brasil Centro de Engenharia Elétrica e Informática - CEEI PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO UFCG |
| Programa de Pós-Graduação: |
Não Informado pela instituição
|
| Departamento: |
Não Informado pela instituição
|
| País: |
Não Informado pela instituição
|
| Palavras-chave em Português: | |
| Link de acesso: | http://dspace.sti.ufcg.edu.br:8080/jspui/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 |
UCB-2_09d726be9d22c3b4748b1d9e45d3014e |
|---|---|
| oai_identifier_str |
oai:localhost:riufcg/9679 |
| network_acronym_str |
UCB-2 |
| network_name_str |
Repositório Institucional da UCB |
| repository_id_str |
|
| spelling |
Mecanismos de interação para um modelo de redes de Petri orientado a objetos.Interaction mechanisms for an object-oriented Petri net model.Redes de Petri de Alto NívelMétodos FormaisOrientação a ObjetosEngenharia de SoftwareMecanismos de InteraçãoHigh Level Petri NetsFormal MethodsObject OrientationSoftware EngineeringInteraction MechanismsCiência da ComputaçãoNeste 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.Universidade Federal de Campina GrandeBrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGPERKUSICH, Angelo.Perkusich, A.http://lattes.cnpq.br/9439858291700830FIGUEIREDO , Jorge César Abrantes de.DÉHARBE, David Paul Boris.MEDEIROS, Ana Karla Alves de.2000-08-282019-11-29T09:29:10Z2019-11-292019-11-29T09:29:10Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesishttp://dspace.sti.ufcg.edu.br:8080/jspui/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: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/9679porinfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da UCBinstname:Universidade Católica de Brasília (UCB)instacron:UCB2022-03-18T12:14:08Zoai:localhost:riufcg/9679Repositório InstitucionalPRIhttps://repositorio.ucb.br/oai/requestsara.ribeiro@ucb.bropendoar:2022-03-18T12:14:08Repositório Institucional da UCB - Universidade Católica de Brasília (UCB)false |
| dc.title.none.fl_str_mv |
Mecanismos de interação para um modelo de redes de Petri orientado a objetos. 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. 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 Ciência da Computação |
| 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.none.fl_str_mv |
PERKUSICH, Angelo. Perkusich, A. http://lattes.cnpq.br/9439858291700830 FIGUEIREDO , Jorge César Abrantes de. DÉHARBE, David Paul Boris. |
| dc.contributor.author.fl_str_mv |
MEDEIROS, Ana Karla Alves de. |
| 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 Ciência da Computação |
| topic |
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 Ciência da Computação |
| 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.none.fl_str_mv |
2000-08-28 2019-11-29T09:29:10Z 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 |
http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/9679 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: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/9679 |
| url |
http://dspace.sti.ufcg.edu.br:8080/jspui/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: http://dspace.sti.ufcg.edu.br:8080/jspui/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 Brasil Centro de Engenharia Elétrica e Informática - CEEI PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO UFCG |
| publisher.none.fl_str_mv |
Universidade Federal de Campina Grande Brasil Centro de Engenharia Elétrica e Informática - CEEI PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO UFCG |
| dc.source.none.fl_str_mv |
reponame:Repositório Institucional da UCB instname:Universidade Católica de Brasília (UCB) instacron:UCB |
| instname_str |
Universidade Católica de Brasília (UCB) |
| instacron_str |
UCB |
| institution |
UCB |
| reponame_str |
Repositório Institucional da UCB |
| collection |
Repositório Institucional da UCB |
| repository.name.fl_str_mv |
Repositório Institucional da UCB - Universidade Católica de Brasília (UCB) |
| repository.mail.fl_str_mv |
sara.ribeiro@ucb.br |
| _version_ |
1834013172494761984 |