26 research outputs found

    Actes des 2Ăšmes journĂ©es sur l’IngĂ©nierie DirigĂ©e

    Get PDF
    National audienceL’ingĂ©nierie dirigĂ©e par les modĂšles (IDM), appelĂ©e en anglais MDE (Model-Driven Engineering) ou aussi MDD (Model-Driven Development) place le modĂšle au centre du processus de conception et permet Ă  cette notion de modĂšle de passer d’un rĂŽle contemplatif Ă  un rĂŽle unificateur vis-Ă -vis des autres activitĂ©s du cycle de dĂ©veloppement du logiciel. L’IDM doit alors ĂȘtre vu non pas comme une rĂ©volution, mais comme un moyen d’intĂ©grationde diffĂ©rents espaces techniques pour aller vers une production automatisĂ©e des logiciels.L’ingĂ©nierie dirigĂ©e par les modĂšles apporte alors des solutions Ă  la construction de ces nouveaux logiciels en proposant des approches de modĂ©lisation, de mĂ©tamodĂ©lisation, de dĂ©termination du domaine, de transformation et de prise en compte des plates-formes. Ces approches sont accompagnĂ©es de dĂ©marches de conception et de moyens de gĂ©nĂ©ration de code, mais Ă©galement de validation et de vĂ©rification de la conformitĂ© des modĂšles produits vis-Ă -vis des mĂ©tamodĂšles. Elles sont proches des idĂ©es actuelles comme la programmation gĂ©nĂ©rative, les langages spĂ©cifiques de domaine (DSL), le MIC (Model Integrating Computing) ou encore les usines Ă  logiciels (Software factories). AprĂšs le succĂšs des journĂ©es IDM Ă  Paris en 2005, la seconde Ă©dition de ces journĂ©es se dĂ©roule Ă  Lille et a pour objectif de rassembler les chercheurs francophones intĂ©ressĂ©s par ce domaine et souhaitant participer Ă  la structuration de cette communautĂ© scientifique Ă©mergente

    Modélisation centrée sur les processus métier pour la génération complÚte de portails collaboratifs

    Get PDF
    International audienceLes entreprises collaborent pour saisir des opportunités, échanger des documents, des idées, ou toute autre ressource. Cela se fait en suivant des processus métiers pouvant évoluer. Les portails collaboratifs sont une solution orientée web à ce besoin de collaboration. Cependant, la conception et la maintenance d'un portail collaboratif métier n'est pas trivial. La société Ecréall conçoit, génÚre et maintient des portails collaboratifs à partir d'une modélisation centrée sur les processus métier en suivant une approche IDM. Cet article présente la solution proposée par Ecréall à travers son métamodÚle MACoP et sa chaßne de transformation, et compare la solution proposée à d'autres approches

    Approche de métamodélisation pour la simulation et la vérification de modÚle. Application à l'ingénierie des procédés

    Get PDF
    Nous proposons dans cette thĂšse une dĂ©marche permettant de dĂ©crire un DSML (Domain Specific Modeling Language) et les outils nĂ©cessaires Ă  l'exĂ©cution, la vĂ©rification et la validation des modĂšles. La dĂ©marche que nous proposons offre une architecture gĂ©nĂ©rique de la syntaxe abstraite du DSML pour capturer les informations nĂ©cessaires Ă  l'exĂ©cution d'un modĂšle et dĂ©finir les propriĂ©tĂ©s temporelles qui doivent ĂȘtre vĂ©rifiĂ©es. Nous nous appuyons sur cette architecture pour expliciter la sĂ©mantique de rĂ©fĂ©rence et l'implanter. Plus particuliĂšrement, nous Ă©tudions les moyens : – d'exprimer et de valider la dĂ©finition d'une traduction vers un domaine formel dans le but de rĂ©utiliser des outils de model-checking. – de complĂ©ter la syntaxe abstraite par le comportement ; et profiter d'outils gĂ©nĂ©riques pour pouvoir simuler les modĂšles construits. Enfin, de maniĂšre Ă  valider les diffĂ©rentes sĂ©mantiques implantĂ©es vis-Ă -vis de la sĂ©mantique de rĂ©fĂ©rence, nous proposons un cadre formel de mĂ©tamodĂ©lisation. ABSTRACT : We propose in this thesis a specific taxonomy of the mechanisms allowing to express an execution semantics for Domain Specific Modeling Languages (DSMLs). Then, we integrate these different mechanisms within a comprehensive approach describing DSMLs and tools required for model execution, verification and validation. The proposed approach provides a rigorous and generic architecture for DSML abstract syntax in order to capture the information required for model execution. We rely on this generic architecture to make the reference semantics explicit and implement it. More specifically, we study the means : – to express and validate the definition of a translation into a formal domain in order to re-use model-checking techniques. – to enrich the abstract syntax with the definition of the DSML behaviour and take advantage of generic tools so to simulate the built models. Finally, for the purpose of validating the equivalence of different semantics implemented according to the reference semantics, we also propose a formal metamodeling framewor

    Modélisation centrée sur les processus métier pour la génération complÚte de portails collaboratifs

    Get PDF
    International audienceLes entreprises collaborent pour saisir des opportunités, échanger des documents, des idées, ou toute autre ressource. Cela se fait en suivant des processus métiers pouvant évoluer. Les portails collaboratifs sont une solution orientée web à ce besoin de collaboration. Cependant, la conception et la maintenance d'un portail collaboratif métier n'est pas trivial. La société Ecréall conçoit, génÚre et maintient des portails collaboratifs à partir d'une modélisation centrée sur les processus métier en suivant une approche IDM. Cet article présente la solution proposée par Ecréall à travers son métamodÚle MACoP et sa chaßne de transformation, et compare la solution proposée à d'autres approches

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

    Get PDF
    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

    Processus IDM pour l’intĂ©gration des patrons de sĂ©curitĂ© dans une application Ă  base de composants

    Get PDF
    Security has become an important challenge in current software and system development. Most of designers are experts in software development but not experts in security. It is important to guide them to apply security mechanisms in the early phases of software development to reduce time and cost of development. To reach this objective, we propose to apply security expertise as security patterns at software design phase. A security pattern is a well-understood solution to a recurring information security problem. So, security patterns encapsulate the knowledge accumulated by security experts to secure a software system. Although well documented, patterns are often neglected at the design level and do not constitute an intuitive solution that can be used by software designers. This can be the result of the maladjustment of those patterns to systems context, the inexpertness of designers with security solutions and the need of integration process to let designers apply those pattern ? solutions in practical situations and to work with patterns at higher levels of abstraction. To enable designers to use solutions proposed by security patterns, this thesis proposes a model driven engineering approach to secure applications through the integration of security patterns. Component-based approach is a powerful means to develop and reuse complex systems. In this thesis, we take component based software systems as an application domain for our approach to facilitate the development of applications by assembling prefabricated software building blocks called components. The proposed process provides separation between domain expertise and application security expertise, both of which are needed to build a secure application. Our main goal is to provide a semi-automatic integrating of security patterns into component-based models, and producing an executable secure code. This integration is performed through a set of transformation rules. The result of this integration is a new model supporting security concepts. It is then automatically translated into aspect-oriented code related to security. These aspects are then woven in a modular way within the functional application code to enforce specified security properties. The use of aspect technology in the implementation phase guarantees that the application of security patterns is independent from any particular implementation. In order to provide a clear comprehension of the SCRIP process, we have described it using the standard SPEM . This work is implemented in a software tool called SCRI-TOOL (SeCurity patteRn Integration Tool). This tool allows not security experts developers to integrate different security properties throughout the development cycle of an component based application. To illustrate the use of SCRI-TOOL, we propose a case study regarding electronic healthcare systems. The choice of such a case study is motivated by the great attention archived for such systems from academia and industry and by the importance of security in such systems. Indeed, because of the large number of actors that can interact in such systems, security is a critical requirement. This case study will also allow us to illustrate the proposed methodology to highlight the importance of security management at a high level of abstraction. As results of the application of this process, we obtain a health care application completely secure and meeting the requirements of medical context.La sĂ©curitĂ© est devenue un enjeu important dans le dĂ©veloppement des systĂšmes logiciels actuels. La majoritĂ© des concepteurs de ces systĂšmes manquent d’expertise dans le domaine de la sĂ©curitĂ©. Il s’avĂšre donc important de les guider tout au long des diffĂ©rentes phases de dĂ©veloppement logiciel dans le but de produire des systĂšmes plus sĂ©curisĂ©s. Cela permettra de rĂ©duire le temps ainsi que les coĂ»ts de dĂ©veloppement. Pour atteindre cet objectif, nous proposons d’appliquer l’expertise en matiĂšre de sĂ©curitĂ© sous forme de patrons de sĂ©curitĂ© lors de la phase de conception de logiciels. Un patron de sĂ©curitĂ© intĂšgre des solutions Ă©prouvĂ©es et gĂ©nĂ©riques proposĂ©es par des experts en sĂ©curitĂ©. Cependant, les patrons de sĂ©curitĂ© sont souvent nĂ©gligĂ©s au niveau de la conception et ne constituent pas une solution intuitive qui peut ĂȘtre utilisĂ©e par les concepteurs de logiciels. Cela peut ĂȘtre le rĂ©sultat de l’inadaptation de ces patrons au contexte des systĂšmes, la non-expertise des concepteurs dans le domaine de la sĂ©curitĂ© ou encore l’absence d’un processus d’intĂ©gration de ces patrons dans les modĂšles Ă  un haut niveau d’abstraction.Afin de permettre aux concepteurs d’utiliser les solutions proposĂ©es par des patrons de sĂ©curitĂ©, cette thĂšse propose une approche d’ingĂ©nierie dirigĂ©e par les modĂšles pour sĂ©curiser des applications via l’intĂ©gration de patrons de sĂ©curitĂ©. Nous avons choisi comme contexte d’application de notre approche, les applications Ă  base de composants qui visent Ă  faciliter le dĂ©veloppement d’applications Ă  partir de l’assemblage de briques logicielles prĂ©fabriquĂ©es appelĂ©es composants. Le processus proposĂ© assure la sĂ©paration entre l’expertise du domaine d’application et l’expertise de sĂ©curitĂ©, toutes les deux Ă©tant nĂ©cessaires pour construire une application sĂ©curisĂ©e. La mĂ©thodologie proposĂ©e assure une intĂ©gration semi-automatique des patrons de sĂ©curitĂ© dans le modĂšle initial. Cette intĂ©gration est rĂ©alisĂ©e tout d’abord lors de la modĂ©lisation de l’application Ă  travers, dans un premier temps, l’élaboration de profils Ă©tendant les concepts du domaine avec les concepts de sĂ©curitĂ©. Dans un second temps, l’intĂ©gration se fait Ă  travers la dĂ©finition de rĂšgles, qui une fois appliquĂ©es, gĂ©nĂšrent une application sĂ©curisĂ©e. Finalement, cette intĂ©gration est assurĂ©e aussi au niveau de la gĂ©nĂ©ration du code fonctionnel de l’application en intĂ©grant le code non-fonctionnel relatif Ă  la sĂ©curitĂ© Ă  travers l’utilisation des aspects. L’utilisation de l’approche orientĂ©e aspect garantit que l’application des patrons de sĂ©curitĂ© est indĂ©pendante de toute application particuliĂšre. Le processus proposĂ© est dĂ©crit avec le standard SPEM.Ce travail a Ă©tĂ© concrĂ©tisĂ© par un outil nommĂ© SCRI-TOOL pour SeCurity patteRn Integration Tool. Cet outil permet aux dĂ©veloppeurs non experts en sĂ©curitĂ© d’intĂ©grer les diffĂ©rentes propriĂ©tĂ©s de sĂ©curitĂ© (intĂ©grĂ©es dans les patrons) dans une application Ă  base de composants. AïŹn d’illustrer l’utilisation de SCRI-TOOL, nous proposons une Ă©tude de cas portant sur le domaine des systĂšmes de soins distribuĂ©s. Le choix d’une telle Ă©tude de cas s’explique par l’importance des exigences en termes de sĂ©curitĂ© requises pour le bon fonctionnement d’une telle application. En effet, vue le grand nombre d’acteurs pouvant interagir, la sĂ©curitĂ© est une exigence critique dans de tels systĂšmes. Cette Ă©tude nous a permis de mettre en Ă©vidence l’importance de la gestion de la sĂ©curitĂ© Ă  un haut niveau d’abstraction et la façon d’appliquer la mĂ©thodologie proposĂ©e sur un cas rĂ©el

    Intégration de la modélisation comportementale dans la conception par points de vue

    Get PDF
    View-based modeling is the main subject of this thesis. It is a variant of the object oriented modeling approach for the analysis and design of complex systems, focusing on the actors that use the system and decomposing the specification according to their needs. With this prospect, our team developed a UML profile named VUML (View based UML), which allows the elaboration of a unique and sharable model accessible according to the view of each of the system's actors. However the achieved work on the VUML profile does not tackle the behavior aspects of the modeling process. The VUML approach address the structural aspects related to the composition of views and to the sharing of data without dealing with the way these views will react, or how to be able to synchronize them in order to obtain the behavior of multiple-view objects (instances of a multi-view class). The achieved work in this thesis aims to fill this gap by providing new mechanism to the VUML profile that allows expressing the behavioral needs of a system. We will focus on describing the individual behavior of multi-view objects by state-machines that require adjustments of UML modeling concepts. To achieve this objective we introduced the concept of event probes, which allow to specify implicit communication between the view-objects via event observation. This allows decoupling the view specifications that are a priori strongly interconnected, and therefore allows them to be designed separately, in agreement with the VUML method recommendations, and then to be integrated without the need of making modifications. We first define the concept of event monitoring and identified the different types of probes and the appropriate parameters that characterize them. We also define a set of concepts that can extend and manipulate probes. Then we propose a UML-compatible representation of the introduced concepts in form of a profile named VxUML (extension of VUML). In addition to defining the profile elements (stereotypes, tagged value, predefined library classes), we have developed rules for proper formation of the static semantics using OCL to reduce ambiguity in the specification of such concepts. Afterwards, to demonstrate the usefulness of the concepts introduced, we developed a case study through which we sought to provide a full view-based model, addressing both structural and behavioral aspects. At the end, to concretely validate our approach in a model driven engineering setting, we developed a code generator that takes as input a specification developed in VxUML profile. This generator uses the techniques of model transformation related to the code generation, including transformation of platform independent models (PIM) to platform specific models (PSM), and transformation of PSMs to code; the current target language is Java. Finally, another contribution of this thesis is a process associated with VxUML. It is an approach that complements the approach associated with VUML (which deal only with structural aspects) to be able to use in methodical manner the new mechanisms dedicated to behavioral treatment. Now, the VxUML development process offers a complete view based modeling, that is, dealing with both structural and behavioral aspects. Keywords: View based modeling, VUML profile, VxUML profile, event observation, multi-view states machine, behavior composition.La modĂ©lisation par points de vue constitue la thĂ©matique gĂ©nĂ©rale de notre travail de thĂšse. C'est une approche de modĂ©lisation orientĂ©e objet, visant l'analyse et la conception des systĂšmes complexes avec une dĂ©marche centrĂ©e autour des acteurs interagissant avec le systĂšme. Notre Ă©quipe a ainsi dĂ©veloppĂ© un profil UML appelĂ© VUML (View based UML), qui permet l'Ă©laboration d'un modĂšle unique partageable Ă  partir de vues associĂ©es aux points de vue des acteurs. Cependant, les travaux rĂ©alisĂ©s sur le profil VUML [Nassar, 05 ; Anwar, 09] ne couvrent pas les aspects comportementaux de la modĂ©lisation. En effet, – en proposant la notion de classe multivue – VUML traite les aspects structuraux liĂ©s Ă  la composition des vues et au partage des donnĂ©es statiques sans prendre en compte la maniĂšre dont ces vues vont rĂ©agir, ni comment les synchroniser afin de reprĂ©senter le comportement des objets multivue (instances d'une classe multivue). Les travaux effectuĂ©s dans le cadre de cette thĂšse cherchent Ă  combler ce manque en dotant le profil VUML de nouveaux mĂ©canismes permettant d'exprimer le comportement d'un systĂšme. Nous nous sommes concentrĂ©s pour cela sur le comportement des objets multivue dĂ©crit par des machines Ă  Ă©tats qui nĂ©cessitent des adaptations des concepts de modĂ©lisation UML. Pour rĂ©aliser cet objectif nous avons introduit la notion de sonde d'Ă©vĂ©nements, qui permet de spĂ©cifier des communications implicites entre les vues par observation d'Ă©vĂ©nements. Ceci permet de dĂ©coupler des spĂ©cifications qui sont a priori fortement interconnectĂ©es, de les concevoir sĂ©parĂ©ment par points de vue, selon les prĂ©conisations de la mĂ©thode VUML, puis de les intĂ©grer sans avoir Ă  les modifier. Nous avons tout d'abord dĂ©fini le concept de sonde d'Ă©vĂ©nements, identifiĂ© les diffĂ©rents types de sondes avec les paramĂštres associĂ©s, puis dĂ©fini un ensemble de concepts permettant d'enrichir et de manipuler les sondes. Nous avons ensuite proposĂ© une reprĂ©sentation compatible avec VUML des concepts introduits sous forme d'un profil nommĂ© VxUML (extension de VUML). En plus de la dĂ©finition des Ă©lĂ©ments du profil (stĂ©rĂ©otypes, valeurs marquĂ©es, classes de librairie prĂ©dĂ©finies), nous avons dĂ©veloppĂ© en OCL des rĂšgles de bonne formation (sĂ©mantique statique). Pour illustrer l'intĂ©rĂȘt des concepts introduits, nous avons dĂ©veloppĂ© une Ă©tude de cas en proposant une modĂ©lisation par points de vue complĂšte traitant Ă  la fois les aspects structurel et comportemental. Pour valider concrĂštement notre approche, nous avons dĂ©veloppĂ©, selon une approche IDM, un gĂ©nĂ©rateur de code qui prend en entrĂ©e une spĂ©cification de systĂšme en VxUML. Ce gĂ©nĂ©rateur utilise les techniques de transformation de modĂšles liĂ©es Ă  la gĂ©nĂ©ration de code, et notamment les transformations de modĂšles indĂ©pendants de plate-forme (PIM) vers des modĂšles spĂ©cifiques Ă  une plate-forme (PSM), et des modĂšles PSM vers le code ; il a Ă©tĂ© dĂ©veloppĂ© dans un premier temps avec le langage cible Java. Sur le plan mĂ©thodologique, nous avons dĂ©fini une dĂ©marche associĂ©e Ă  VxUML, qui complĂšte celle de VUML, en permettant d'utiliser d'une maniĂšre mĂ©thodique les mĂ©canismes dĂ©diĂ©s au traitement du comportement. DĂ©sormais, le processus de dĂ©veloppement VxUML permet une modĂ©lisation par points de vue complĂšte, traitant Ă  la fois les aspects structurel et comportemental. Mots clĂ©s : Conception par points de vue, profil VUML, profil VxUML, sonde d'Ă©vĂ©nements, machine Ă  Ă©tats multivue, composition du comportement

    MV-TMM: Une approche multi vues pour la gestion de la traçabilité des exigences

    Get PDF
    The approach MV-TMM (Multi View Traceability Management Method) presented in this thesis aims to guide the companies in their design of requirements traceability models adapted to the context of their projects. This is achieved by allowing the construction of a model based on trace fragments adapted to each phase of the development process or to a specific situation. Furthermore, the approach guides the users to use the traceability model in a requirement management tool. They help them capture and mange the evolution of the traceability data.AprĂšs une Ă©tude de lâ€˜Ă©tat de l‘art dans le domaine de la traçabilitĂ© des exigences, nous avons constatĂ© que la gestion de la traçabilitĂ© a fait l‘objet de plusieurs travaux de recherche. MalgrĂ© ces travaux, nous avons constatĂ© que les entreprises rencontrent encore des difficultĂ©s Ă  intĂ©grer la traçabilitĂ© dans leurs processus de dĂ©veloppement. Cela est dĂ» au manque de mĂ©canisme de reprĂ©sentation des diffĂ©rents types d‘informations de traçabilitĂ© ainsi qu‘à la mĂ©connaissance du processus de traçabilitĂ© des exigences dans un projet.Le travail de cette thĂšse propose une solution dĂ©nommĂ©e MV-TMM (un dĂ©marche multi vues pour la gestion de la traçabilitĂ©) composĂ©e de deux Ă©lĂ©ments principaux : (i) un mĂ©ta modĂšle multi vues permettant la reprĂ©sentation des diffĂ©rents types d‘informations de traçabilitĂ© et (ii) un processus intentionnel dĂ©crivant les Ă©tapes nĂ©cessaires pour la construction et l‘usage des informations de traçabilitĂ©

    Modélisation pour la gestion de modÚles

    Full text link
    ThÚse numérisée par la Direction des bibliothÚques de l'Université de Montréal
    corecore