Modelagem de sistemas orientados a objetos usando Redes de Petri

ISBN-13: 9786139631186 / Portugalski / Miękka / 2018 / 128 str.

Luciano Döll

Opis

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.

O autorze

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.