Luciano Döll

Modelagem de sistemas orientados a objetos usando Redes de Petri

Metodologia para a Modelagem da Dinâmica de Sistemas Orientados a Objetos

• Broschiertes Buch

Produktbeschreibung

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.

Produktdetails

• Verlag: Novas Edicioes Academicas
• Seitenzahl: 128
• Erscheinungstermin: 15. Juni 2018
• Portugiesisch
• Abmessung: 220mm x 150mm x 8mm
• Gewicht: 209g
• ISBN-13: 9786139631186
• ISBN-10: 6139631181
• Artikelnr.: 53182061

Autorenporträt

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.