en fr Metamodels and Feature Models: Complementary Approaches to Formalize Product Comparison Matrices Méta-modèles et modèles de caractéristiques: deux approches complémentaires pour formaliser les matrices de comparaison dReportar como inadecuado

en fr Metamodels and Feature Models: Complementary Approaches to Formalize Product Comparison Matrices Méta-modèles et modèles de caractéristiques: deux approches complémentaires pour formaliser les matrices de comparaison d - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

1 DiverSe - Diversity-centric Software Engineering Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL

Abstract : Product Comparison Matrices PCMs are widely used for documenting or comparing a set ofproducts. They provide a compact representation of the characteristics or features of the productsin the form of a product by feature matrix. The expected benefits of such simple format are theease of use and definition. However, there exist no standard, guidelines or specific tool supportfor creating PCMs. The various domains addressed in PCMs and the numerous contributors leadsto a large diversity in the structure and content of these matrices. This creates a syntactic andsemantic gap between the concrete representation of a PCM and its human interpretation. Toaddress this problem, the objective of this thesis is to develop techniques for formalizing PCMs.We explore two possible solutions to reach our objective.Our first solution is to directly model PCMs through the use of a model-based approach. Thecentral element of our approach is a domain metamodel that defines the structure and semanticsof PCMs. It is completed by a set of transformations for automatically formalizing existing PCMsinto PCM models. In our context, the elaboration of a model-based approach is a challenging task.The lack of standard or oracle hinders the evaluation of our approach. The presence of potentiallymillions of PCMs on the Web makes the manual building of an oracle unrealistic. To addressthese challenges, we propose an iterative process driven by data, end-users and services. It helpsto evaluate our approach on a large number of PCMs while guiding the selection of a few PCMsto manually analyze. To ease the development of services on top of PCM models, we also createtask-specific metamodels in relation to the edition, manipulation, import and export of PCMs.Our second solution is the synthesis of Feature Models FMs from PCMs. Similarly to PCMs,FMs represent product lines which are sets of products sharing commonalities and presentingvariabilities. FMs are the most widespread formalism for modeling product lines. They allowto develop reasoning capabilities and numerous applications such as generating comparators orconfigurators which can be beneficial for PCMs. Yet FMs provide a different view on a product linethan PCMs. PCMs also contain types of data that cannot be represented by FMs. To address thisproblem, we consider as input of our algorithm, a class of PCMs that we call configuration matrices.Such matrices present a simple structure and contain data that can be represented by FMs. Wealso target an extension of FMs called Attributed FMs AFMs as output of our algorithm. AFMsallow the modeling of common types of data in PCMs such as booleans, numbers and enumerations.The analysis of the state of the art reveals that there exist no algorithm for synthesizing AFMs.Moreover, existing synthesis techniques often foster precision over quality of the resulting FM orvice versa. This hinders the exploitation of the generated FM. We improve state of the art of FMsynthesis with techniques that produce FMs that both exactly represent the information containedin the input and exhibit a meaningful hierarchy. Then, we extend this technique to produce AFMsfrom configuration matrices. These improvements contribute to allow a qualitative and preciseformalization and exploitation of a class of PCMs through the use of AFMs.With our contributions, we provide two generic, extensible and complementary approaches forthe formalization and exploitation of PCMs. This is a first step towards the creation of a communityof users and contributors of PCMs. It opens new perspectives for the development of innovativeservices on top of PCMs coming from various sources.

Résumé : Les Matrices de Comparaison de Produits MCP sont largement répandues sur le web. Ellesfournissent une représentation simple des caractéristiques d-un ensemble de produits. Cependant, lemanque de formalisation et la grande diversité des MCP rendent difficile le développement delogiciels pour traiter ces matrices. Dans cette thèse, nous développons deux approchescomplémentaires pour la formalisation de MCP. La première consiste en une description précise dela structure et la sémantique d-une MCP sous la forme d-un meta-modèle. Nous proposons aussi unetransformation automatique d-une MCP vers un modèle de MCP conforme au meta-modèle. Laseconde approche consiste à synthétiser des modèles de caractéristiques attribués à partir d-uneclasse de MCP. Grâce nos contributions, nous proposons une approche générique et extensible pourla formalisation et l-exploitation de MCP.

en fr

Keywords : Metamodels Feature models Product comparison matrices Software product lines Software engineering

Mots-clés : Meta-modèles Modèles de caractéristiques Génie logiciel Ligne de produits logiciels Matrices de comparaison de produis

Autor: Guillaume Bécan -

Fuente: https://hal.archives-ouvertes.fr/


Documentos relacionados