---

Este trabalho apresenta uma nova abordagem para a modelagem da dinâmica de sistemas computacionais orientados a objetos. Ao invés de empregar diagramas de transi‡Æo de estados para descrever os modelos de estados de cada classe, como faz a UML, esta abordagem propäe o emprego de redes de Petri Predicado/Transi‡Æo. Analisando a intera‡Æo entre objetos de classes diferentes pode-se integrar as redes de Petri de cada classe a fim de obter-se uma única rede de Petri Predicado/Transi‡Æo que descreve o modelo de estados global para o sistema. A principal vantagem de se utilizar uma nota‡Æo formal para modelar a dinâmica de um sistema é a possibilidade de aplicar técnicas de análise formal com o intuito de validar propriedades do sistema.

---

Döll, Luciano
Dirige atualmente o Grupo Döll, um grupo de solu‡äes empresariais que atua nas áreas de tecnologia, educa‡Æo, imobiliária, administra‡Æo de condomínios e contabilidade. É professor de Empreendedorismo e Inova‡Æo no curso de Engenharia de Computa‡Æo da Universidade Estadual de Ponta Grossa. Atua como palestrante e docente em cursos de pós-gradua‡Æo.

---