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

Página inicial
→
Campus Campina Grande | Centro de Engenharia Elétrica e Informática - CEEI
→
PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO
→
Mestrado em Ciência da Computação.
→
Ver item

dc.creator.ID	MEDEIROS, A. K. A.	pt_BR
dc.creator.Lattes	http://lattes.cnpq.br/2789194000664080	pt_BR
dc.contributor.advisor1	PERKUSICH, Angelo.
dc.contributor.advisor1ID	Perkusich, A.	pt_BR
dc.contributor.advisor1Lattes	http://lattes.cnpq.br/9439858291700830	pt_BR
dc.contributor.referee1	FIGUEIREDO , Jorge César Abrantes de.
dc.contributor.referee2	DÉHARBE, David Paul Boris.
dc.description.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.	pt_BR
dc.publisher.country	Brasil	pt_BR
dc.publisher.department	Centro de Engenharia Elétrica e Informática - CEEI	pt_BR
dc.publisher.program	PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO	pt_BR
dc.publisher.initials	UFCG	pt_BR
dc.subject.cnpq	Ciência da Computação	pt_BR
dc.title	Mecanismos de interação para um modelo de redes de Petri orientado a objetos.	pt_BR
dc.date.issued	2000-08-28
dc.description.abstract	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.	pt_BR
dc.identifier.uri	http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/9679
dc.date.accessioned	2019-11-29T09:29:10Z
dc.date.available	2019-11-29
dc.date.available	2019-11-29T09:29:10Z
dc.type	Dissertação	pt_BR
dc.subject	Redes de Petri de Alto Nível	pt_BR
dc.subject	Métodos Formais	pt_BR
dc.subject	Orientação a Objetos	pt_BR
dc.subject	Engenharia de Software	pt_BR
dc.subject	Mecanismos de Interação	pt_BR
dc.subject	High Level Petri Nets	pt_BR
dc.subject	Formal Methods	pt_BR
dc.subject	Object Orientation	pt_BR
dc.subject	Software Engineering	pt_BR
dc.subject	Interaction Mechanisms	pt_BR
dc.rights	Acesso Aberto	pt_BR
dc.creator	MEDEIROS, Ana Karla Alves de.
dc.publisher	Universidade Federal de Campina Grande	pt_BR
dc.language	por	pt_BR
dc.title.alternative	Interaction mechanisms for an object-oriented Petri net model.	pt_BR
dc.identifier.citation	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	pt_BR