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

Detalhes bibliográficos
Autor(a) principal: MEDEIROS, Ana Karla Alves de.
Data de Publicação: 2000
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/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_09d726be9d22c3b4748b1d9e45d3014e
oai_identifier_str oai:localhost:riufcg/9679
network_acronym_str UFCG
network_name_str Biblioteca Digital de Teses e Dissertações da UFCG
repository_id_str 4851
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:Biblioteca Digital de Teses e Dissertações da UFCGinstname:Universidade Federal de Campina Grande (UFCG)instacron:UFCG2022-03-18T12:14:08Zoai:localhost:riufcg/9679Biblioteca 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:48512022-03-18T12:14:08Biblioteca Digital de Teses e Dissertações da UFCG - Universidade Federal de Campina Grande (UFCG)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: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
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_ 1809744417739767808

Registros relacionados