Ferramenta para geração automatica de redes de Petri a partir da especificação de um sistema de software com caracteristicas tempo real

Detalhes bibliográficos
Autor(a) principal: Aguilera, Luiz Manoel
Data de Publicação: 1989
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
Texto Completo: https://hdl.handle.net/20.500.12733/1575772
Resumo: Orientadores : Marcio Luiz de Andrade Netto, Beatriz Mascia Daltrini
id UNICAMP-30_d2b074749765f649565685366c81f493
oai_identifier_str oai::35431
network_acronym_str UNICAMP-30
network_name_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository_id_str
spelling Ferramenta para geração automatica de redes de Petri a partir da especificação de um sistema de software com caracteristicas tempo realRedes de PetriSoftware - DesenvolvimentoOrientadores : Marcio Luiz de Andrade Netto, Beatriz Mascia DaltriniDissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia EletricaResumo: 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 ProjetadoMestradoMestre em Engenharia Elétrica[s.n.]Daltrini, Beatriz Mascia, 1947-Andrade Netto, Marcio Luiz de, 1947-2019Universidade Estadual de Campinas (UNICAMP). Faculdade de Engenharia ElétricaPrograma de Pós-Graduação em Engenharia ElétricaUNIVERSIDADE ESTADUAL DE CAMPINASAguilera, Luiz Manoel19891989-02-16T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdf246f. : il.https://hdl.handle.net/20.500.12733/1575772AGUILERA, Luiz Manoel. Ferramenta para geração automatica de redes de Petri a partir da especificação de um sistema de software com caracteristicas tempo real. 1989. 246f. Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1575772. Acesso em: 2 set. 2024.https://repositorio.unicamp.br/acervo/detalhe/35431porreponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)instname:Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMPinfo:eu-repo/semantics/openAccess2017-02-18T01:57:24Zoai::35431Biblioteca Digital de Teses e DissertaçõesPUBhttp://repositorio.unicamp.br/oai/tese/oai.aspsbubd@unicamp.bropendoar:2017-02-18T01:57:24Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)false
dc.title.none.fl_str_mv Ferramenta para geração automatica de redes de Petri a partir da especificação de um sistema de software com caracteristicas tempo real
title Ferramenta para geração automatica de redes de Petri a partir da especificação de um sistema de software com caracteristicas tempo real
spellingShingle Ferramenta para geração automatica de redes de Petri a partir da especificação de um sistema de software com caracteristicas tempo real
Aguilera, Luiz Manoel
Redes de Petri
Software - Desenvolvimento
title_short Ferramenta para geração automatica de redes de Petri a partir da especificação de um sistema de software com caracteristicas tempo real
title_full Ferramenta para geração automatica de redes de Petri a partir da especificação de um sistema de software com caracteristicas tempo real
title_fullStr Ferramenta para geração automatica de redes de Petri a partir da especificação de um sistema de software com caracteristicas tempo real
title_full_unstemmed Ferramenta para geração automatica de redes de Petri a partir da especificação de um sistema de software com caracteristicas tempo real
title_sort 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
author_facet Aguilera, Luiz Manoel
author_role author
dc.contributor.none.fl_str_mv Daltrini, Beatriz Mascia, 1947-
Andrade Netto, Marcio Luiz de, 1947-2019
Universidade Estadual de Campinas (UNICAMP). Faculdade de Engenharia Elétrica
Programa de Pós-Graduação em Engenharia Elétrica
UNIVERSIDADE ESTADUAL DE CAMPINAS
dc.contributor.author.fl_str_mv Aguilera, Luiz Manoel
dc.subject.por.fl_str_mv Redes de Petri
Software - Desenvolvimento
topic Redes de Petri
Software - Desenvolvimento
description Orientadores : Marcio Luiz de Andrade Netto, Beatriz Mascia Daltrini
publishDate 1989
dc.date.none.fl_str_mv 1989
1989-02-16T00:00:00Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://hdl.handle.net/20.500.12733/1575772
AGUILERA, Luiz Manoel. Ferramenta para geração automatica de redes de Petri a partir da especificação de um sistema de software com caracteristicas tempo real. 1989. 246f. Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1575772. Acesso em: 2 set. 2024.
url https://hdl.handle.net/20.500.12733/1575772
identifier_str_mv AGUILERA, Luiz Manoel. Ferramenta para geração automatica de redes de Petri a partir da especificação de um sistema de software com caracteristicas tempo real. 1989. 246f. Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1575772. Acesso em: 2 set. 2024.
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv https://repositorio.unicamp.br/acervo/detalhe/35431
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
246f. : il.
dc.publisher.none.fl_str_mv [s.n.]
publisher.none.fl_str_mv [s.n.]
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
instname:Universidade Estadual de Campinas (UNICAMP)
instacron:UNICAMP
instname_str Universidade Estadual de Campinas (UNICAMP)
instacron_str UNICAMP
institution UNICAMP
reponame_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
collection Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)
repository.mail.fl_str_mv sbubd@unicamp.br
_version_ 1809188711777173504

Registros relacionados