Modélisation orientée-aspects de systèmes de ligne de produits par des cas d'utilisations
La conception d'une ligne de produits logiciels (LPL) repose sur l'identification de parties communes et de parties variables des membres de la ligne. Les parties communes forment une base pour tous les produits de la ligne à laquelle sont greffées des variabilités. Cet article traite du problème de la modélisation des exigences de systèmes de LPL. Il est nécessaire de pouvoir identifier au plus tôt les variabilités et points communs, de les composer et d'en vérifier l'interaction. Nous proposons l'extension du modèle de cas d'utilisations par l'introduction d'une relation « variabilité ». Cette relation est dérivée d'une relation permettant la modélisation de préoccupations transversales de modèles de cas d'utilisations par l'approche orientée-aspects. Un mécanisme de composition de variabilités permet la dérivation de modèles de comportement exécutables pour chaque membre d'une famille de ligne de produits en intégrant des éléments communs avec les éléments variables.
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.
S.SOMÉ, P.ANTHONYSAMY
cas d'utilisations, lignes de produits logiciels, commonalités, variabilités, réseaux de Petri, validation.
use cases, software product lines, commonalities, variabilities, petri nets, validation.
Français
|