Systematic method for UML model to model transformation: development and verification in alloy

Detalhes bibliográficos
Autor(a) principal: Azevedo, Rui Filipe Pereira de
Data de Publicação: 2012
Tipo de documento: Dissertação
Idioma: eng
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: https://hdl.handle.net/1822/28076
Resumo: Dissertação de mestrado em Engenharia Informática
id RCAP_29f7b2d2bcf72899034e75dd9ff11201
oai_identifier_str oai:repositorium.sdum.uminho.pt:1822/28076
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str 7160
spelling Systematic method for UML model to model transformation: development and verification in alloy681.3.062Dissertação de mestrado em Engenharia InformáticaThe Unified Modeling Language (UML) is nowadays the industry standard notation for modelling software systems using an object-oriented approach. The Object Management Group (OMG) manages this standardization. UML combines several modelling techniques and its models have visual representations through UML diagrams. Despite being widely accepted, used and also recommended by software development processes like Rational Unified Process (RUP) and Agile, two major UML weaknesses are recognized by the overall software community: it is a notation with no underlying method; it is only semi-formal. Trying to narrow this gap, this work presents a method for the systematic transformation of UML models. Furthermore, and tackling another vulnerability of UML, its informality, we also propose a verification mechanism for checking the correctness of said transformations using the Alloy formal modelling notation. The proposed diagram transformation method follows the RUP use case orientation and encompasses three UML diagrams: use case, sequence, and interaction overview diagrams. We have developed the action step and action block constructs, which will be the basis for a more precise and standardized structure for the textual specification of use cases. Using these constructs, and without loss of expressive power, a canonical form for use cases was devised which will be the source and the anchor for the other steps of the systematic transformation method. Starting from the use cases already in the canonical form, we have created a set of steps and rules that will conduct the transformation of these use cases into sequence and interaction overview diagrams in a systematic way. With Alloy, we are able to assess the diagrams’ well-formedness and verify the correction of the transformations.A Unified Modeling Language (UML) é hoje em dia a notação standard da indústria para a modelação de sistemas de software usando uma abordagem orientada aos objectos. O Object Management Group (OMG) gere esta standardização. A UML combina várias técnicas de modelação e os seus modelos têm representações visuais através de diagramas. Apesar de ser amplamente aceite, usada e também recomendada por processos de software como o Rational Unified Process (RUP) e Agile, duas fragilidades são reconhecidas à UML pela comunidade de software em geral: é uma notação sem método subjacente; é apenas semi-formal. Tentando estreitar esta lacuna, este trabalho apresenta um método para a transformação sistemática de modelos UML. Para além disso, e abordando outra vulnerabilidade da UML, a informalidade, propomos também um mecanismo de verificação da correcção das referidas transformações usando a notação de modelação formal Alloy. O método de transformação de diagramas proposto segue a orientação aos casos de uso do RUP e abarca três diagramas UML: diagramas de casos de uso, de sequência, e de supervisão de interação. Desenvolvemos as construções passos de ação e blocos de ações, as quais serão a base para uma estrutura mais precisa e standardizada das especificações dos casos de uso. Usando estas construções, e sem perda de poder expressivo, foi concebida uma forma canónica para os casos de uso que será a origem e a âncora para os outros passos do método sistemático de transfomação. Partindo dos casos de uso já na forma canónica, criamos um conjunto de passos e regras que conduzirão a transformação destes casos de uso para diagramas de sequência e de supervisão de interação de um modo sistemático. Através do Alloy, somos capazes de aferir a boa-formação dos diagramas e verificar a correção das transformações.Martins, F. MárioUniversidade do MinhoAzevedo, Rui Filipe Pereira de2012-06-142012-06-14T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttps://hdl.handle.net/1822/28076enginfo:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2023-07-21T12:40:24Zoai:repositorium.sdum.uminho.pt:1822/28076Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T19:37:12.050938Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse
dc.title.none.fl_str_mv Systematic method for UML model to model transformation: development and verification in alloy
title Systematic method for UML model to model transformation: development and verification in alloy
spellingShingle Systematic method for UML model to model transformation: development and verification in alloy
Azevedo, Rui Filipe Pereira de
681.3.062
title_short Systematic method for UML model to model transformation: development and verification in alloy
title_full Systematic method for UML model to model transformation: development and verification in alloy
title_fullStr Systematic method for UML model to model transformation: development and verification in alloy
title_full_unstemmed Systematic method for UML model to model transformation: development and verification in alloy
title_sort Systematic method for UML model to model transformation: development and verification in alloy
author Azevedo, Rui Filipe Pereira de
author_facet Azevedo, Rui Filipe Pereira de
author_role author
dc.contributor.none.fl_str_mv Martins, F. Mário
Universidade do Minho
dc.contributor.author.fl_str_mv Azevedo, Rui Filipe Pereira de
dc.subject.por.fl_str_mv 681.3.062
topic 681.3.062
description Dissertação de mestrado em Engenharia Informática
publishDate 2012
dc.date.none.fl_str_mv 2012-06-14
2012-06-14T00: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/1822/28076
url https://hdl.handle.net/1822/28076
dc.language.iso.fl_str_mv eng
language eng
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron:RCAAP
instname_str Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron_str RCAAP
institution RCAAP
reponame_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
collection Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository.name.fl_str_mv Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
repository.mail.fl_str_mv
_version_ 1799132904775745536

Registros relacionados