Verificação de Refinamento em Diagramas de Sequência com Estruturas de Controle

Detalhes bibliográficos
Autor(a) principal: Araújo, Daniel José Freire de
Data de Publicação: 2019
Tipo de documento: Trabalho de conclusão de curso
Idioma: por
Título da fonte: Repositório institucional da Universidade Federal Rural de Pernambuco (UFRPE) (RI-UFRPE)
Texto Completo: https://repository.ufrpe.br/handle/123456789/1858
Resumo: A linguagem UML oferece diversos tipos de diagramas para modelagem de sistemas,entre os principais diagramas comportamentais está o diagrama de sequência. O diagrama de sequência pode ser utilizado para modelar casos de uso de sistemas deforma simples e visual. Contudo, a linguagem UML como um todo apresenta modelos informais que possuem verificações baseadas em experiência humana. Este trabalho é a continuação de um linha de pesquisa que tem o objetivo de formalizar diagramas de sequência UML e realizar verificações de refinamento entre diagramas. Aqui é proposta a versão inicial de uma ferramenta capaz de traduzir diagramas de sequência UML para uma especificação formal CSP e realizar a verificação de refinamentos através do verificador FDR4. O ponto diferencial deste trabalho é o processo de formalização de fragmentos combinados que representam estruturas de controle no contexto de diagramas de sequência, aqui serão abordados os fragmentos option, alternative, parallel e loop.
id UFRPE_c07851d031fff0e86c5136596cd0828c
oai_identifier_str oai:dspace:123456789/1858
network_acronym_str UFRPE
network_name_str Repositório institucional da Universidade Federal Rural de Pernambuco (UFRPE) (RI-UFRPE)
repository_id_str https://v2.sherpa.ac.uk/id/repository/10612
spelling Verificação de Refinamento em Diagramas de Sequência com Estruturas de ControleLinguagem de programação (Computadores)Software - DesenvolvimentoA linguagem UML oferece diversos tipos de diagramas para modelagem de sistemas,entre os principais diagramas comportamentais está o diagrama de sequência. O diagrama de sequência pode ser utilizado para modelar casos de uso de sistemas deforma simples e visual. Contudo, a linguagem UML como um todo apresenta modelos informais que possuem verificações baseadas em experiência humana. Este trabalho é a continuação de um linha de pesquisa que tem o objetivo de formalizar diagramas de sequência UML e realizar verificações de refinamento entre diagramas. Aqui é proposta a versão inicial de uma ferramenta capaz de traduzir diagramas de sequência UML para uma especificação formal CSP e realizar a verificação de refinamentos através do verificador FDR4. O ponto diferencial deste trabalho é o processo de formalização de fragmentos combinados que representam estruturas de controle no contexto de diagramas de sequência, aqui serão abordados os fragmentos option, alternative, parallel e loop.The UML language offers several types of diagrams for system modeling, among themain behavioral diagrams is the sequence diagram. The sequence diagram can beused to model system use cases simply and visually. However, the UML language asa whole presents informal models that can only be verified by human experience. Thispaper refers to the continuation of a research line that aims to formalize UML sequence diagrams and perform refinement checks between diagrams.Here we propose aninitial version of a tool capable of translating UML sequence diagrams into CSP and perform-ing a refinement check using the FDR4 verifier. The differential point of this work isthe process of formalization of combined fragments that represent control structures insequence diagrams, here we will cover fragments such asoption,alternative, paralleland loop.BrasilLima, Lucas Albertins dehttp://lattes.cnpq.br/5219541109924367http://lattes.cnpq.br/0465071050875729Araújo, Daniel José Freire de2020-01-29T13:26:23Z2020-01-29T13:26:23Z2019info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/bachelorThesis69 f.application/pdfARAÚJO, Daniel José Freire de. Verificação de Refinamento em Diagramas de Sequência com Estruturas de Controle. 2019. 69 f. Trabalho de Conclusão de Curso (Bacharelado em Ciência da Computação) - Departamento de Computação, Universidade Federal Rural de Pernambuco, Recife, 2019.https://repository.ufrpe.br/handle/123456789/1858porAtribuição-NãoComercial-CompartilhaIgual 4.0 Internacional (CC BY-NC-SA 4.0)https://creativecommons.org/licenses/by-nc-sa/4.0/deed.pt_BRopenAccessinfo:eu-repo/semantics/openAccessreponame:Repositório institucional da Universidade Federal Rural de Pernambuco (UFRPE) (RI-UFRPE)instname:Universidade Federal Rural de Pernambuco (UFRPE)instacron:UFRPE2020-01-29T13:26:24Zoai:dspace:123456789/1858Repositório InstitucionalPUBhttps://repository.ufrpe.br/oai/requestrepositorio.sib@ufrpe.bropendoar:https://v2.sherpa.ac.uk/id/repository/106122020-01-29T13:26:24Repositório institucional da Universidade Federal Rural de Pernambuco (UFRPE) (RI-UFRPE) - Universidade Federal Rural de Pernambuco (UFRPE)false
dc.title.none.fl_str_mv Verificação de Refinamento em Diagramas de Sequência com Estruturas de Controle
title Verificação de Refinamento em Diagramas de Sequência com Estruturas de Controle
spellingShingle Verificação de Refinamento em Diagramas de Sequência com Estruturas de Controle
Araújo, Daniel José Freire de
Linguagem de programação (Computadores)
Software - Desenvolvimento
title_short Verificação de Refinamento em Diagramas de Sequência com Estruturas de Controle
title_full Verificação de Refinamento em Diagramas de Sequência com Estruturas de Controle
title_fullStr Verificação de Refinamento em Diagramas de Sequência com Estruturas de Controle
title_full_unstemmed Verificação de Refinamento em Diagramas de Sequência com Estruturas de Controle
title_sort Verificação de Refinamento em Diagramas de Sequência com Estruturas de Controle
author Araújo, Daniel José Freire de
author_facet Araújo, Daniel José Freire de
author_role author
dc.contributor.none.fl_str_mv Lima, Lucas Albertins de
http://lattes.cnpq.br/5219541109924367
http://lattes.cnpq.br/0465071050875729
dc.contributor.author.fl_str_mv Araújo, Daniel José Freire de
dc.subject.por.fl_str_mv Linguagem de programação (Computadores)
Software - Desenvolvimento
topic Linguagem de programação (Computadores)
Software - Desenvolvimento
description A linguagem UML oferece diversos tipos de diagramas para modelagem de sistemas,entre os principais diagramas comportamentais está o diagrama de sequência. O diagrama de sequência pode ser utilizado para modelar casos de uso de sistemas deforma simples e visual. Contudo, a linguagem UML como um todo apresenta modelos informais que possuem verificações baseadas em experiência humana. Este trabalho é a continuação de um linha de pesquisa que tem o objetivo de formalizar diagramas de sequência UML e realizar verificações de refinamento entre diagramas. Aqui é proposta a versão inicial de uma ferramenta capaz de traduzir diagramas de sequência UML para uma especificação formal CSP e realizar a verificação de refinamentos através do verificador FDR4. O ponto diferencial deste trabalho é o processo de formalização de fragmentos combinados que representam estruturas de controle no contexto de diagramas de sequência, aqui serão abordados os fragmentos option, alternative, parallel e loop.
publishDate 2019
dc.date.none.fl_str_mv 2019
2020-01-29T13:26:23Z
2020-01-29T13:26:23Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/bachelorThesis
format bachelorThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv ARAÚJO, Daniel José Freire de. Verificação de Refinamento em Diagramas de Sequência com Estruturas de Controle. 2019. 69 f. Trabalho de Conclusão de Curso (Bacharelado em Ciência da Computação) - Departamento de Computação, Universidade Federal Rural de Pernambuco, Recife, 2019.
https://repository.ufrpe.br/handle/123456789/1858
identifier_str_mv ARAÚJO, Daniel José Freire de. Verificação de Refinamento em Diagramas de Sequência com Estruturas de Controle. 2019. 69 f. Trabalho de Conclusão de Curso (Bacharelado em Ciência da Computação) - Departamento de Computação, Universidade Federal Rural de Pernambuco, Recife, 2019.
url https://repository.ufrpe.br/handle/123456789/1858
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv Atribuição-NãoComercial-CompartilhaIgual 4.0 Internacional (CC BY-NC-SA 4.0)
https://creativecommons.org/licenses/by-nc-sa/4.0/deed.pt_BR
openAccess
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Atribuição-NãoComercial-CompartilhaIgual 4.0 Internacional (CC BY-NC-SA 4.0)
https://creativecommons.org/licenses/by-nc-sa/4.0/deed.pt_BR
openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv 69 f.
application/pdf
dc.publisher.none.fl_str_mv Brasil
publisher.none.fl_str_mv Brasil
dc.source.none.fl_str_mv reponame:Repositório institucional da Universidade Federal Rural de Pernambuco (UFRPE) (RI-UFRPE)
instname:Universidade Federal Rural de Pernambuco (UFRPE)
instacron:UFRPE
instname_str Universidade Federal Rural de Pernambuco (UFRPE)
instacron_str UFRPE
institution UFRPE
reponame_str Repositório institucional da Universidade Federal Rural de Pernambuco (UFRPE) (RI-UFRPE)
collection Repositório institucional da Universidade Federal Rural de Pernambuco (UFRPE) (RI-UFRPE)
repository.name.fl_str_mv Repositório institucional da Universidade Federal Rural de Pernambuco (UFRPE) (RI-UFRPE) - Universidade Federal Rural de Pernambuco (UFRPE)
repository.mail.fl_str_mv repositorio.sib@ufrpe.br
_version_ 1809277154120171520

Registros relacionados