Download Free Meta Modelisation Pour La Transformation Des Schemas Et La Generation De Code Book in PDF and EPUB Free Download. You can read online Meta Modelisation Pour La Transformation Des Schemas Et La Generation De Code and write the review.

LA CONSTRUCTION D'OUTILS DE CONCEPTION ET DE MISE EN UVRE DES BASES DE DONNEES EST UNE ACTIVITE COMPLEXE, COMPTE TENU DE LA MASSE DE CONNAISSANCES QU'ELLE MET EN JEU. LA REDUCTION DE CETTE COMPLEXITE NECESSITE UNE STRUCTURATION DE CES CONNAISSANCES. DANS CETTE OPTIQUE, NOUS PROPOSONS UN SYSTEME D'AIDE A LA CONSTRUCTION DE CES OUTILS BASE SUR LES TECHNIQUES DE META-MODELISATION. LE PRINCIPE DE LA DEMARCHE SOUS-JACENTE A CE SYSTEME EST DE VOIR UN OUTIL DE CONCEPTION ET DE MISE EN UVRE DES BASES COMME LA SOMME DE TROIS ELEMENTS: (1) UN EDITEUR DE SCHEMAS CONCEPTUELS BASE SUR UN FORMALISME DE MODELISATION, (2) UNE REPRESENTATION LOGIQUE CORRESPONDANT A LA FAMILLE DU (OU DES) SGBD CIBLE(S), ET (3) UN MECANISME DE TRANSFORMATION DES SCHEMAS CONCEPTUELS EN SCHEMAS LOGIQUES. A CES TROIS ELEMENTS S'AJOUTENT DES MECANISMES DE TRADUCTIONS DES SCHEMAS LOGIQUES EN CODES DANS LES DIFFERENTS LANGAGES DE DESCRIPTION DES SGBD. NOTRE SYSTEME PERMET D'ENGENDRER DE MANIERE AUTOMATIQUE ET ECONOMIQUE DES EDITEURS DE SCHEMAS CONCEPTUELS A PARTIR DES DESCRIPTIONS DES FORMALISMES DE MODELISATION. IL PERMET EN OUTRE DE DECRIRE LES REPRESENTATIONS LOGIQUES DES SGBD. IL PERMET ENFIN DE DECRIRE LES MECANISMES DE TRANSFORMATIONS DES SCHEMAS CONCEPTUELS EN SCHEMAS LOGIQUES PAR DES SYSTEMES DE REGLES. NOUS AVONS UTILISE CE SYSTEME POUR RECONSTRUIRE DES OUTILS EXISTANTS. LES RESULTATS DE CES EXPERIENCES ONT PERMIS D'ENVISAGER UN TRAVAIL DE GENERALISATION DE CETTE DEMARCHE A LA CONSTRUCTION DES ATELIERS DE GENIE LOGICIEL
Cette thèse s'inscrit au carrefour du monde de la modélisation et simulation de systèmes d'une part et du monde de l'ingénierie logicielle d'autre part. Elle vise à faire bénéficier un formalisme de spécification de systèmes à évènements discrets (DEVS) des apports de l'ingénierie dirigée par les modèles (IDM) avec l'une de ses incarnations les plus populaires : MDA (Model Driven Architecture). Le formalisme DEVS de par son adaptabilité et son extensibilité permet l'expression et la simulation de modèles dans des domaines très variés, mais l'existence de plusieurs plateformes dédiées à ce langage nuit fortement à l'interopérabilité de ces modèles. Ces difficultés, si elles ne sont pas nouvelles, représentent cependant un défi d'autant plus important que les modèles considérés sont complexes (i.e composés en général de nombreux sous modèles et interagissant fortement entre eux). L'objectif de la thèse est de proposer une réponse à la problématique de l'interopérabilité des modèles DEVS, vis-À-Vis d'autres formalismes voisins de DEVS et également vis-À-Vis des différents simulateurs existants. Le cœur de notre travail est constitué par MetaDEVS, méta-Modèle offrant une représentation des modèles DEVS indépendante des plateformes. MetaDEVS est également le nom donné à l'approche globale qui vise à fournir des passerelles génériques entre différents formalismes et DEVS («Model-To-Model»). Cette approche montre également comment, à partir de modèles DEVS spécifiés selon MetaDEVS, du code orienté-Objet, simulable, peut être automatiquement généré («Model-To-Text»).Les formalismes choisis pour faire l'objet d'une transformation vers DEVS sont BasicDEVS, un petit formalisme pédagogique créé pour l'occasion, ainsi que les automates à états finis (FSM). La plateforme de destination choisie pour la génération de code est la plateforme éducative PyDEVS, compatible avec la plateforme DEVSimPy, utilisée par les chercheurs du projet TIC de l'Università di Corsica.
Le concept de processus a pris une dimension importante dans le domaine du génie logiciel. La complexité croissante des systèmes d'informations, la rapidité des évolutions technologiques et les nouveaux modes de travail (externalisation et sous-traitance) sont autant d'éléments expliquant ce phénomène. La maîtrise des processus devient donc un enjeu majeur pour les entreprises. C'est dans ce cadre que se situe notre travail. La société Sodifrance, partenaire industriel de cette thèse, est spécialisée dans la gestion et l'évolution des systèmes d'information. Au fur et à mesure des projets, elle a acquis un savoir-faire sur les processus de maintenance et de migration. C'est pour collecter et organiser ces connaissances que nous avons proposé un formalisme adapté à la description de ce ype de processus, et défini à l'aide de techniques de méta-modélisation. Celles-ci ont radicalement évolué ces dernières années avec l'adoption par l'OMG du MOF.La dernière avancée en date, le MDA, toujours à mettre au crédit de l'OMG, propose une nouvelle approche du génie logiciel basée sur les modèles. A partir de ces spécifications, et des produits de transformation de modèles et de génération de code de la société Sodifrance, nous avons conçu un ensemble d'outils pour la définition et la manipulation de modèles de processus. En particulier, nous avons développé des mécanismes pour l'opérationnalisation des modèles de processus qui ont été validés dans le cadre d'un projet de tierce maintenance applicative mené par Sodifrance. Ce travail a initié un certain nombre de réflexions sur les apports de la méta-modélisation pour la représentation de processus. Nous nous sommes intéressés à l'organisation des méta-modèles de processus et à leurs relations avec des méta-modèles dédiés à des domaines différents. Enfin, nous avons réalisé un certain nombre d'expérimentation sur la prise en compte des aspects dynamiques des processus et l'intégration des règles spécifiant leur exécution.
"Highlights of this book include: the MDA framework, including the Platform Independent Model (PIM) and Platform Special Model (PSM); OMG standards and the use of UML; MDA and Agile, Extreme Programming, and Rational Unified Process (RUP) development; how to apply MDA, including PIM-to-PSM and PSM-to-code transformations for Relational, Enterprise JavaBean (EJB), and Web models; transformations, including controlling and tuning, traceability, incremental consistency, and their implications; metamodeling; and relationships between different standards, including Meta Object Facility (MOF), UML, and Object Constraint Language (OCL)."--Jacket.
EMF: Eclipse Modeling Framework Dave Steinberg Frank Budinsky Marcelo Paternostro Ed Merks Series Editors: Erich Gamma • Lee Nackman • John Wiegand The Authoritative Guide to EMF Modeling and Code Generation The Eclipse Modeling Framework enables developers to rapidly construct robust applications based on surprisingly simple models. Now, in this thoroughly revised Second Edition, the project’s developers offer expert guidance, insight, and examples for solving real-world problems with EMF, accelerating development processes, and improving software quality. This edition contains more than 40% new material, plus updates throughout to make it even more useful and practical. The authors illuminate the key concepts and techniques of EMF modeling, analyze EMF’s most important framework classes and generator patterns, guide you through choosing optimal designs, and introduce powerful framework customizations and programming techniques. Coverage includes • Defining models with Java, UML, XML Schema, and Ecore • NEW: Using extended Ecore modeling to fully unify XML with UML and Java • Generating high-quality code to implement models and editors • Understanding and customizing generated code • Complete documentation of @model Javadoc tags, generator model properties, and resource save and load options • NEW: Leveraging the latest EMF features, including extended metadata, feature maps, EStore, cross-reference adapters, copiers, and content types • NEW: Chapters on change recording, validation, and utilizing EMF in stand-alone and Eclipse RCP applications • NEW: Modeling generics with Ecore and generating Java 5 code About the Authors Dave Steinberg is a software developer in IBM Software Group. He has worked with Eclipse and modeling technologies since joining the company, and has been a committer on the EMF project since its debut in 2002. Frank Budinsky, a senior architect in IBM Software Group, is an original coinventor of EMF and a founding member of the EMF project at Eclipse. He is currently cochair of the Service Data Objects (SDO) specification technical committee at OASIS and lead SDO architect for IBM. Marcelo Paternostro is a software architect and engineer in IBM Software Group. He is an EMF committer and has been an active contributor to several other Eclipse projects. Before joining IBM, Marcelo managed, designed, and implemented numerous projects using Rational's tools and processes. Ed Merks is the project lead of EMF and a colead of the top-level Modeling project at Eclipse. He holds a Ph.D. in Computing Science and has many years of in-depth experience in the design and implementation of languages, frameworks, and application development environments. Ed works as a software consultant in partnership with itemis AG.
This book constitutes the proceedings of the Second International Conference on Abstract State Machines, B and Z, which took place in Orford, QC, Canada, in February 2010. The 26 full papers presented were carefully reviewed and selected from 60 submissions. The book also contains two invited talks and abstracts of 18 short papers which address work in progress, industrial experience reports and tool descriptions. The papers cover recent advances in four equally rigorous methods for software and hardware development: abstract state machines (ASM), Alloy, B and Z. They share a common conceptual framework, centered around the notions of state and operation, and promote mathematical precision in the modeling, verification and construction of highly dependable systems.
This book introduces the companion modelling approach by presenting the stance that underpins it, the methods and tools used with stakeholders and the specific role of models during the process. It addresses the means to deal with the different levels of decision-making and to take into account the various power relationships. It proposes a methodology to assess the impact of the approach on the stakeholders involved in the process. The book includes 27 case studies and 7 teaching tools that describe the successful use of the approach in a variety of settings or teaching contexts. It is intended for researchers working on rural development or renewable resources management, as well as students and teachers.
Model-Driven Development (MDD) has become an important paradigm in software development. It uses models as primary artifacts in the development process. This book provides an outstanding overview as well as deep insights into the area of model-driven development of user interfaces, which is an emerging topic in the intersection of Human-Computer-Interaction and Software-Engineering. The idea of this book is based on the very successful workshop series of “Model-Driven Development of Advanced User Interfaces (MDDAUI)”. It has been written by the leading researchers and practitioners in the field of model-driven development of user interfaces and offer a variety of solutions and examples for • Architectures and environments for the generation of user interfaces • User interface development for specific domains and purposes • Model-driven development in the context of ambient intelligence • Concepts supporting model-driven development of user interfaces
"This book shows systems analysts and business analysts how ontological thinking can help them clarify requirements analysis tasks in business systems"--Provided by publisher.