Sistemas de redes de petri modulares baseados em objetos.
| Ano de defesa: | 1997 |
|---|---|
| Autor(a) principal: | |
| Orientador(a): | |
| Banca de defesa: | |
| 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
|
| Link de acesso: | http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/3712 |
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. |