Please use this identifier to cite or link to this item: http://repositorio.unicamp.br/jspui/handle/REPOSIP/261524
Type: TESE
Title: Ferramenta para geração automatica de redes de Petri a partir da especificação de um sistema de software com caracteristicas tempo real
Author: Aguilera, Luiz Manoel
Advisor: Daltrini, Beatriz Mascia, 1947-
Netto, Marcio Luiz de Andrade
Abstract: Resumo: O conteúdo deste trabalho aborda a geração automática de Redes de Petri a partir da Especificação de um Sistema de Software com Características Tempo Real, utilizando ambiente de programação Prolog. A especificação do sistema é feita através de duas interfaces: "Interface de Especificação de Sistemas" que reúne um conjunto de conceitos cujo objetivo é especificar, decompor e inter-relacionar diferentes objetos de projeto e "Interface de Especificação da Dinâmica de Sistemas" cujo objetivo é especificar, interpretar e descrever as condições de simulação de algumas das características dinâmicas de um Sistema de Software Tempo Real. O modelo em Rede de Petri gerado automaticamente é traduzido em arquivos atendendo aos padrões de entrada de dados de um Analisador de Redes de Petri desenvolvido na USP/SP e um Simulador de Redes de Petri desenvolvido no LAAS/Toulouse/França; cujo objetivo é validar nas etapas iniciais do ciclo de vida, as especificações do Sistema de Software com Características Tempo Real Projetado
Subject: Redes de petri
Software - Desenvolvimento
Language: Português
Editor: [s.n.]
Date Issue: 1989
Appears in Collections:FEEC - Tese e Dissertação

Files in This Item:
File SizeFormat 
Aguilera_LuizManoel_M.pdf8.7 MBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.