Modélisation orientée-aspects de systèmes de ligne de produits par des cas d'utilisations

The design of a Software Product Line (SPL) is based on the identification of common and variable parts of the members of the line. The common parts (commonalities) are a basis on which variable parts (variabilities) are grafted to derive specific products. This paper discusses requirements modeling of SPL systems. Variabilities and commonalities need to be identified, composed and verified early in the development life cycle. We propose extending the use-case model with a relation called «variability». This relationship is a specialization of a relationship introduced for aspect-oriented modeling of use cases. A composition mechanism allows the derivation of executable behavior models for each member of a SPL by integrating common elements with variable elements.