Author: Olivier MillionPublisher:
ISBN:
Category :
Languages : fr
Pages : 398
Book Description
De l'intégration des métiers par les donnéees techniques vers la maîtrise de la modélisation conceptuelle
Author: Olivier MillionDe l'integration des metiers par les donnees techniques vers la maitrise de la modelisation conceptuelle : la methode V.I.M. (viewpoints information modelling)
Author: Olivier Million5th International Conference on Digital Enterprise Technology
Author: Alain BernardPublisher: Editions Publibook
ISBN: 2748345983
Category :
Languages : en
Pages : 884
Book Description
Digital Enterprise Technology (DET) is more than a concept. Companies arc facing new challenges in a context where the references are mostly numerical. Nowadays, digital methods and tools arc widely generalized. DET 2008 allowed excellent exchanges about "the collection of systems and methods for the digital modelling and analysis of the global product development and realisation process, in the context of lifecycle management". This book of proceedings gives a short vices of the keynotes and proposes the text of the papers that have been presented during DET 2008. This gives a clear view of the actual state of the art and of the industrial needs. This book of proceedings is organized with respect to the topics that were addressed during the conference.
Automatic effective model discovery
Author: Sagar SenPublisher:
ISBN:
Category :
Languages : fr
Pages : 207
Book Description
Les découvertes scientifiques aboutissent souvent à la représentation de structures dans l’environnement sous forme de graphes d’objets. Par exemple, certains réseaux de réactions biologiques visent à représenter les processus vitaux tels que la consommation de gras ou l’activation/désactivation des gênes. L’extraction de connaissances à partir d'expérimentations, l'analyse des données et l’inférence conduisent à la découverte de structures effectives dans la nature. Ce processus de découverte scientifiques peut-il être automatisé au moyen de diverses sources de connaissances? Dans cette thèse, nous abordons la même question dans le contexte contemporain de l'ingénierie dirigée par les modèles (IDM) de systèmes logiciels complexes. L’IDM vise à accélérer la création de logiciels complexes en utilisant de artefacts de base appelés modèles. Tout comme le processus de découverte de structures effectives en science un modeleur crée dans un domaine de modélisation des modèles effectifs, qui représente des artefacts logiciels utiles. Dans cette thèse, nous considérons deux domaines de modélisation: métamodèles pour la modélisation des langages et des feature diagrams pour les lignes de produits (LPL) logiciels. Pouvons-nous automatiser la découverte de modèles effectifs dans un domaine de modélisation? Le principal défi dans la découverte est la génération automatique de modèles. Les modèles sont des graphes d’objets interconnectés avec des contraintes sur leur structure et les données qu'ils contiennent. Ces contraintes sont imposées par un domaine de modélisation et des sources hétérogènes de connaissances, incluant plusieurs règles de bonne formation. Comment pouvons-nous générer automatiquement des modèles qui satisfont ces contraintes? Dans cette thèse, nous présentons un framework dirigé par les modèles pour répondre à cette question. Le framework pour la découverte automatique de modèles utilise des sources hétérogènes de connaissances pour construire, dans un premier temps, un sous-ensemble concis et pertinent d’une spécification du domaine de modélisation appelée domaine de modélisation effectif. Ensuite, il transforme le domaine de modélisation effectif défini dans différents langages vers un problème de satisfaction de contraintes dans le langage de spécification formel Alloy. Enfin, le framework invoque un solveur sur le modèle Alloy pour générer un ou plusieurs modèles effectifs. Nous incorporons le framework dans deux outils: Cartier pour la découverte de modèles a partir de n’importe quel langage de modélisation et Avishkar pour la découverte de produits dans une LPL. Nous validons notre framework par des expérimentations rigoureuses pour la génération de test, la complétion de modèles partiel, la génération de produits, et la génération d’orchestrations web service. Les résultats montrent que notre framework génère systématiquement des solutions effectives dans des domaines de modélisation à partir de cas d’étude significatifs.
Model Transformation Reuse: A Graph-based Model Typing Approach
Author: Quyet Thang PhamPublisher:
ISBN:
Category :
Languages : fr
Pages : 203
Book Description
Pour réaliser un modèle dans un domaine métier, les mêmes concepts peuvent être traduits, nommés, représentés ou reliés différemment dans des méta-modèles différents. Ainsi, une transformation définie pour un méta-modèle particulier ne peut pas être utilisée pour un autre méta-modèle. La réutilisation des transformations est donc limitée. Face à ce problème, nous proposons dans cette thèse une solution pour migrer automatiquement les transformations existantes pour pouvoir les appliquer à un autre méta-modèle. Une telle transformation est adaptée pour le nouveau méta-modèle qui a une représentation légèrement différente par rapport à celle d'origine, tout en préservant la sémantique de la transformation. À cette fin, nous introduisons d'abord MetaModMap, un langage spécifique qui permet de décrire des correspondances de la sémantique intentionnelle entre les éléments de deux méta-modèles qui modélisent le même domaine. Ensuite, nous proposons un mécanisme de réécriture pour migrer automatiquement la transformation en utilisant ces correspondances définies par l'utilisateur. La solution proposée utilise une relation de typage de modèle basée sur des graphes qui permet de faire des adaptations en toute sécurité. Notre approche a été prototypée avec MOMENT2 et peut être utilisée pour d¿autres frameworks basés sur le même paradigme de transformation de modèles basé sur les graphes.
Principes d'assistance à la maîtrise d'ouvrage pour la modélisation et l'intégration d'expertise
Author: Alexandre CandlotPublisher:
ISBN:
Category :
Languages : fr
Pages : 243
Book Description
L'intégration des expertises métiers constitue un enjeu primordial des nouvelles générations des systèmes de gestion globale du cycle de vie du produit. La maîtrise d'ouvrage de telles intégrations est rendue difficile par la complexité de la gestion de la connaissance proportionnelle à celle croissante du produit, la diversité des acteurs de tels projets et le manque de retour au cours ou à l'issue de déploiements de tels projets passés et présents. Ces travaux de thèse ont été menés en parallèle d'un cas d'étude sur le projet USIQUICK, visant à l'automatisation de la génération de gamme d'usinage. Cette expérience a également été confrontée à des projets dans d'autres secteurs de l'industrie ou des services. La contribution de cette thèse propose un ensemble d'outils conceptuels utilisables en préparation ou au cours d'un projet d'intégration d'expertise. En phase amont cet ensemble d'outils peut être utilisé pour consolider les expériences précédentes et constituer des grilles d'analyses pour la prise de décision des méthodologies à déployer. Au cours du projet, cette base méthodologique d'outils donne à la maîtrise d'ouvrage des critères d'analyse pour évaluer la dynamique de projet. Elle permet de faire émerger les problèmes liés à la modélisation de l'expertise, de préparer les phases de programmation et de faire ressortir dans ces deux cas des lieux de représentations propices à l'émergence d'indicateurs de performance relatifs à la spécificité du projet étudié. L'apport méthodologique pour la maîtrise d'ouvrage est constitué de la proposition et de l'analyse des quatre " piliers " de ressources à la modélisation et à l'intégration d'expertise (réseaux de concepts, listes de spécifications, corpus de document, outils de gestion). Ces piliers permettent de justifier une série de phases décrivant les enjeux de la modélisation (phases d'identification, d'extraction, de structuration et de formalisation) et de l'intégration (phases de raffinement, de spécification des développements, de diffusion et de maintenance). Grâce à une analyse des niveaux de maturité de la gestion initiale et attendue de l'expertise, ces " piliers " et ces phases permettent de cadrer le contexte d'un retour d'expérience ou d'un projet à déployer. En parallèle, trois couples de concepts, syntaxe / sémantique, infrastructure / architecture, domaine / projet, permettent un questionnement pour identifier les zones potentielles de problèmes dans les représentations et envisager des axes de résolution. Il est ainsi permis de contribuer au rapprochement du systématisme épistémologique de la gestion des connaissances avec la pratique empirique et pragmatique contenue dans les savoirs. La consolidation des liens entre ces aspects de l'expertise permet un pilotage de projet par des éléments réels de connaissances et d'expertise.
Contribution à la représentation des objets et des métiers industriels
Author: Ahmed RharmaouiPublisher:
ISBN:
Category :
Languages : fr
Pages : 159
Book Description
CETTE THESE PRESENTE UNE NOUVELLE APPROCHE DE MODELISATION DU PRODUIT ET DE SON PROCESSUS DE CONCEPTION A UN TRES HAUT NIVEAU D'ABSTRACTION FONDEE SUR LA CONNAISSANCE ET LE SAVOIR-FAIRE DES DIFFERENTS METIERS INTERVENANT DANS CE PROCESSUS. NOUS PRESENTONS D'ABORD, UN ETAT DE L'ART DES TRAVAUX CONCERNANT LA MODELISATION D'UN PRODUIT. PARMI LES NOMBREUSES APPROCHES PROPOSEES, NOUS DISTINGUONS CELLES QUI TENDENT A UNIFIER LE PROCESSUS DE CONCEPTION EN PARTICULIER LA MODELISATION BASEE SUR LES CARACTERISTIQUES (FEATURES). NOUS INTRODUISONS ENSUITE NOTRE APPROCHE, APPELEE MODELISATION CONCEPTUELLE, ET DEFINIE EN TERMES D'OPERATIONS DE CONCEPTION PERMETTANT DE SATISFAIRE UN BESOIN FONCTIONNEL DE HAUT NIVEAU. NOUS PROPOSONS UNE REPRESENTATION DE CES OPERATIONS DE CONCEPTION PAR DES OPERATIONS PARAMETREES STRUCTUREES PAR DES N-GRAPHES POUR GERER LA CONNAISSANCE ASSOCIEE. NOUS PRESENTONS PAR LA SUITE LE MODELE DE CONCEPTION ET LE MODELE PRODUIT. LE TRAVAIL REALISE DANS CETTE THESE A CONTRIBUE A SPECIFIER UN ENVIRONNEMENT DE CONCEPTION ORGANISE AUTOUR D'UNE BASE DE REGLE ET D'UNE BASE D'OPERATION DE CONCEPTION. IL A ABOUTI A UNE ARCHITECTURE ORIGINALE DEDIEE A UNE ACTIVITE MULTI-METIER OU CHAQUE CONCEPTEUR EST ASSISTE D'UNE MANIERE INTERACTIVE ET CONTROLEE DANS LA REALISATION DE SA TACHE. ENFIN, NOUS PRESENTONS UNE APPLICATION INDUSTRIELLE DANS LE DOMAINE DE L'AERONAUTIQUE QUI A PERMIS DE VALIDER LES CONCEPTS UTILISES DANS NOTRE APPROCHE. IL S'AGIT PRECISEMENT DE LA CONCEPTION-PREPARATION A LA FABRICATION DES REVETEMENTS D'AVION
Product Life-Cycle Management
Author: Max GiordanoPublisher: John Wiley & Sons
ISBN: 1118587529
Category : Business & Economics
Languages : en
Pages : 389
Book Description
This book gives a comprehensive view of the most recent major international research in the field of tolerancing, and is an excellent resource for anyone interested in Computer Aided Tolerating. It is organized into 4 parts. Part 1 focuses on the more general problems of tolerance analysis and synthesis, for tolerancing in mechanical design and manufacturing processes. Part 2 specifically highlights the simulation of assembly with defects, and the influence of tolerances on the quality of the assembly. Part 3 deals with measurement aspects, and quality control throughout the life cycle. Different measurement technologies and methods for estimating uncertainty are considered. In Part 4, different aspects of tolerancing and their interactions are explored, from the definition of functional requirement to measurement processes in a PLM approach.
The Geometric Supposer
Author: Judah L. SchwartzPublisher: Routledge
ISBN: 1134758383
Category : Education
Languages : en
Pages : 267
Book Description
This volume is a case study of education reform and innovation using technology that examines the issue from a wide variety of perspectives. It brings together the views and experiences of software designers, curriculum writers, teachers and students, researchers and administrators. Thus, it stands in contrast to other analyses of innovation that tend to look through the particular prisms of research, classroom practice, or software design. The Geometric Supposer encourages a belief in a better tomorrow for schools. On its surface, the Geometric Supposer provides the means for radically altering the way in which geometry is taught and the quality of learning that can be achieved. At a deeper level, however, it suggests a powerful metaphor for improving education that can be played out in many different instructional contexts.
Mathematical Problem Solving
Author: Frank K. LesterPublisher:
ISBN:
Category : Education
Languages : en
Pages : 164
Book Description
This set of papers was originally developed for a conference on Issues and Directions in Mathematics Problem Solving Research held at Indiana University in May 1981. The purpose is to contribute to the clear formulation of the key issues in mathematical problem-solving research by presenting the ideas of actively involved researchers. An introduction provides an overview of each paper. The papers focus on the psychology of mathematical problem solving (R. E. Mayer), knowledge organization (E. A. Silver), implications from information-processing psychology, (D. J. Briars) building bridges between psychological and mathematics education research (F. K. Lester, Jr.), measuring problem solving outcomes (G. A. Goldin), a model for elementary teacher training in problem solving (J. F. LeBlanc), applied problem solving (R. Lesh, and M. Akerstrom), a concept-learning perspective (R. J. Shumway), and a statement of issues (H. L. Schoen). (MNS)