Université de Rennes 1 Methodology for the derivation of product behaviour in a Software Product Line Méthodologie SPL pour la dérivation de modèles comportementaux des produits Lignes de Produits LogicielsIngénierie dirigé par les modèlesProcessus opérationnelsMethodologieVerificationReseaux de PetriLanguage specifique domaine Software Product LineModel Driven EngineeringBusiness processMethodologyVerificationPetri NetsDomain specific language Ingénierie dirigée par les modèles Thèses et écrits académiques Logiciels -- Développement Thèses et écrits académiques Petri, Réseaux de Thèses et écrits académiques Le principal problème abordé dans cette thèse est la définition d'une nouvelle méthodologie SPL qui couvre les deux phases du processus et met l'accent sur la dérivation de modèles comportementaux des produits. Le chapitre 2 définit le cadre de cette thèse : les lignes de produits logiciels, les processus opérationnels et l'ingénierie dirigé par les modèles. Dans le chapitre 3, nous proposons une nouvelle méthodologie SPL centrée sur la dérivation de comportement des produits. Nous décrivons d'abord le courant principal de la méthodologie, et ensuite les différentes étapes. Dans le chapitre 4, nous proposons un nouveau langage spécifique domaine appelé CBPF pour la modélisation des fragments de processus opérationnels. Une approche dirigée par les modèles est suivie pour créer CBPF: syntaxe abstraite, syntaxe concrète graphique et sémantique translationnelles. Dans le chapitre 5, nous proposons plusieurs types de vérifications applicables aux fragments afin de déterminer leur justesse. Pour la vérification structurelle, est définit un ensemble des règles de cohérence qui doivent être valides pour chaque fragment réalisé avec CBPF. Pour vérifier le comportement, nous transformons d'abord les fragments dans des réseaux de Pétri équivalents. On peut alors vérifier des propriétés génériques mais aussi définir des propriétés spécifiques. Dans le chapitre 6, nous illustrons la méthodologie proposée en l'appliquant à une étude de cas à partir du domaine système de gestion de crise. Nous proposons également une suite d'outils qui supporte notre méthodologie. Le chapitre 7 décrit les améliorations possibles et les extensions aux contributions de cette thèse. Nous concluons la thèse dans le chapitre 8. The major problem addressed in this thesis is the definition of a new SPLE methodology that covers both phases of the SPLE process and focuses on the derivation of behavioral models of SPL products. In Chapter 2 three research areas scope context of this thesis: Software Product Lines, Business Processes, and Model-Driven Engineering. Throughout Chapter 3, we propose a new SPLE methodology that focuses on the derivation of product behavior. We first describe the main flow of the methodology, and then detail the individual steps. In chapter 4 we propose a new domain specific language called CBPF created for modeling composable business process fragments. A model driven approach is followed for creating CBPF: definition of the abstract syntax, graphical concrete syntax and translational semantics. In Chapter 5 we propose several types of verifications that can be applied to business process fragments to determine their "correctness". For structural verification we definine a set of fragment consistency rules that should be valid for every business process fragment created with CBPF. To check behavioral correctness we first transform the business process fragment into an equivalent HCPN. We can then check generic properties but also define a set of fragment specific properties. In chapter 6 we exemplify the proposed SPL methodology by applying it to a case study from the crisis management system domain. We also propose a tool suite that supports our methodology. Chapter 7 describes possible improvements and extensions to the contributions of this thesis. We conclude the thesis in Chapter 8 and draw some conclusions. Electronic Thesis or DissertationText en application/pdf1 : 11821 Kohttp://ecm.univ-rennes1.fr/nuxeo/site/esupversions/27b326fd-731c-4613-9d7c-2f67ca622f41 Istoan Paul 1985-10-18 RO 169713814 28006649 istoanp@yahoo.com 2013REN1S013 http://www.theses.fr/2013REN1S013 2013-02-21 Informatique Université de Rennes 1thesis.degree.grantor_1 02778715X Université du Luxembourgthesis.degree.grantor_2 124635016 Doctorat non ouiJézéquelJean-Marcintervenant_106106727XGuelfiNicolasintervenant_2068681402 Mathématiques, informatique, signal, électronique et télécommunicationsecoleDoctorale_1 139007164 IRISA partenaireRecherche_1 026386909 Universite européenne de BretagnepartenaireRecherche_2 139075119 ddc:004 JézéquelJean-MarcGuelfiNicolasUniversité de Rennes 1Sciences et technologie, médecine, pharmacie, odontologie, droit, économie, gestion, philosophieUniversité du LuxembourgMathématiques, informatique, signal, électronique et télécommunicationsÉcole doctorale Mathématiques, informatique, signal, électronique et télécommunications (Rennes) IRISA Universite européenne de Bretagne ASCII PDF 12105023