Reúso de modelos em redes de petri coloridas.

Detalhes bibliográficos
Ano de defesa: 2001
Autor(a) principal: LEMOS, Adriano José Pinheiro.
Orientador(a): Não Informado pela instituição
Banca de defesa: Não Informado pela instituição
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:
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
Link de acesso: 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 UCB-2_4d1b0e2744b5613fd295818d8a1a5b32
oai_identifier_str oai:localhost:riufcg/7944
network_acronym_str UCB-2
network_name_str Repositório Institucional da UCB
repository_id_str
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:Repositório Institucional da UCBinstname:Universidade Católica de Brasília (UCB)instacron:UCB2022-03-18T12:53:05Zoai:localhost:riufcg/7944Repositório InstitucionalPRIhttps://repositorio.ucb.br/oai/requestsara.ribeiro@ucb.bropendoar:2022-03-18T12:53:05Repositório Institucional da UCB - Universidade Católica de Brasília (UCB)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: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_ 1834013166759051264

Registros relacionados