Adaptação de modelos em redes de petri coloridas.

Detalhes bibliográficos
Autor(a) principal: GORGÔNIO, Kyller Costa.
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/10027
Resumo: Neste trabalho introduz-se uma abordagem para a adaptação automática de modelos em redes de Petri. Para esta abordagem define-se um procedimento que, a partir de um modelo e de um conjunto de restrições de comportamento, sintetiza um novo modelo. Este procedimento foi definido om base nos conceitos e técnicas da Teoria do Controle Supervisório e da Verificação Automática de Modelos. Além disso, aborda-se o problema da adaptação num contexto de reuso de modelos.
id UFCG_39570e96e0751f6fde92181048e5e090
oai_identifier_str oai:localhost:riufcg/10027
network_acronym_str UFCG
network_name_str Biblioteca Digital de Teses e Dissertações da UFCG
repository_id_str 4851
spelling Adaptação de modelos em redes de petri coloridas.Model adaptation in colored petri nets.Redes de Petri de Alto NívelEngenharia de SoftwareMétodos FormaisReúso de SoftwareAdaptação de ModelosHigh Level Petri NetsSoftware EngineeringFormal MethodsSoftware ReuseModel AdaptationCiência da ComputaçãoNeste trabalho introduz-se uma abordagem para a adaptação automática de modelos em redes de Petri. Para esta abordagem define-se um procedimento que, a partir de um modelo e de um conjunto de restrições de comportamento, sintetiza um novo modelo. Este procedimento foi definido om base nos conceitos e técnicas da Teoria do Controle Supervisório e da Verificação Automática de Modelos. Além disso, aborda-se o problema da adaptação num contexto de reuso de modelos.In this work we introduce an automatic adaptation approach for Colored Petri Nets models. For this approach we dene a procedure for the synthesis of a new model based on a given model and a set of behavior restrictions. This procedure was defined based on the concepts and techniques of the supervisory control theory and model he king. Moreover, we tackle the adaptation problem in the context of models reuse.Universidade Federal de Campina GrandeBrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGPERKUSICH, Ângelo.Perkusich, A.http://lattes.cnpq.br/9439858291700830FIGUEIREDO , Jorge César Abrantes de.COSTA, Evandro de Barros.GORGÔNIO, Kyller Costa.2001-12-272019-12-10T09:32:25Z2019-12-102019-12-10T09:32:25Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesishttp://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/10027GORGÔNIO, K. C. Adaptação de modelos em redes de petri coloridas. 2001. 71 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/10027porinfo:eu-repo/semantics/openAccessreponame:Biblioteca Digital de Teses e Dissertações da UFCGinstname:Universidade Federal de Campina Grande (UFCG)instacron:UFCG2022-03-18T13:05:25Zoai:localhost:riufcg/10027Biblioteca 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-18T13:05:25Biblioteca Digital de Teses e Dissertações da UFCG - Universidade Federal de Campina Grande (UFCG)false
dc.title.none.fl_str_mv Adaptação de modelos em redes de petri coloridas.
Model adaptation in colored petri nets.
title Adaptação de modelos em redes de petri coloridas.
spellingShingle Adaptação de modelos em redes de petri coloridas.
GORGÔNIO, Kyller Costa.
Redes de Petri de Alto Nível
Engenharia de Software
Métodos Formais
Reúso de Software
Adaptação de Modelos
High Level Petri Nets
Software Engineering
Formal Methods
Software Reuse
Model Adaptation
Ciência da Computação
title_short Adaptação de modelos em redes de petri coloridas.
title_full Adaptação de modelos em redes de petri coloridas.
title_fullStr Adaptação de modelos em redes de petri coloridas.
title_full_unstemmed Adaptação de modelos em redes de petri coloridas.
title_sort Adaptação de modelos em redes de petri coloridas.
author GORGÔNIO, Kyller Costa.
author_facet GORGÔNIO, Kyller Costa.
author_role author
dc.contributor.none.fl_str_mv PERKUSICH, Ângelo.
Perkusich, A.
http://lattes.cnpq.br/9439858291700830
FIGUEIREDO , Jorge César Abrantes de.
COSTA, Evandro de Barros.
dc.contributor.author.fl_str_mv GORGÔNIO, Kyller Costa.
dc.subject.por.fl_str_mv Redes de Petri de Alto Nível
Engenharia de Software
Métodos Formais
Reúso de Software
Adaptação de Modelos
High Level Petri Nets
Software Engineering
Formal Methods
Software Reuse
Model Adaptation
Ciência da Computação
topic Redes de Petri de Alto Nível
Engenharia de Software
Métodos Formais
Reúso de Software
Adaptação de Modelos
High Level Petri Nets
Software Engineering
Formal Methods
Software Reuse
Model Adaptation
Ciência da Computação
description Neste trabalho introduz-se uma abordagem para a adaptação automática de modelos em redes de Petri. Para esta abordagem define-se um procedimento que, a partir de um modelo e de um conjunto de restrições de comportamento, sintetiza um novo modelo. Este procedimento foi definido om base nos conceitos e técnicas da Teoria do Controle Supervisório e da Verificação Automática de Modelos. Além disso, aborda-se o problema da adaptação num contexto de reuso de modelos.
publishDate 2001
dc.date.none.fl_str_mv 2001-12-27
2019-12-10T09:32:25Z
2019-12-10
2019-12-10T09:32:25Z
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/10027
GORGÔNIO, K. C. Adaptação de modelos em redes de petri coloridas. 2001. 71 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/10027
url http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/10027
identifier_str_mv GORGÔNIO, K. C. Adaptação de modelos em redes de petri coloridas. 2001. 71 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/10027
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_ 1809744420733452288

Registros relacionados