Please use this identifier to cite or link to this item: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/10027
Title: Adaptação de modelos em redes de petri coloridas.
Other Titles: Model adaptation in colored petri nets.
???metadata.dc.creator???: GORGÔNIO, Kyller Costa.
???metadata.dc.contributor.advisor1???: PERKUSICH, Ângelo.
???metadata.dc.contributor.referee1???: FIGUEIREDO , Jorge César Abrantes de.
???metadata.dc.contributor.referee2???: COSTA, Evandro de Barros.
Keywords: 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
Issue Date: 27-Dec-2001
Publisher: Universidade Federal de Campina Grande
Citation: 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.
???metadata.dc.description.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.
Abstract: 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.
Keywords: 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
???metadata.dc.subject.cnpq???: Ciência da Computação
URI: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/10027
Appears in Collections:Mestrado em Ciência da Computação.

Files in This Item:
File Description SizeFormat 
KILLER COSTA GORGÔNIO - DISSERTAÇÃO (PPGCC) 2001.pdf1.23 MBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.