FixOnto: um método para enriquecimento semântico e verificação de modelos de características em LPS sensível ao contexto

Detalhes bibliográficos
Autor(a) principal: Oliveira, Thalisson Alves
Data de Publicação: 2017
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Institucional da Universidade Federal do Ceará (UFC)
Texto Completo: http://www.repositorio.ufc.br/handle/riufc/33066
Resumo: Dynamic Software Product Lines (DSPL), designed to manage the variability of self-adaptive systems at runtime, can be employed to systematize and maximize reuse in context-aware applications development. To this end, there are also Context-aware Software Product Lines (CASPLs) which are focused exclusively on supporting context-awareness. Feature models are the main way to represent similarities and variabilities in traditional, context aware and dynamic SPL. CASPL, focus of this work, contains, for example, Mobile and Context-aware Feature Model (MCFM), which includes the feature model and the context model. Although these models are the main representation of knowledge about a domain in SPL, they have limitations of expressiveness. For instance, relevant domain aspects (such as a UML artifact that is associated with a context) are not described in the MCFM. In addition, these models may contain inconsistencies that lead to the derivation of invalid products. To solve these two problems, the goal of this work is to propose a method to add semantics to the MCFM and perform automatic verification of the correctness and consistency of these models. A tool is implemented to evaluate the method and it is performed a demonstration of its use with a CASPL called Mobiline. As a result, it is observed the possibility of verifying that the models are correct, considering the implemented rules, and that the use of ontologies in the process of semantic enrichment allows the realization of semantic searches as well as traceability of features, contexts and artifacts.
id UFC-7_4f893c97de8bac23b816d9f1e965f046
oai_identifier_str oai:repositorio.ufc.br:riufc/33066
network_acronym_str UFC-7
network_name_str Repositório Institucional da Universidade Federal do Ceará (UFC)
repository_id_str
spelling FixOnto: um método para enriquecimento semântico e verificação de modelos de características em LPS sensível ao contextoFixOnto: a tool for semantic enrichment and feature model verification for context-aware SPLLinhas de produto de softwareOntologiasSensibilidade ao contextoDynamic Software Product Lines (DSPL), designed to manage the variability of self-adaptive systems at runtime, can be employed to systematize and maximize reuse in context-aware applications development. To this end, there are also Context-aware Software Product Lines (CASPLs) which are focused exclusively on supporting context-awareness. Feature models are the main way to represent similarities and variabilities in traditional, context aware and dynamic SPL. CASPL, focus of this work, contains, for example, Mobile and Context-aware Feature Model (MCFM), which includes the feature model and the context model. Although these models are the main representation of knowledge about a domain in SPL, they have limitations of expressiveness. For instance, relevant domain aspects (such as a UML artifact that is associated with a context) are not described in the MCFM. In addition, these models may contain inconsistencies that lead to the derivation of invalid products. To solve these two problems, the goal of this work is to propose a method to add semantics to the MCFM and perform automatic verification of the correctness and consistency of these models. A tool is implemented to evaluate the method and it is performed a demonstration of its use with a CASPL called Mobiline. As a result, it is observed the possibility of verifying that the models are correct, considering the implemented rules, and that the use of ontologies in the process of semantic enrichment allows the realization of semantic searches as well as traceability of features, contexts and artifacts.Linhas de Produtos de Software Dinâmicas (LPSD), projetadas para gerenciar variabilidade de sistemas auto adaptáveis em tempo de execução, podem ser empregadas para sistematizar e maximizar o reuso no desenvolvimento de aplicações sensíveis ao contexto. Para esse fim, existem também as LPSSCs (Linhas de Produtos de Software Sensível ao Contexto), focadas exclusivamente no suporte à sensibilidade ao contexto. Modelos de características são a principal forma de representar as similaridades e variabilidades em LPS tradicional, sensível ao contexto e dinâmicas. Uma LPSSC, foco deste trabalho, contém, por exemplo, o MMSC (Modelo de Características Móvel e Sensível ao Contexto), que inclui o modelo de características e o modelo de contexto. Mesmo sendo a principal representação do conhecimento sobre um domínio em LPS, esses modelos apresentam limitações de expressividade. Por exemplo, aspectos de domínio relevantes (como um artefato UML que está associado a um contexto) não são descritos no MMSC. Além disso, os modelos podem conter inconsistências que levam à derivação de produtos inválidos. Para solucionar esses dois problemas, o objetivo deste trabalho é propor um método para adicionar semântica ao MMSC e realizar verificação automática da corretude e consistência desses modelos. Para avaliar o método é implementada uma ferramenta e realizado uma demonstração de seu uso com uma LPSSC chamada Mobiline. Como resultado foi observado que é possível verificar que os modelos estavam corretos, considerando as regras implementadas, e que o uso de ontologias no processo de enriquecimento semântico permite a realização de buscas semânticas e rastreabilidade de características, contextos e artefatos.Andrade, Rossana Maria de CastroCarvalho, Windson Viana deOliveira, Thalisson Alves2018-06-18T17:35:36Z2018-06-18T17:35:36Z2017info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfOLIVEIRA, Thalisson Alves. FixOnto: um método para enriquecimento semântico e verificação de modelos de características em LPS sensível ao contexto. 2017. 85 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal do Ceará, Fortaleza, 2017.http://www.repositorio.ufc.br/handle/riufc/33066porreponame:Repositório Institucional da Universidade Federal do Ceará (UFC)instname:Universidade Federal do Ceará (UFC)instacron:UFCinfo:eu-repo/semantics/openAccess2020-07-09T14:16:26Zoai:repositorio.ufc.br:riufc/33066Repositório InstitucionalPUBhttp://www.repositorio.ufc.br/ri-oai/requestbu@ufc.br || repositorio@ufc.bropendoar:2024-09-11T18:21:43.505854Repositório Institucional da Universidade Federal do Ceará (UFC) - Universidade Federal do Ceará (UFC)false
dc.title.none.fl_str_mv FixOnto: um método para enriquecimento semântico e verificação de modelos de características em LPS sensível ao contexto
FixOnto: a tool for semantic enrichment and feature model verification for context-aware SPL
title FixOnto: um método para enriquecimento semântico e verificação de modelos de características em LPS sensível ao contexto
spellingShingle FixOnto: um método para enriquecimento semântico e verificação de modelos de características em LPS sensível ao contexto
Oliveira, Thalisson Alves
Linhas de produto de software
Ontologias
Sensibilidade ao contexto
title_short FixOnto: um método para enriquecimento semântico e verificação de modelos de características em LPS sensível ao contexto
title_full FixOnto: um método para enriquecimento semântico e verificação de modelos de características em LPS sensível ao contexto
title_fullStr FixOnto: um método para enriquecimento semântico e verificação de modelos de características em LPS sensível ao contexto
title_full_unstemmed FixOnto: um método para enriquecimento semântico e verificação de modelos de características em LPS sensível ao contexto
title_sort FixOnto: um método para enriquecimento semântico e verificação de modelos de características em LPS sensível ao contexto
author Oliveira, Thalisson Alves
author_facet Oliveira, Thalisson Alves
author_role author
dc.contributor.none.fl_str_mv Andrade, Rossana Maria de Castro
Carvalho, Windson Viana de
dc.contributor.author.fl_str_mv Oliveira, Thalisson Alves
dc.subject.por.fl_str_mv Linhas de produto de software
Ontologias
Sensibilidade ao contexto
topic Linhas de produto de software
Ontologias
Sensibilidade ao contexto
description Dynamic Software Product Lines (DSPL), designed to manage the variability of self-adaptive systems at runtime, can be employed to systematize and maximize reuse in context-aware applications development. To this end, there are also Context-aware Software Product Lines (CASPLs) which are focused exclusively on supporting context-awareness. Feature models are the main way to represent similarities and variabilities in traditional, context aware and dynamic SPL. CASPL, focus of this work, contains, for example, Mobile and Context-aware Feature Model (MCFM), which includes the feature model and the context model. Although these models are the main representation of knowledge about a domain in SPL, they have limitations of expressiveness. For instance, relevant domain aspects (such as a UML artifact that is associated with a context) are not described in the MCFM. In addition, these models may contain inconsistencies that lead to the derivation of invalid products. To solve these two problems, the goal of this work is to propose a method to add semantics to the MCFM and perform automatic verification of the correctness and consistency of these models. A tool is implemented to evaluate the method and it is performed a demonstration of its use with a CASPL called Mobiline. As a result, it is observed the possibility of verifying that the models are correct, considering the implemented rules, and that the use of ontologies in the process of semantic enrichment allows the realization of semantic searches as well as traceability of features, contexts and artifacts.
publishDate 2017
dc.date.none.fl_str_mv 2017
2018-06-18T17:35:36Z
2018-06-18T17:35:36Z
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 OLIVEIRA, Thalisson Alves. FixOnto: um método para enriquecimento semântico e verificação de modelos de características em LPS sensível ao contexto. 2017. 85 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal do Ceará, Fortaleza, 2017.
http://www.repositorio.ufc.br/handle/riufc/33066
identifier_str_mv OLIVEIRA, Thalisson Alves. FixOnto: um método para enriquecimento semântico e verificação de modelos de características em LPS sensível ao contexto. 2017. 85 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal do Ceará, Fortaleza, 2017.
url http://www.repositorio.ufc.br/handle/riufc/33066
dc.language.iso.fl_str_mv por
language por
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 Institucional da Universidade Federal do Ceará (UFC)
instname:Universidade Federal do Ceará (UFC)
instacron:UFC
instname_str Universidade Federal do Ceará (UFC)
instacron_str UFC
institution UFC
reponame_str Repositório Institucional da Universidade Federal do Ceará (UFC)
collection Repositório Institucional da Universidade Federal do Ceará (UFC)
repository.name.fl_str_mv Repositório Institucional da Universidade Federal do Ceará (UFC) - Universidade Federal do Ceará (UFC)
repository.mail.fl_str_mv bu@ufc.br || repositorio@ufc.br
_version_ 1813028771681271808

Registros relacionados