MODÉLISATION DE PROCÉDÉS LOGICIELS À BASE DE PATRONS RÉUTILISABLES

This thesis investigates the reuse of software processes by an approach based on process patterns. The objective of our work is to make process patterns directly applicable in process modeling. The concept of process pattern is used to capture and reuse the proven solutions for recurring process problems. However, this attractive concept has still been poorly exploited due to the inadequate formalization and the lack of supporting methodology and tools. To promote the use of process patterns and reduce the modelling effort, we broaden the concept of process pattern for capturing various types of process knowledge at different abstract levels, and propose ways to reuse (semi-)automatically process patterns in process modelling. We define the process meta-model UML-PP to formalize the process pattern concept and the ways to apply patterns in process models. UML-PP allows describing the internal structure of a process pattern as well as the relations between process patterns, and enables the explicit representation of process patterns' applications in process models. We propose the meta-process PATPRO defining the modelling steps to elaborate a process model in UML-PP by reusing process patterns. To allow automated applications of process patterns, we define an operational semantics for the patterns reuse operators who carry out some tasks of the meta-process. We have developed the prototype PATPRO-MOD allowing to create and manage process patterns catalogues, and to elaborate process models in UML-PP by reusing (semi-)automatically process patterns.Cette thèse est consacrée à la réutilisation de procédés par une approche à base de patrons de procédé. Le concept de patron de procédé a été introduit pour capitaliser et réutiliser des solutions éprouvées des problèmes de procédés récurrents. Cependant cette approche est encore peu exploitée à cause du champ de définition limité, du manque de formalisation, de méthodologie et d'outils support. Pour promouvoir l'utilisation de patrons de procédé et réduire l'effort de modélisation, nous considérons le concept de patron de procédé à différents niveaux d'abstraction pour capturer divers types de connaissances sur les procédés, et proposons des moyens pour réutiliser de façon (semi-)automatique ces patrons dans la modélisation des procédés. Nous avons défini le méta-modèle de procédé UML-PP pour formaliser le concept de patron de procédé et la manière d'appliquer les patrons dans la modélisation de procédés. UML-PP permet de décrire la structure interne d'un patron de procédé ainsi que les relations entre patrons, et permet d'exprimer explicitement l'utilisation de patrons dans les modèles de procédé. Nous proposons le méta-procédé PATPRO définissant une démarche de modélisation pour élaborer un modèle de procédé UML-PP en réutilisant des patrons de procédé. Pour permettre une automatisation de l'application de patrons de procédé, nous définissons une sémantique opérationnelle des opérateurs de réutilisation de patrons qui réalisent l'imitation de patrons. Nous avons réalisé le prototype PATPRO-MOD permettant de créer et gérer des catalogues de patrons de procédé et d'élaborer des modèles de procédé UML-PP en réutilisant semi-automatiquement des patrons prédéfinis

Cadre de conception multi-perspectives pour la modélisation des processus de génie logiciel

RÉSUMÉ La littérature scientifique rapporte abondamment les cas de projets de développement logiciel qui débordent de leurs planifications, dépassent les ressources allouées et présentent une faible qualité. Les chercheurs et les praticiens essayent ensemble de résoudre cette « crise » du logiciel. L‘amélioration des processus de développement est un des moyens fondamentaux pour améliorer la qualité du logiciel et atteindre une efficacité organisationnelle. La modélisation des processus est un des leviers de cette amélioration. La modélisation des processus est une discipline du génie logiciel qui soutient la conception et la maintenance des processus1. Elle explicite les pratiques de développement pour pouvoir les étudier, les améliorer et les utiliser de manière répétable, gérable et possiblement automatisable. Les techniques de cette discipline ne cesse d‘évoluer en passant des processus maison peu profonds et informels des années 1960 aux processus basés sur le paradigme orienté-objet. L‘évolution des langages de modélisation des processus (PML) est supportée par l‘évolution des paradigmes2 du génie logiciel. Alors que cette évolution des langages est clairement marquée au niveau de la syntaxe définissant les composants structurant les processus, elle est moins marquée sur le plan de la sémantique qui reste relativement abstraite et manque d‘une description formelle clarifiant le sens et l‘intention des modèles de processus. L‘aspect sémantique permettrait pourtant de considérer différentes préoccupations du gestionnaire d‘un projet informatique selon des perspectives distinctes (ex. productivité, connaissances, risques, CMMI, etc.). Dans ce projet de recherche, nous proposons un nouveau cadre de modélisation conceptuelle, en complément à une description textuelle, des processus dans le but de produire des modèles de processus adaptés au contexte du projet à développer. Sur le plan théorique, nous proposons un enrichissement sémantique pour considérer différentes perspectives. Nous avons adopté une approche ontologique pour formaliser le concept de relations attribuées entre les composants structurant un modèle de processus. Sur le plan pratique, nous proposons un nouvel outil qui supporte la modélisation nommé : « Domain-Specific-Language for Software Process Modeling » (DSL4SPM). En plus de la perspective de modélisation orientée-Activités conforme au standard SPEM, l‘outil DSL4SPM offre trois autres perspectives : Gestion des connaissances, simulation et alignement avec le CMMI. ----------ABSTRACT Cost and schedule of software projects are often overrun. This fact is closely-related to the software process and less to the final product as acknowledged by researchers and practitioners (Boehm, 1991; Barros et al., 2004; Roy, 2004; McConnell, 2009). However, it is also acknowledged that the software production is human and knowledge-intensive process, which means the nature of uncertainty. In order to build efficient process modeling tools, there is a need for conceptualization of process models to address different concerns such as a breakdown structure of activities, knowledge, simulation, alignment with CMMI practices and so on. Addressing those concerns provide a context for analysis, assessment and enhancement of process models, which in turn enhance the quality of software projects. One attempt to enhance the process modeling flexibility has been made with the tool called DSL4SPM (Domain-Specific Language for Software Process Modeling). DSL4SPM was developed and applied to bring order and structure to the software development process. It implements the Software & Systems Process Engineering Meta-model (SPEM 2.0) specification, and is characterized by: 1) a conceptual framework for designing processes in an abstract way; and 2) multi-view-oriented process modeling, which acknowledges the relevance of a multitude of issues in a process model. The conceptual framework emphasizes the relationships among the SPEM elements

Spem4mde : un métamodèle et un environnement pour la modélisation et la mise en œuvre assistée de processus IDM

With the emergence of MDE, many organizations have been starting to transform their traditional software development processes into model-driven processes. Kleppe and al. define a model-driven software development as “a process of developing software using different models on different levels of abstraction with (automated) transformations between these models”.While model-driven development processes – called MDE processes – have started to appear, a tool-supported Process Modeling Language (PML) for describing and enacting such processes is still lacking. The concepts of SPEM 2.0 are quite generic since they are supposed to allow describing any kind of software. However, SPEM 2.0 concepts do not succeed in capturing the exact nature of most activities and artifacts of model-driven development. In addition, another major weakness of SPEM 2.0 is the lack of concepts for process enactment.The objective of this thesis is threefold: (1) provide an extension of SPEM that reifies the MDE concepts; (2) provide a language dedicated to behavioral modeling of MDE processes; (3) provide a conceptual architecture of a PSEE (Process-centered Software Engineering Environment) that guides process designer at modeling phase and developers at enactment time.To validate our approach, a prototype of this PSEE is developed under the TOPCASED environment. This prototype provides a graphical editor for structural and behavioral modeling of MDE processes, and a process enactment engine based on process behavior models. We have also applied our approach to a significant case study: the UWE (UML-based Web Engineering) process, which is a MDE process dedicated to web applications development.L’avènement de l’IDM (Ingénierie Dirigée par les Modèles) a suscité beaucoup d’intérêt de la part des organisations qui de fait commencent à transformer leur processus de développement traditionnel en un processus de développement dirigé par les modèles, appelé aussi processus IDM.Au moment où ces processus commencent à émerger, nous notons l’absence d’un langage dédié pour les modéliser et les mettre en œuvre. Le standard SPEM 2.0 propose des concepts génériques qui sont supposés être capables de décrire tout type de processus logiciel. Cependant, les concepts de SPEM ne capturent pas la nature exacte des processus IDM. D’autre part, une autre insuffisance majeure de SPEM réside dans le fait qu’il n’intègre pas les concepts relatifs à la mise en œuvre des processus.L’objectif de cette thèse est triple : (1) proposer une extension de SPEM dans laquelle les concepts centraux des processus IDM sont réifiés ; (2) proposer un langage dédié à la modélisation comportementale des processus IDM ; (3) proposer une architecture conceptuelle d’un environnement logiciel d’aide à la modélisation et à la mise en œuvre des processus IDM.Pour valider notre approche, un prototype a été développé sous l’environnement TOPCASED. Ce prototype fournit d’une part un éditeur graphique pour la modélisation structurelle et comportementale des processus IDM et d’autre part un environnement de mise en œuvre s’appuyant sur les modèles comportementaux des processus. Nous avons également appliqué notre approche à une étude de cas significatif: le processus UWE (UML-based Web Engineering), qui est un processus IDM dédié au développement d’applications web

La paraphrase dans l'approche scolaire des textes littéraires: Étude didactique

The prohibition of paraphrase in appreciation of literary text rests on principles theoretically uncertain, as well as an unstable definition of paraphrase : it does not relate to an identified metatextual discourse, but to a discursive effect. Such is the thesis of this work which approaches paraphrasing in the academic apprehension of literary texts, both diachronically and synchronically. Such an approach results in the rehabilitation of paraphrase, through a renewed appraisal of the part it takes in fact in learning to write and read too.The first part is a historical survey of the practise of paraphrase in its - academic or not - relationship to literary text from Antiquity up to now. The second part describes the conditions and forms of the disqualification of paraphrase in appreciation of literary text since the XIXth century, in order to emphasise on the impossibility for any objective definition of paraphrase in that context. Therefore, it is necessary to establish, in the third part, what may allow the appraiser to tell what is paraphrasing and what is not, i.e. to express a metatextual judgement of identification, which is nothing else than a judgement on the acceptability of a paraphrase. The conditions for this judgement essentially come down to the presence of a distance between discursive marks in the metatext, and the root-text. In part four, paraphrase is shown as the expression of understanding - and thus as an activity, both cognitive and discursive - related to metatextual discourse : on these bases, the fifth part propounds learning methods aiming at the metatextual development of students through the appreciation and discussion of the borders between different discursive realisations, and the effects of reception to their own metatextual productions.L'interdit de la paraphrase dans l'explication de texte littéraire repose sur des principes théoriquement fragiles et une définition instable de la paraphrase : il ne porte pas sur un discours métatextuel identifiable mais sur un effet discursif. Telle est la thèse de ce travail qui aborde le phénomène de la paraphrase dans l'approche scolaire des textes littéraires en diachronie comme en synchronie. Une telle approche aboutit à une réhabilitation de la paraphrase, qui passe notamment par une réévaluation de son rôle effectif dans l'apprentissage de l'écriture comme de la lecture. Une première partie envisage historiquement la pratique de la paraphrase dans le rapport (scolaire ou non) au texte littéraire de l'Antiquité à nos jours. Une deuxième partie décrit les conditions et les formes de la disqualification de la paraphrase dans l'explication de texte depuis le XIX e siècle, pour faire ressortir l'impossibilité d'une définition objective de la paraphrase dans ce contexte. D'où la nécessité d'établir, dans une troisième partie, ce qui amène un évaluateur à considérer qu'un énoncé est ou non paraphrastique, autrement dit à émettre un jugement métatextuel d'identification – qui n'est en fait qu'un jugement d'acceptabilité de la paraphrase ; les conditions de ce jugement se ramènent essentiellement à la présence dans le métatexte de marques discursives d'une distance avec le texte-source. La paraphrase est ensuite (quatrième partie) définie comme formulation de la compréhension – donc comme activité à la fois cognitive et discursive inhérente à tout discours métatextuel : c'est sur ces bases que peuvent être proposées (dans une cinquième partie) des démarches d'apprentissage visant au développement métatextuel des élèves par l'évaluation et la discussion des frontières entre diverses réalisations discursives et des effets de réception de leurs propres productions métatextuelles. MOTS CLÉ

Voir et savoir dans l'Antiquité gréco-romaine : analyse de mythes

Greco-Roman myths Ancient people’s beliefs and mental conceptions. Thus, theanalysis of myths seems to be an area of work at once pertinent to analyzing thelinks between Seeing and Knowing, and innovative because this approach to theways of thinking in Antiquity permits one to broach an aspect of the Greek man thathas been studied little until now. Twenty myths and their variants, forming a bodyof more than a hundred texts, gathered from around thirty authors, constitute thebeginning of an investigation on the role of sight in knowledge, approached fromdifferent angles : What could be seen of divinity ? What was forbidden ? How didmyths convey the values of the Ancients ? To what extent did they participate in theformation of the Greek man ? The whole answers the main objective consisting ofbetter grasping Ancient people’s mental conceptions to understand them betterLes mythes gréco-romains sont révélateurs des croyances et des conceptions mentales des Anciens. À ce titre, le dépouillement des récits mythologiques apparaît comme un axe de travail à la fois pertinent pour analyser les rapports entre Voir et Savoir et novateur car cette approche des schèmes de pensée de l’Antiquité permet d’aborder un aspect de l’homme grec qui n’a que peu été étudié jusqu’à maintenant. Vingt mythes et leurs variantes, formant un corpus de plus de cent textes regroupés autour d’une trentaine d’auteurs, constituent ainsi l’entrée d’une enquête sur le rôle de la vue dans la connaissance et abordée sous différents angles : que pouvait-on voir du divin ? Quels étaient les interdits ? Comment les mythes véhiculaient-ils les valeurs des Anciens ? Dans quelles mesures participaient-ils à la construction de l’homme grec ? L’ensemble répond à l’objectif principal consistant à mieux cerner pour mieux les comprendre les conceptions mentales des Anciens