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. Disponível em: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/10027 |
| ???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 | Size | Format | |
|---|---|---|---|---|
| KILLER COSTA GORGÔNIO - DISSERTAÇÃO (PPGCC) 2001.pdf | Killer Costa Gorgônio - Dissertação (PPGCC) 2001. | 1.11 MB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.