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

Registro completo de metadados
MetadadosDescriçãoIdioma
Autor(es): dc.contributorPeres, Leticia Mara-
Autor(es): dc.contributorUniversidade Federal do Paraná. Setor de Ciencias Exatas. Programa de Pós-Graduaçao em Informática-
Autor(es): dc.creatorAndrade, Vinícius Camargo-
Data de aceite: dc.date.accessioned2019-08-21T23:15:24Z-
Data de disponibilização: dc.date.available2019-08-21T23:15:24Z-
Data de envio: dc.date.issued2013-07-15-
Data de envio: dc.date.issued2013-07-15-
Data de envio: dc.date.issued2013-07-15-
Fonte completa do material: dc.identifierhttp://hdl.handle.net/1884/30664-
Fonte: dc.identifier.urihttp://educapes.capes.gov.br/handle/1884/30664-
Descrição: dc.descriptionResumo: 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.-
Formato: dc.formatapplication/pdf-
Formato: dc.formatapplication/pdf-
Palavras-chave: dc.subjectDissertações-
Palavras-chave: dc.subjectTeses-
Palavras-chave: dc.subjectRedes de petri-
Palavras-chave: dc.subjectSistemas embutidos de computador-
Título: dc.titleTransformação de modelos de diagrama de sequência uml contemplando restrições de tempo e energia para rede de petri temporal-
Tipo de arquivo: dc.typelivro digital-
Aparece nas coleções:Repositório Institucional - Rede Paraná Acervo

Não existem arquivos associados a este item.