Derivation and consistency checking of models in early software product line engineering

Bibliographic Details
Main Author: Salinas, Edward Mauricio Alferez
Publication Date: 2012
Language: eng
Source: Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
Download full: http://hdl.handle.net/10362/9370
Summary: Dissertação para obtenção do Grau de Doutor em Engenharia Informática
id RCAP_d179e155fa5c4bbed7919b3341ca8399
oai_identifier_str oai:run.unl.pt:10362/9370
network_acronym_str RCAP
network_name_str Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
repository_id_str https://opendoar.ac.uk/repository/7160
spelling Derivation and consistency checking of models in early software product line engineeringSoftware engineeringSoftware product line engineeringModel-driven developmentDomain-specific languages engineeringSoftware verificationModellingDissertação para obtenção do Grau de Doutor em Engenharia InformáticaSoftware Product Line Engineering (SPLE) should offer the ability to express the derivation of product-specific assets, while checking for their consistency. The derivation of product-specific assets is possible using general-purpose programming languages in combination with techniques such as conditional compilation and code generation. On the other hand, consistency checking can be achieved through consistency rules in the form of architectural and design guidelines, programming conventions and well-formedness rules. Current approaches present four shortcomings: (1) focus on code derivation only, (2) ignore consistency problems between the variability model and other complementary specification models used in early SPLE, (3) force developers to learn new, difficult to master, languages to encode the derivation of assets, and (4) offer no tool support. This dissertation presents solutions that contribute to tackle these four shortcomings. These solutions are integrated in the approach Derivation and Consistency Checking of models in early SPLE (DCC4SPL) and its corresponding tool support. The two main components of our approach are the Variability Modelling Language for Requirements(VML4RE), a domain-specific language and derivation infrastructure, and the Variability Consistency Checker (VCC), a verification technique and tool. We validate DCC4SPL demonstrating that it is appropriate to find inconsistencies in early SPL model-based specifications and to specify the derivation of product-specific models.European Project AMPLE, contract IST-33710; Fundação para a Ciência e Tecnologia - SFRH/BD/46194/2008.Faculdade de Ciências e TecnologiaMoreira, AnaAmaral, VascoRUNSalinas, Edward Mauricio Alferez20122012-01-01T00:00:00Zdoctoral thesisinfo:eu-repo/semantics/publishedVersionapplication/pdfhttp://hdl.handle.net/10362/9370TID:101307225enginfo:eu-repo/semantics/openAccessreponame:Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)instname:FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologiainstacron:RCAAP2024-05-22T17:13:02Zoai:run.unl.pt:10362/9370Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireinfo@rcaap.ptopendoar:https://opendoar.ac.uk/repository/71602025-05-28T16:43:42.597390Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) - FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologiafalse
dc.title.none.fl_str_mv Derivation and consistency checking of models in early software product line engineering
title Derivation and consistency checking of models in early software product line engineering
spellingShingle Derivation and consistency checking of models in early software product line engineering
Salinas, Edward Mauricio Alferez
Software engineering
Software product line engineering
Model-driven development
Domain-specific languages engineering
Software verification
Modelling
title_short Derivation and consistency checking of models in early software product line engineering
title_full Derivation and consistency checking of models in early software product line engineering
title_fullStr Derivation and consistency checking of models in early software product line engineering
title_full_unstemmed Derivation and consistency checking of models in early software product line engineering
title_sort Derivation and consistency checking of models in early software product line engineering
author Salinas, Edward Mauricio Alferez
author_facet Salinas, Edward Mauricio Alferez
author_role author
dc.contributor.none.fl_str_mv Moreira, Ana
Amaral, Vasco
RUN
dc.contributor.author.fl_str_mv Salinas, Edward Mauricio Alferez
dc.subject.por.fl_str_mv Software engineering
Software product line engineering
Model-driven development
Domain-specific languages engineering
Software verification
Modelling
topic Software engineering
Software product line engineering
Model-driven development
Domain-specific languages engineering
Software verification
Modelling
description Dissertação para obtenção do Grau de Doutor em Engenharia Informática
publishDate 2012
dc.date.none.fl_str_mv 2012
2012-01-01T00:00:00Z
dc.type.driver.fl_str_mv doctoral thesis
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/10362/9370
TID:101307225
url http://hdl.handle.net/10362/9370
identifier_str_mv TID:101307225
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.publisher.none.fl_str_mv Faculdade de Ciências e Tecnologia
publisher.none.fl_str_mv Faculdade de Ciências e Tecnologia
dc.source.none.fl_str_mv reponame:Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
instname:FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
instacron:RCAAP
instname_str FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
instacron_str RCAAP
institution RCAAP
reponame_str Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
collection Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
repository.name.fl_str_mv Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) - FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
repository.mail.fl_str_mv info@rcaap.pt
_version_ 1833596149577023488

Similar Items