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

    OMD : Optimisation MultiDisciplinaire

    Get PDF
    http://www.emse.fr/~leriche/rapport_final_rntl_omd_public.pdfProgramme RNTL 2005 de l'Agence Nationale de la Recherch

    E-CARe (une méthode d'ingénierie des systèmes d'information ubiquitaires)

    Get PDF
    L'apparition des Systèmes d'Information ubiquitaires ou pervasifs est issue de l'émergence de nouvelles technologies fournissant au système une vision de son environnement, de l'environnement de ses utilisateurs ainsi que de leurs profils. Grâce à ces données formant le contexte de l'application, il est possible de fournir des services personnalisés, pertinents et ciblés. Mais, le problème qui se pose à ce niveau concerne le degré d'adaptation, de prise de décision à la place de l'utilisateur et de l'identification des données contextuelles nécessaires et suffisantes pour ces services. Ceci est dû à un déséquilibre entre les avancées des technologies et de leurs applications (qui reçoivent un grand intérêt de la part de la recherche et de l'industrie) et les méthodes et démarches de développement et d'ingénierie spécifiques aux systèmes ubiquitaires. Notre objectif dans ce travail de thèse est de proposer une méthode d'ingénierie des SI ubiquitaires en considérant les différentes exigences reliées à la nature mobile et grande échelle de ces systèmes. Cette méthode est basée sur une démarche de développement qui fait usage d'un ensemble de métamodèles et de langages génériques favorisant la spécification complète de ces systèmes. Cette démarche sépare les spécifications fonctionnelles, techniques et ubiquitaires. Les spécifications ubiquitaires permettent de définir des modèles structurels et événementiels du contexte respectant les exigences des utilisateurs et les contraintes de sécurité et supportant les fonctionnalités d'adaptation et de sensibilité au contexte. Cette approche orientée évènements est consolidée par l'adoption d'une architecture de traitement des évènements. Notre démarche E-CARe est une intégration des spécifications ubiquitaires dans une démarche classique de conception des SI pour garantir la couverture des spécifications fonctionnelles et techniques. Les applications d'assistance représentent un cas d'étude idéal pour cette démarche qui s'intéresse au domaine des transports, fortement dépendant de l'environnement et des évènements ambiants.Ubiquitous Information Systems appeared as a consequence to emerging and evolving communication and mobile technologies providing the system with information on its environment, the environment of its users and their profiles. These data constitute the application context and are used to provide personalized, targeted and relevant services. However, ubiquitous services face some difficulties and challenges concerning specially needed contextual data, adaptation degree and computerized decision making. This is due to the gap between advanced ubiquitous services and their applications, and methods and processes for developing and engineering ubiquitous systems. Our goal in this thesis is to propose an engineering method for ubiquitous Information Systems considering different requirements resulting from the mobile and high scalable nature of these systems. The proposed method is based on a development process and a set of generic metamodels and languages facilitating a complete system specification and implementation. The proposed process separates functional, technical and ubiquitous specifications. Ubiquitous specifications enable the structural and event based context models definition while considering user requirements and security requirements. Adaptation and context awareness functionalities are supported by structural and dynamic context models. The proposed event oriented approach is enhanced by the adoption of an event processing architecture. Ubiquitous specifications are integrated into a classical information systems engineering process to constitute the E-CARe process including functional and technical specifications. Our propositions are used to design a user assistance application in the transport domain, highly dependent on the ambient environment and events.SAVOIE-SCD - Bib.électronique (730659901) / SudocGRENOBLE1/INP-Bib.électronique (384210012) / SudocGRENOBLE2/3-Bib.électronique (384219901) / SudocSudocFranceF

    Un modèle uniforme pour la modélisation et la métamodélisation d'une mémoire d'entreprise

    Full text link
    Thèse diffusée initialement dans le cadre d'un projet pilote des Presses de l'Université de Montréal/Centre d'édition numérique UdeM (1997-2008) avec l'autorisation de l'auteur

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

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

    Contribution de l'ingénierie dirigée par les modèles à la conception de modèles grande culture

    Get PDF
    Cette thèse, à caractère industriel, vise à répondre à une problématique de production de l entreprise ITK. Par la mise en oeuvre des techniques de l ingénierie dirigée par les modèles, nous proposons un environnement de modélisation et de simulation pour la croissance des plantes. Outre sa facilité d utilisation pour les agronomes, le prototype obtenu permet la génération automatique de code Java des modèles à intégrer dans des outils d aide à la décision exécutés sur une plateforme Java Enterprise Edition.This PhD thesis has an industrial purpose. It is motivated by a software production issue met within the ITK company. Using the techniques provided by model-driven engineering, we propose a modeling and simulation environment dedicated to plant growth. The prototype achieved proves to be easy to use for crop modelers. It is also enhanced with a Java code generation feature. The models obtained from this code generation are designed to be integrated into decision support systems running on a Java Entreprise Edition platform.CLERMONT FD-Bib.électronique (631139902) / SudocSudocFranceF

    Autonomie et reconfiguration des systèmes de systèmes tactiques

    Get PDF
    La complexité croissante des Systèmes de Systèmes et autres grandes fédérations d acteurs pose de nouvelles problématiques de conception et de réalisation. Cette complexité, induite par des structures de management toujours plus sophistiquées et un cycle de vie long, doit être maîtrisée au plus tôt dans la conception des entreprises. Cette maîtrise permet à l ensemble des intervenants au cours du cycle de vie d une entreprise d identifier ses points clés et de prendre confiance en sa capacité à atteindre ses objectifs. En particulier, il importe de savoir estimer les capacités de l entreprise à s adapter à des situations imprévues ou exceptionnelles afin d assurer ses missions en toutes circonstances. En réaction, de nouvelles démarches d ingénierie émergent. Elles s appuient sur la modélisation et la simulation de l architecture de ces systèmes aux différents stades de leur développement et de leur fonctionnement. Dans le cadre d une de ces démarches nommée IDEA, nous avons enrichi le langage de description d architecture avec des concepts et des mécanismes ayant pour but d adresser l adaptabilité et des capacités de reconfiguration des entreprises. Ces apports ont été expérimentés avec succès par prototypage et dans des contextes d affaires industrielles.As the complexity of large civilian and military Systems of Systems and system federations increases, new system architecture and engineering challenge emerge. This complexity is mainly due to intricate management structures and a long lifecycle, and needs to be mastered from the early stages of architecting. All engineering stakeholders need to identify the key aspects of the enterprise and gain confidence in its ability to fulfill its missions. To ensure that the enterprise is able to satisfy its objectives despite evolving situations, there is a need to focus on its capability to adapt through reconfiguration. New engineering approaches emphasize architecture modelling and simulation to tackle the complexity of the enterprise in all stages of its lifecycle in a flexible and global way. In the context of such an approach named IDEA, we updated the architecture description language to include concepts and mechanisms dedicated to the adaptability and reconfiguration of the enterprise. We also focused on ensuring model consistency. The results were experimented through prototyping and application on industrial affairs.BREST-SCD-Bib. electronique (290199901) / SudocSudocFranceF

    Simulation informatique et pluriformalisation des objets composites

    Get PDF
    L’évolution récente des techniques de simulation informatique a permis une meilleure prise en compte du caractère composite des systèmes modélisés, c’est-à-dire du fait qu’ils sont des objets ou des systèmes composés d’autres objets ou systèmes. À partir de l’étude succincte de quatre cas de modélisation et de simulation de systèmes composites, l’auteur montre que la simulation informatique permet de mettre en œuvre ce qu’il propose d’appeler une pluriformalisation. Dans une telle simulation, divers types de formalismes sont couplés de manière à prendre en compte simultanément divers aspects, diverses parties ou diverses échelles du même objet. Cette tendance à la pluriformalisation et à la simulation complexe assistées par ordinateur renouvelle les rapports traditionnels entre simulation, modèle opérationnel et modèle théorique.A recent evolution of computer simulations has led to the emergence of complex computer simulations. In particular, the need to formalize composite objects (those objects that are composed of other objects) has led to what the author suggests to call pluriformalizations, i.e. formalizations that are based on distinct sub-models which are expressed in a variety of heterogeneous symbolic languages. With the help of four case-studies, he shows that such pluriformalizations enable to formalize distinctly but simultaneously either different aspects or different parts or different scales of the same object or system. From an epistemological standpoint, he suggests that this kind of computer-aided complex formalization of composite objects renew the traditional relations between computer simulations, theoretical models and operational models

    Simulation informatique et pluriformalisation des objets composites

    Get PDF
    A recent evolution of computer simulations has led to the emergence of complex computer simulations. In particular, the need to formalize composite objects (those objects that are composed of other objects) has led to what the author suggests to call pluriformalizations, i.e. formalizations that are based on distinct sub-models which are expressed in a variety of heterogeneous symbolic languages. With the help of four case-studies, he shows that such pluriformalizations enable to formalize distinctly but simultaneously either different aspects or different parts or different scales of the same object or system. From an epistemological standpoint, he suggests that this kind of computer-aided complex formalization of composite objects renew the traditional relations between computer simulations, theoretical models and operational models

    Modélisation générique d'un retour d'expérience cognitif. Application à la prévention des risques

    Get PDF
    Nous avons défini dans cette thèse une architecture logicielle générique permettant de réaliser des applications de retour d'expérience cognitif. Ces derniers intègrent une formalisation de l'analyse experte et sont une alternative aux Systèmes à Bases de Connaissance. Les applications sont opérationnalisées à partir de la définition du modèle de l'expérience qui est basé sur une structure objet simple couplée avec le modèle des croyances transférables pour prendre en compte les intertitudes. Nous avons développé des algorithmes génériques de recherche adaptés à la formalisation retenue de l'entité expérience ainsi qu'un alogorithme d'extraction d'un indicateur du risque. Ces algorithmes sont basés sur une proposition de similarité ensembliste particulière. Le modèle générique est basé sur un modèle adaptatif (Adaptive Object Model). Nous avons appliqué une partie des résultats de la thèse dans le cadre d'un projet Européen INTERREG SUP (Sécurité Urgence Pyrénées)
    corecore