CITI has stopped operations in 2014, to co-launch NOVA LINCS THIS SITE IS NOT BEING UPDATED SINCE 2013
citi banner
Home Page FCT/UNL UNL
  Home  \  Graduation Activities  \  Post-Graduation Page Login  
   
banner bottom
File Top
Derivation and Consistency Checking of Models in Early Software Product Line Engineering
Phd Post-Graduation
Abstract:

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. Keywords: Software Engineering, Software Product Line Engineering, Model-Driven Development, Domain-Specific Languages Engineering, Software Verification, Modelling.


Start Date: 2009-01-01

End Date: 2012-12-14




Post-Graduation Student / Researcher / Professor:

Post-Graduation Supervisor(s):

Post-Graduation Jury:
  • João Araújo
  • Luis Caires
  • Ademar Aguiar ( Faculdade de Engenharia da Universidade do Porto )
  • António Rito Silva ( Instituto Superior Técnico )
  • Jean Michel Bruel ( Universitet Pau )
  • Xavier Franch ( Universitat Politècnica de Catalunya )


Dissertation associated with this post-graduation:
File Bottom