Atenção:
O eduCAPES é um repositório de objetos educacionais, não sendo responsável por materiais de terceiros submetidos na plataforma. O usuário assume ampla e total responsabilidade quanto à originalidade, à titularidade e ao conteúdo, citações de obras consultadas, referências e outros elementos que fazem parte do material que deseja submeter. Recomendamos que se reporte diretamente ao(s) autor(es), indicando qual parte do material foi considerada imprópria (cite página e parágrafo) e justificando sua denúncia.
Caso seja o autor original de algum material publicado indevidamente ou sem autorização, será necessário que se identifique informando nome completo, CPF e data de nascimento. Caso possua uma decisão judicial para retirada do material, solicitamos que informe o link de acesso ao documento, bem como quaisquer dados necessários ao acesso, no campo abaixo.
Todas as denúncias são sigilosas e sua identidade será preservada. Os campos nome e e-mail são de preenchimento opcional. Porém, ao deixar de informar seu e-mail, um possível retorno será inviabilizado e/ou sua denúncia poderá ser desconsiderada no caso de necessitar de informações complementares.
Metadados | Descrição | Idioma |
---|---|---|
Autor(es): dc.contributor | Peres, Leticia Mara, 1972- | - |
Autor(es): dc.contributor | Universidade Federal do Paraná. Setor de Ciências Exatas. Programa de Pós-Graduação em Informática | - |
Autor(es): dc.creator | Andrade, Vinícius Camargo | - |
Data de aceite: dc.date.accessioned | 2025-09-01T11:54:15Z | - |
Data de disponibilização: dc.date.available | 2025-09-01T11:54:15Z | - |
Data de envio: dc.date.issued | 2024-11-10 | - |
Data de envio: dc.date.issued | 2024-11-10 | - |
Data de envio: dc.date.issued | 2013 | - |
Fonte completa do material: dc.identifier | https://hdl.handle.net/1884/30664 | - |
Fonte: dc.identifier.uri | http://educapes.capes.gov.br/handle/1884/30664 | - |
Descrição: dc.description | Orientadora: Profa. Dra. Letícia Mara Peres | - |
Descrição: dc.description | Dissertação (mestrado) - Universidade Federal do Paraná, Setor de Ciências Exatas, Curso de Pós-Graduação em Informática. Defesa: Curitiba, 09/04/2013 | - |
Descrição: dc.description | Bibliografia: fls. 62-67 | - |
Descrição: dc.description | Resumo: 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. | - |
Descrição: dc.description | 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. | - |
Formato: dc.format | 72f. : il. [algumas color.], grafs., tabs. | - |
Formato: dc.format | application/pdf | - |
Formato: dc.format | application/pdf | - |
Relação: dc.relation | Disponível em formato digital | - |
Palavras-chave: dc.subject | Redes de petri | - |
Palavras-chave: dc.subject | Sistemas embutidos de computador | - |
Palavras-chave: dc.subject | Ciência da Computação | - |
Título: dc.title | Transformaçã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.type | livro digital | - |
Aparece nas coleções: | Repositório Institucional - Rede Paraná Acervo |
O Portal eduCAPES é oferecido ao usuário, condicionado à aceitação dos termos, condições e avisos contidos aqui e sem modificações. A CAPES poderá modificar o conteúdo ou formato deste site ou acabar com a sua operação ou suas ferramentas a seu critério único e sem aviso prévio. Ao acessar este portal, você, usuário pessoa física ou jurídica, se declara compreender e aceitar as condições aqui estabelecidas, da seguinte forma: