Please use this identifier to cite or link to this item:
http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/3712| Title: | Sistemas de redes de petri modulares baseados em objetos. |
| Other Titles: | Object-based modular petri net systems. |
| ???metadata.dc.creator???: | GUERRERO, Dalton Dario Serey. |
| ???metadata.dc.contributor.advisor1???: | FIGUEIREDO, Jorge César Abrantes de . PERKUSICH, Angelo. |
| ???metadata.dc.contributor.referee1???: | PERKUSICH, Angelo. |
| ???metadata.dc.contributor.referee2???: | SILVA, José Reinaldo da. |
| ???metadata.dc.contributor.referee3???: | LIMA, Antonio Marcus Nogueira. |
| ???metadata.dc.contributor.referee4???: | DOMINGUEZ, Arturo Hernandez. |
| Issue Date: | 7-Mar-1997 |
| Publisher: | Universidade Federal de Campina Grande |
| Citation: | GUERRERO, Dalton Dario Serey. Sistemas de redes de petri modulares baseados em objetos. 1997. 103f. (Dissertação de Mestrado em Ciência da Computação) Programa de 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, 1997. Disponível em: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/3712 |
| ???metadata.dc.description.resumo???: | Neste trabalho expomos um modelo formal de descrição, especificação, e modelagem de sistemas complexos de software, baseado em redes de Petri e orientação a objetos. O trabalho é impulsionado pela crescente necessidade de ferramentas com embasamento matemático para o efetivo estabelecimento de uma disciplina de Engenharia de Software. As definições são desenvolvidas de forma gradual de maneira a incluir umaa- uma as características desejáveis no modelo. Duas aplicações da ferramenta desenvolvida são discutidas como elementos de experimentação e validação do modelo. Permitem, ainda, a detecção de eventuais problemas e/ou efeitos inesperados causados pelo formalismo desenvolvido, abrindo inúmeras possibilidades de estudos futuros para o pleno desenvolvimento da ferramenta. |
| Abstract: | In this work, we introduce a tool which allows the formal description, specification and modeling of complex software systems based on Petri Nets Theory and Object Orientation. Our work is motivated by the growing necessity of mathematical based tools in order to establish an effective Software Engineering Discipline. All definitions related to the tool, are presented through a gradual approach which allows the inclusion of the desired features in a one-per-one basis. Two applications of this tool are discussed with the objective of experimentation and validation. The applicattions, also allow the detection of eventual mistakes and/or unexpected effects caused by the underlying formalism. Thus, opening several research possibilities in order to develop and refine the introduced tool. |
| URI: | http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/3712 |
| Appears in Collections: | Mestrado em Ciência da Computação. |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| DALTON DARIO SEREY GUERRERO - DISSERTAÇÃO PPGCC 1997.pdf | Dalton Dario Serey Guerrero Dissertação - PPGCC 1997 | 5.87 MB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.