Reúso de modelos em redes de petri coloridas.

Detalhes bibliográficos
Autor(a) principal: LEMOS, Adriano José Pinheiro.
Data de Publicação: 2001
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/7944
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.
id UFCG_4d1b0e2744b5613fd295818d8a1a5b32
oai_identifier_str oai:localhost:riufcg/7944
network_acronym_str UFCG
network_name_str Biblioteca Digital de Teses e Dissertações da UFCG
repository_id_str 4851
spelling Reúso de modelos em redes de petri coloridas.Reuse of models in colored Petri nets.Redes de Petri de Alto NívelEngenharia de SoftwareMétodos FormaisReúso de SoftwareHigh Level Petri NetsSoftware EngineeringFormal MethodsSoftware ReuseCiência da ComputaçãoNeste 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.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.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.ALMEIDA, Eliana Silva de.LEMOS, Adriano José Pinheiro.2001-02-282019-10-10T11:00:16Z2019-10-102019-10-10T11:00:16Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesishttp://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/7944LEMOS, 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/7944porinfo:eu-repo/semantics/openAccessreponame:Biblioteca Digital de Teses e Dissertações da UFCGinstname:Universidade Federal de Campina Grande (UFCG)instacron:UFCG2022-03-18T12:53:05Zoai:localhost:riufcg/7944Biblioteca 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:53:05Biblioteca Digital de Teses e Dissertações da UFCG - Universidade Federal de Campina Grande (UFCG)false
dc.title.none.fl_str_mv Reúso de modelos em redes de petri coloridas.
Reuse of models in colored Petri nets.
title Reúso de modelos em redes de petri coloridas.
spellingShingle Reúso de modelos em redes de petri coloridas.
LEMOS, Adriano José Pinheiro.
Redes de Petri de Alto Nível
Engenharia de Software
Métodos Formais
Reúso de Software
High Level Petri Nets
Software Engineering
Formal Methods
Software Reuse
Ciência da Computação
title_short Reúso de modelos em redes de petri coloridas.
title_full Reúso de modelos em redes de petri coloridas.
title_fullStr Reúso de modelos em redes de petri coloridas.
title_full_unstemmed Reúso de modelos em redes de petri coloridas.
title_sort Reúso de modelos em redes de petri coloridas.
author LEMOS, Adriano José Pinheiro.
author_facet LEMOS, Adriano José Pinheiro.
author_role author
dc.contributor.none.fl_str_mv PERKUSICH, Angelo.
Perkusich, A.
http://lattes.cnpq.br/9439858291700830
FIGUEIREDO , Jorge César Abrantes de.
ALMEIDA, Eliana Silva de.
dc.contributor.author.fl_str_mv LEMOS, Adriano José Pinheiro.
dc.subject.por.fl_str_mv Redes de Petri de Alto Nível
Engenharia de Software
Métodos Formais
Reúso de Software
High Level Petri Nets
Software Engineering
Formal Methods
Software Reuse
Ciência da Computação
topic Redes de Petri de Alto Nível
Engenharia de Software
Métodos Formais
Reúso de Software
High Level Petri Nets
Software Engineering
Formal Methods
Software Reuse
Ciência da Computação
description 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.
publishDate 2001
dc.date.none.fl_str_mv 2001-02-28
2019-10-10T11:00:16Z
2019-10-10
2019-10-10T11:00:16Z
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/7944
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
url http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/7944
identifier_str_mv 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
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_ 1809744402299486208

Registros relacionados