Utilize este identificador para referenciar este registo:
http://hdl.handle.net/10362/9370
Título: | Derivation and consistency checking of models in early software product line engineering |
Autor: | Salinas, Edward Mauricio Alferez |
Orientador: | Moreira, Ana Amaral, Vasco |
Palavras-chave: | Software engineering Software product line engineering Model-driven development Domain-specific languages engineering Software verification Modelling |
Data de Defesa: | 2012 |
Editora: | Faculdade de Ciências e Tecnologia |
Resumo: | Software 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. |
Descrição: | Dissertação para obtenção do Grau de Doutor em Engenharia Informática |
URI: | http://hdl.handle.net/10362/9370 |
Aparece nas colecções: | FCT: DI - Teses de Doutoramento |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
Salinas_2012.pdf | 7,85 MB | Adobe PDF | Ver/Abrir |
Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.