Transformação de modelos de diagrama de sequência uml contemplando restrições de tempo e energia para rede de petri temporal

Detalhes bibliográficos
Autor(a) principal: Andrade, Vinícius Camargo
Data de Publicação: 2013
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Institucional da UFPR
Texto Completo: https://hdl.handle.net/1884/30664
Resumo: Orientadora: Profa. Dra. Letícia Mara Peres
id UFPR_91119171f7a179b3bad5dd674346491e
oai_identifier_str oai:acervodigital.ufpr.br:1884/30664
network_acronym_str UFPR
network_name_str Repositório Institucional da UFPR
repository_id_str 308
spelling Andrade, Vinícius CamargoPeres, Leticia Mara, 1972-Universidade Federal do Paraná. Setor de Ciências Exatas. Programa de Pós-Graduação em Informática2021-06-07T17:04:26Z2021-06-07T17:04:26Z2013https://hdl.handle.net/1884/30664Orientadora: Profa. Dra. Letícia Mara PeresDissertação (mestrado) - Universidade Federal do Paraná, Setor de Ciências Exatas, Curso de Pós-Graduaçao em Informática. Defesa: Curitiba, 09/04/2013Bibliografia: fls. 62-67Resumo: Linguagem Unificada de Modelagem (UML) é amplamente adotada para o desenvolvimento de aplicações. Entretanto, ela não foi projetada com estrutura formal que permite sua aplicação direta na verificação de sistemas embarcados de tempo real. Uma abordagem para preencher essa lacuna _e transformar modelos UML em representações formais, como redes de Petri. No entanto, os trabalhos existentes não resolvem esta questão quando são utilizadas restrições de energia e de tempo. Este trabalho apresenta como novidade a transformação de diagramas de sequência UML com energia e tempo em modelos de rede de Petri temporal. Estes modelos de rede de Petri são então utilizados como entrada para a análise de tempo e do consumo de energia por ferramentas de verificação de software como Tina e GTT.Abstract: Unified Modeling Language (UML) is widely adopted for developing applications. However, it was not designed with formal structure suitable for verification of real-time embedded systems. An approach to fill this gap is to transform UML models into formal representations such as Petri nets. Yet, existing works do not address the issue when used both energy and time constraints. This paper presents as novelty a technique for transforming UML sequence diagrams with energy and time to Time Petri net models. These Petri net models are then used as input for the analysis of time and energy consumption by software verification tools like Tina and GTT.72f. : il. [algumas color.], grafs., tabs.application/pdfDisponível em formato digitalTesesRedes de petriSistemas embutidos de computadorCiência da ComputaçãoTransformação de modelos de diagrama de sequência uml contemplando restrições de tempo e energia para rede de petri temporalinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisporreponame:Repositório Institucional da UFPRinstname:Universidade Federal do Paraná (UFPR)instacron:UFPRinfo:eu-repo/semantics/openAccessORIGINALR - D - VINICIUS CAMARGO ANDRADE.pdfapplication/pdf2097051https://acervodigital.ufpr.br/bitstream/1884/30664/1/R%20-%20D%20-%20VINICIUS%20CAMARGO%20ANDRADE.pdfd7010bac2eabd343490d94633f548cd3MD51open accessTEXTR - D - VINICIUS CAMARGO ANDRADE.pdf.txtExtracted Texttext/plain103571https://acervodigital.ufpr.br/bitstream/1884/30664/2/R%20-%20D%20-%20VINICIUS%20CAMARGO%20ANDRADE.pdf.txt07b93a786bde3f12055495edb5e5d477MD52open accessTHUMBNAILR - D - VINICIUS CAMARGO ANDRADE.pdf.jpgGenerated Thumbnailimage/jpeg1174https://acervodigital.ufpr.br/bitstream/1884/30664/3/R%20-%20D%20-%20VINICIUS%20CAMARGO%20ANDRADE.pdf.jpg5c9d6e92ba3e52e20d25e68ec043bbd0MD53open access1884/306642021-06-07 14:04:27.062open accessoai:acervodigital.ufpr.br:1884/30664Repositório de PublicaçõesPUBhttp://acervodigital.ufpr.br/oai/requestopendoar:3082021-06-07T17:04:27Repositório Institucional da UFPR - Universidade Federal do Paraná (UFPR)false
dc.title.pt_BR.fl_str_mv Transformação de modelos de diagrama de sequência uml contemplando restrições de tempo e energia para rede de petri temporal
title Transformação de modelos de diagrama de sequência uml contemplando restrições de tempo e energia para rede de petri temporal
spellingShingle Transformação de modelos de diagrama de sequência uml contemplando restrições de tempo e energia para rede de petri temporal
Andrade, Vinícius Camargo
Teses
Redes de petri
Sistemas embutidos de computador
Ciência da Computação
title_short Transformação de modelos de diagrama de sequência uml contemplando restrições de tempo e energia para rede de petri temporal
title_full Transformação de modelos de diagrama de sequência uml contemplando restrições de tempo e energia para rede de petri temporal
title_fullStr Transformação de modelos de diagrama de sequência uml contemplando restrições de tempo e energia para rede de petri temporal
title_full_unstemmed Transformação de modelos de diagrama de sequência uml contemplando restrições de tempo e energia para rede de petri temporal
title_sort Transformação de modelos de diagrama de sequência uml contemplando restrições de tempo e energia para rede de petri temporal
author Andrade, Vinícius Camargo
author_facet Andrade, Vinícius Camargo
author_role author
dc.contributor.other.pt_BR.fl_str_mv Peres, Leticia Mara, 1972-
Universidade Federal do Paraná. Setor de Ciências Exatas. Programa de Pós-Graduação em Informática
dc.contributor.author.fl_str_mv Andrade, Vinícius Camargo
dc.subject.por.fl_str_mv Teses
Redes de petri
Sistemas embutidos de computador
Ciência da Computação
topic Teses
Redes de petri
Sistemas embutidos de computador
Ciência da Computação
description Orientadora: Profa. Dra. Letícia Mara Peres
publishDate 2013
dc.date.issued.fl_str_mv 2013
dc.date.accessioned.fl_str_mv 2021-06-07T17:04:26Z
dc.date.available.fl_str_mv 2021-06-07T17:04:26Z
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/1884/30664
url https://hdl.handle.net/1884/30664
dc.language.iso.fl_str_mv por
language por
dc.relation.pt_BR.fl_str_mv Disponível em formato digital
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv 72f. : il. [algumas color.], grafs., tabs.
application/pdf
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFPR
instname:Universidade Federal do Paraná (UFPR)
instacron:UFPR
instname_str Universidade Federal do Paraná (UFPR)
instacron_str UFPR
institution UFPR
reponame_str Repositório Institucional da UFPR
collection Repositório Institucional da UFPR
bitstream.url.fl_str_mv https://acervodigital.ufpr.br/bitstream/1884/30664/1/R%20-%20D%20-%20VINICIUS%20CAMARGO%20ANDRADE.pdf
https://acervodigital.ufpr.br/bitstream/1884/30664/2/R%20-%20D%20-%20VINICIUS%20CAMARGO%20ANDRADE.pdf.txt
https://acervodigital.ufpr.br/bitstream/1884/30664/3/R%20-%20D%20-%20VINICIUS%20CAMARGO%20ANDRADE.pdf.jpg
bitstream.checksum.fl_str_mv d7010bac2eabd343490d94633f548cd3
07b93a786bde3f12055495edb5e5d477
5c9d6e92ba3e52e20d25e68ec043bbd0
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UFPR - Universidade Federal do Paraná (UFPR)
repository.mail.fl_str_mv
_version_ 1801860651613683712

Registros relacionados