Reúso de modelos em redes de petri coloridas.

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	LEMOS, A. J. P.	pt_BR
dc.creator.Lattes	http://lattes.cnpq.br/1047552565537920	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	ALMEIDA, Eliana Silva de.
dc.description.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.	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	Reúso de modelos em redes de petri coloridas.	pt_BR
dc.date.issued	2001-02-28
dc.description.abstract	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.	pt_BR
dc.identifier.uri	http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/7944
dc.date.accessioned	2019-10-10T11:00:16Z
dc.date.available	2019-10-10
dc.date.available	2019-10-10T11:00:16Z
dc.type	Dissertação	pt_BR
dc.subject	Redes de Petri de Alto Nível	pt_BR
dc.subject	Engenharia de Software	pt_BR
dc.subject	Métodos Formais	pt_BR
dc.subject	Reúso de Software	pt_BR
dc.subject	High Level Petri Nets	pt_BR
dc.subject	Software Engineering	pt_BR
dc.subject	Formal Methods	pt_BR
dc.subject	Software Reuse	pt_BR
dc.rights	Acesso Aberto	pt_BR
dc.creator	LEMOS, Adriano José Pinheiro.
dc.publisher	Universidade Federal de Campina Grande	pt_BR
dc.language	por	pt_BR
dc.title.alternative	Reuse of models in colored Petri nets.	pt_BR
dc.identifier.citation	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: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/7944	pt_BR