Les modèles orientés buts permettent d'obtenir, de spécifier, d'analyser et de valider des exigences parce qu'ils décrivent les représentations hiérarchiques des exigences système, des solutions possibles, des objectifs des parties prenantes et leurs relations. Lors de la phase initiale des exigences, les modèles orientés buts aident les ingénieurs en exigences à comprendre les buts des parties prenantes et à explorer des solutions alternatives en fonction de leur impact sur ces buts. Malgré ces avantages de la modélisation orientée buts, la réutilisation des modèles de buts a reçu peu d'attention dans la communauté de modélisation de buts pour diverses raisons. Nous soutenons que les exigences minimales à satisfaire pour la réutilisation des modèles de buts sont les suivantes: (i) assurer que l'analyse de compromis via l'évaluation du modèle orienté buts soit possible via la hiérarchie de réutilisation, (ii) fournir les moyens de reporter les décisions à un point ultérieur de la hiérarchie de réutilisation lorsque des informations plus complètes sont disponibles, tout en permettant à l'artefact réutilisable d'être analysé; (iii) tenir compte des contraintes imposées par d'autres notations de modélisation lors de l'évaluation de modèles orientés buts réutilisables; (iv) permettre à l'information dépendante du contexte d'être modélisée de manière à ce que le modèle orienté buts puisse être utilisé et analysé dans divers contextes d'application; et (v) enfin et surtout, offrir une interface bien définie pour la réutilisation. Cette thèse soutient que les approches de modélisation orientée buts existantes ne répondent pas entièrement à ces cinq capacités requises pour la réutilisabilité. Pour résoudre ce problème, cette thèse présente de nouveaux mécanismes d'évaluation de modèles orientés buts pour les évaluations ascendante et descendante basées sur un algorithme récursif paresseux. Ces nouveaux mécanismes permettent la conception, la modularisation, l'évaluation et l'analyse de modèles orientés buts réutilisables dans les hiérarchies de réutilisation en présence de contraintes externes prenant en compte les décisions différées et les informations contextuelles. Les extensions de métamodèle requises sont discutées et les outils de support démontrent la faisabilité de l'approche.

Goal models help elicit, specify, analyze, and validate requirements as they capture hierarchical representations of system requirements, possible solutions, stakeholder objectives, and their relationships. In the early requirements phase, goal models aid requirements engineers in understanding the goals of stakeholders and exploring solution alternatives based on their impact on these goals. Despite these strengths of goal modeling, reuse of goal models has received limited attention in the goal modeling community for various reasons. We argue that the requirements that need to be fulfilled at least for the reuse of goal models are as follows: (i) ensure that trade-off reasoning via goal model evaluation is possible through the reuse hierarchy, (ii) provide the means to delay decisions to a later point in the reuse hierarchy when more complete information is available, while still allowing the reusable artifact to be analyzed, (iii) take into account constraints imposed by other modeling notations when evaluating reusable goal models, (iv) allow context dependent information to be modeled so that the goal model can be used and analyzed in various application contexts, and (v) last but not the least, provide a well-defined interface for reuse. This thesis argues that existing goal modeling approaches do not fully address these five required capabilities for reusability. To address this issue, this thesis introduces novel goal model evaluation mechanisms for bottom-up and top-down evaluation based on a lazy, recursive algorithm. The novel mechanisms allow the design, modularization, evaluation, and analysis of reusable goal models in reuse hierarchies in the presence of external constraints taking delayed decisions and contextual information into account. Required metamodel extensions are discussed and tool support demonstrates feasibility.

Mussbacher, Gunter (Supervisor)