Auto-explication des Chorégraphies de Services

Dimension: px
Commencer à balayer dès la page:

Download "Auto-explication des Chorégraphies de Services"

Transcription

1 Mario Cortes Cornax Sophie Dupuy-Chessa Dominique Rieu Université de Grenoble, LIG Auto-explication des Chorégraphies de Services 1

2 Problématique Chorégraphie de services Vision globale des processus distribués Service «Comment savoir où en est votre demande de mission?» BUT 2

3 Service Orchestration Orchestration Orchestration service service service service 3

4 Chorégraphie Orchestration Orchestration L'accent est mis sur l'échange d'informations (messages) entre les participants Contract Métier Orchestration Orchestration Orchestration Organisations Virtuelles 4

5 Extrait du Méta-modèle - Conceptuel STRUCT Conceptuel COMP Vue Structurelle Analyse Technique Business Process Model and Notation (v2) Vue Comportementale 5

6 Extrait du Méta-modèle - Conceptuel Conceptuel Analyse Technique Vue Structurelle Vue Comportementale Méta-modèle Modèle 6

7 Extrait du Méta-modèle - Analyse Conceptuel Analyse Technique Vue Structurelle [-] ServiceAgence - requestquote > requestquote < quote <! errormsg - requestorder > ordermsg < Confirmation <! errormsg Vue Comportementale 7

8 Extrait du Méta-modèle - Analyse Conceptuel Analyse Technique Vue Structurelle Vue Comportementale Méta-modèle Modèle [-] ServiceAgence - requestquote > requestquote < quote <! errormsg - requestorder > ordermsg < Confirmation <! errormsg 8

9 La Couche Intentionnelle Modèle intentionnel Conceptuel STRUCT COMP Analyse Technique Prepare Travel Get The Approval Mission Get Refund 9

10 La Couche Intentionnelle- Exemple Modèle intentionnel Conceptuel STRUCT COMP Analyse Technique 10

11 Validation Evaluations Expérimentales Analyse de la Litérature Autres Langages de Chorégraphie 11

12 Conclusion Chorégraphie des Services Domaine Technique Compréhensibilité? Modèle intentionnel Modèle conceptuel Vue Structurelle Vue Comportementale Info Utilisateurs? Abstraction Vue Structurelle Modèle d analyse Raffinement Vue Comportementale Info Abstraction Raffinement Modèle technique? Vue Vue Structurelle Comportementale Info Analyse des Besoins des langages de Chorégraphie Modélisé Par Exécution de la Chorégraphie 12

13 Contributions Analyse approfondie des besoins pour modéliser les chorégraphies Semiotic Quality Framework (Krogstie, 2003) Un méta-modèle multi-couches et multi-vues Conceptuel, Analyse et Technique Passage graduel entre les couches (top-down et bottom-up) Pris en compte du niveau Intentionnel BPMN vs KAOS 13

14 Merci PUBLICATIONS: 2012 Mario Cortes Cornax, Alexandru Matei, Emmanuel Letier, Sophie Dupuy-Chessa, Dominique Rieu: Intentional Fragments : Bridging the Gap Between Organizational and Intentional Levels in Business Processes. 20th International Conference Cooperative Information Systems (CoopIS 2012) Mario Cortes Cornax, Sophie Dupuy-Chessa, Dominique Rieu: Choreographies in BPMN 2.0: New Challenges and Open Questions. 4 th Central-European Workshop on Services and their Composition (ZEUS 2012) 2011 Mario Cortes Cornax, Sophie Dupuy-Chessa, Dominique Rieu, Marlon Dumas: Evaluating Choreographies in BPMN 2.0 Using an Extended Quality Framework. 3rd International Workshop on the Business Process and Notation (BPMN 2011) Mario Cortes Cornax: Service choreographies through a graphical notation based on abstraction layers and viewpoints. 5th International Conference on Research Challenges in Information Science (RCIS 2011) Best Doctoral Paper Mario Cortes Cornax, Sophie Dupuy-Chessa, Dominique Rieu : Bridging the Gap between Business Processes and Service Composition through Service Choreographies. 4th Working Conference on Method Engineering (ME 2011) 14

15 1 Analyse 2 Méta-modèle 3 Intentionnel Le Cadre de Qualité de Langages (Krogstie, 2003) Social Actor Interpretation Human Modeler Explicit Knowledge Comprehensibility Appropriateness (C) Knowledge Externalizability Appropriateness (K) Participant Language Knowledge Appropriateness (P) Language Domain Appropriateness (D) Model Domain Technical Actor Interpretation Appropriateness (T) Technical Actor Interpretation 15

16 1 Analyse 2 Méta-modèle 3 Intentionnel Analyse des Besoins de Chorégraphie P1 P5 P2 P4 P3 concepts analyse technique 16

Intégration de métriques de qualité des diagrammes et des langages dans l outil ModX

Intégration de métriques de qualité des diagrammes et des langages dans l outil ModX Intégration de métriques de qualité des diagrammes et des langages dans l outil Mod avier LE PALLEC LIFL - Université Lille 1 Cité Scientifique, 59655 Villeneuve d Ascq Cedex, France xavier.le-pallec@univ-lille1.fr

Plus en détail

Approche orientée services pour la gestion de modèles

Approche orientée services pour la gestion de modèles Approche orientée services pour la gestion de modèles Jorge Luis PEREZ-MEDINA - Dominique RIEU - Sophie DUPUY-CHESSA **LIG Université de Grenoble B.P. 53 38041 Grenoble Cedex 9, France {Jorge-Luis.Perez-Medina,

Plus en détail

Forthcoming Database

Forthcoming Database DISS.ETH NO. 15802 Forthcoming Database A Framework Approach for Data Visualization Applications A dissertation submitted to the SWISS FEDERAL INSTITUTE OF TECHNOLOGY ZURICH for the degree of Doctor of

Plus en détail

ARDUIN Pierre-Emmanuel

ARDUIN Pierre-Emmanuel ARDUIN Pierre-Emmanuel Maître de conférences pierre-emmanuel.arduin@dauphine.fr Tél : +33(0)1.44.05.48.19 Bureau : A 702 Site web : Site web Poste actuel et responsabilités à Dauphine Responsable d'un

Plus en détail

Aide à la conception de Système d Information Collaboratif, support de l interopérabilité des entreprises

Aide à la conception de Système d Information Collaboratif, support de l interopérabilité des entreprises Aide à la conception de Système d Information Collaboratif, support de l interopérabilité des entreprises Jihed Touzi, Frédérick Bénaben, Hervé Pingaud Thèse soutenue au Centre de Génie Industriel - 9

Plus en détail

L UTILISATEUR DANS LA CONCEPTION DES SI

L UTILISATEUR DANS LA CONCEPTION DES SI JOURNÉE PECUSI JANVIER 2009 L UTILISATEUR DANS LA CONCEPTION DES SI SOPHIE DUPUY-CHESSA, AGNÈS FRONT, DOMINIQUE RIEU EQUIPE SIGMA, LABORATOIRE LIG, GRENOBLE 1 Utilisateur & Conception des SI membre de

Plus en détail

Flexibilité Méthodologique pour la conception d'ihm Plastiques. Eric Céret en l absence de, mais avec Sophie Dupuy-Chessa et Gaëlle Calvary

Flexibilité Méthodologique pour la conception d'ihm Plastiques. Eric Céret en l absence de, mais avec Sophie Dupuy-Chessa et Gaëlle Calvary Flexibilité Méthodologique pour la conception d'ihm Plastiques Eric Céret en l absence de, mais avec Sophie Dupuy-Chessa et Gaëlle Calvary Laboratoire d Informatique de Grenoble Octobre 2013 Contexte académique

Plus en détail

Adaptation dynamique de processus métier

Adaptation dynamique de processus métier Adaptation dynamique de processus métier Application au circuit du médicament à l AP-HM Renaud Angles*,** Philippe Ramadour** Corine Cauvet** Sophie Rodier* * Assistance Publique Hôpitaux de Marseille

Plus en détail

Adaptation dynamique de processus métier

Adaptation dynamique de processus métier Adaptation dynamique de processus métier Application au circuit du médicament à l AP-HM Renaud Angles*,** * Aix-Marseille Université LSIS (UMR CNRS 7296) Domaine universitaire de St Jérôme, Av. Escadrille

Plus en détail

Sujet de thèse CIFRE RESULIS / LGI2P

Sujet de thèse CIFRE RESULIS / LGI2P Ecole des Mines d Alès Laboratoire de Génie Informatique et d Ingénierie de Production LGI2P Nîmes Sujet de thèse CIFRE RESULIS / LGI2P Titre Domaine De l ingénierie des besoins à l ingénierie des exigences

Plus en détail

26th of March 2014, Paris

26th of March 2014, Paris P : 1 Continuité Numérique : un enjeu d efficacité pour l industrie supporté par les standards Standard STEP AP 242 ISO 10303 : modèles CAO 3D avec tolérancement gérés en configuration Résumé du white

Plus en détail

Notre offre BPM. bpm@arrabal-is.com

Notre offre BPM. bpm@arrabal-is.com bpm@arrabal-is.com BPM (Business Process Management) est une discipline permettant la modélisation, le stockage, l'exécution, le suivi et la mise à jour continue des processus d'entreprise. Les processus

Plus en détail

Séance 4: Modélisation et diagnostic des processus (actuel)

Séance 4: Modélisation et diagnostic des processus (actuel) Séance 4: Modélisation et diagnostic des processus (actuel) 2 Une méthode de réingénierie Gestion de projet Leadership Ajout de valeur (évaluation des bénéfices) Mise en place du nouveau PA et du SI Développement

Plus en détail

Une méthode de rétro-ingénierie des processus métier basée sur un métamodèle multi-vues

Une méthode de rétro-ingénierie des processus métier basée sur un métamodèle multi-vues Une méthode de rétro-ingénierie des processus métier basée sur un métamodèle multi-vues Ansem Ben Cheikh, Dominique Rieu, Agnès Front Laboratoire d'informatique de Grenoble 220, rue de la Chimie B.P.53

Plus en détail

Composition de Services Web

Composition de Services Web Composition de Services Web Dr. Djamel Benmerzoug Email : djamel.benmerzoug@univ-constantine2.dz Maitre de Conférences A, Département TLSI Faculté des NTIC Université Constantine 2 Abdelhamid Mehri 127

Plus en détail

- Couches - Éléments - Domaines - ArchiMate et les techniques du BABOK

- Couches - Éléments - Domaines - ArchiMate et les techniques du BABOK ArchiMate et l architecture d entreprise Par Julien Allaire Ordre du jour Présentation du langage ArchiMate - Couches - Éléments - Domaines - ArchiMate et les techniques du BABOK Présentation du modèle

Plus en détail

Noureddine Kerzazi noureddine.kerzazi@polymtl.ca

Noureddine Kerzazi noureddine.kerzazi@polymtl.ca Domaine de la modélisation des processus pour le génie logiciel. Noureddine Kerzazi noureddine.kerzazi@polymtl.ca DSL4SPM Domain-Specific-Language for Software Process Modeling Il s agit d un nouveau cadre

Plus en détail

Transfert des expérimentales et innovantes méthodes d enseignement pour l education de management

Transfert des expérimentales et innovantes méthodes d enseignement pour l education de management l education de management 2010-1-PL1-LEO01-11462 1 Information sur le projet Titre: Code Projet: Année: 2010 Type de Projet: Statut: Accroche marketing: Résumé: Transfert des expérimentales et innovantes

Plus en détail

Modélisation des processus métiers et standardisation

Modélisation des processus métiers et standardisation Modélisation des processus métiers et standardisation Octobre 2004 Table des matières Introduction... 3 Processus métier : un même mot, plusieurs domaines d application... 4 Les critères pour un standard

Plus en détail

Courses available for exchange students 4 th year

Courses available for exchange students 4 th year Academic year 2014-20 Courses available for exchange students 4 th year Executive Engineering Programme (EEP) Semester 7 (French level required : B2 min) Semester 8 (Limited number of places per major)

Plus en détail

Céline AVERSENG. Sanaa AIT-DAOUD. Aurélie GIRARD. Sylvie GERBAIX. Régis MEISSONIER. Sophie MIGNON

Céline AVERSENG. Sanaa AIT-DAOUD. Aurélie GIRARD. Sylvie GERBAIX. Régis MEISSONIER. Sophie MIGNON C Sanaa AIT-DAOUD Céline AVERSENG Pamela BAILLETTE Yves BARLETTE Nassim BELBALY Isabelle BOURDON Bernard FALLERY Sylvie GERBAIX Aurélie GIRARD Emmanuel HOUZE Corinne JANICOT Anis KHEDHAOURIA Chris KIMBLE

Plus en détail

Préconisations pour une gouvernance efficace de la Manche. Pathways for effective governance of the English Channel

Préconisations pour une gouvernance efficace de la Manche. Pathways for effective governance of the English Channel Préconisations pour une gouvernance efficace de la Manche Pathways for effective governance of the English Channel Prochaines étapes vers une gouvernance efficace de la Manche Next steps for effective

Plus en détail

Etude empirique auprès s de clusters européens ens sur leurs besoins et stratégie d internationalisationd

Etude empirique auprès s de clusters européens ens sur leurs besoins et stratégie d internationalisationd Etude empirique auprès s de clusters européens ens sur leurs besoins et stratégie d internationalisationd Sophie Fourmond Bureau de coordination Kompetenznetze Deutschland c/o VDI/VDE Innovation + Technik

Plus en détail

Servir l avenir. Une initiative d EUREKA et de la Commission européenne, destinée aux Pme innovantes à fort potentiel de croissance

Servir l avenir. Une initiative d EUREKA et de la Commission européenne, destinée aux Pme innovantes à fort potentiel de croissance Servir l avenir Une initiative d EUREKA et de la Commission européenne, destinée aux Pme innovantes à fort potentiel de croissance Titre de la présentation Amandine KAROUI, Direction Innovation Bpifrance

Plus en détail

Méthodes quantitatives Management des opérations-bem- Bachelor,Master,Executive

Méthodes quantitatives Management des opérations-bem- Bachelor,Master,Executive Mohammed MICHRAFY Assistant Professor EDUCATION 11/12/2013 (date de soutenance) Etude des effets des labels du commerce équitable sur le consentement à payer des consommateurs Université Montesquieu-Bordeaux

Plus en détail

Sujet de thèse CIFRE RESULIS / LGI2P

Sujet de thèse CIFRE RESULIS / LGI2P Ecole des Mines d Alès Laboratoire de Génie Informatique et d Ingénierie de Production LGI2P Nîmes Sujet de thèse CIFRE RESULIS / LGI2P Titre Domaine De l ingénierie des besoins à l ingénierie des exigences

Plus en détail

Modélisation: outillage et intégration

Modélisation: outillage et intégration Modélisation: outillage et intégration Emmanuel Gaudin emmanuel.gaudin@pragmadev.com Un réel besoin Le logiciel double tous les deux ans. Le volume final rend extrêmement difficile de garantir le niveau

Plus en détail

Net-université 2008-1-IS1-LEO05-00110. http://www.adam-europe.eu/adam/project/view.htm?prj=5095

Net-université 2008-1-IS1-LEO05-00110. http://www.adam-europe.eu/adam/project/view.htm?prj=5095 Net-université 2008-1-IS1-LEO05-00110 1 Information sur le projet Titre: Code Projet: Année: 2008 Type de Projet: Statut: Accroche marketing: Net-université 2008-1-IS1-LEO05-00110 Projets de transfert

Plus en détail

Projet de recherche doctoral

Projet de recherche doctoral Projet de recherche doctoral Formalisation des règles métier et organisation des indicateurs de performance pour le développement de la méthode publique d Architecture d Entreprise Praxeme. 1 Contexte

Plus en détail

Openfexo: une plate-forme dédiée à la modélisation multi-facettes. Sylvain Guérin sylvain.guerin@agilebirds.com

Openfexo: une plate-forme dédiée à la modélisation multi-facettes. Sylvain Guérin sylvain.guerin@agilebirds.com Openfexo: une plate-forme dédiée à la modélisation multi-facettes Sylvain Guérin sylvain.guerin@agilebirds.com Petit historique... 5 années de développement sur un projet interne: fexo, outil de modélisation

Plus en détail

Approche dirigée par les modèles pour la spécification, la vérification formelle et la mise en œuvre des services Web composés

Approche dirigée par les modèles pour la spécification, la vérification formelle et la mise en œuvre des services Web composés Approche dirigée par les modèles pour la spécification, la vérification formelle et la mise en œuvre des services Web composés Christophe Dumez Laboratoire Systèmes et Transports (SeT) Université de Technologie

Plus en détail

RÉSUMÉ DE THÈSE. L implantation des systèmes d'information (SI) organisationnels demeure une tâche difficile

RÉSUMÉ DE THÈSE. L implantation des systèmes d'information (SI) organisationnels demeure une tâche difficile RÉSUMÉ DE THÈSE L implantation des systèmes d'information (SI) organisationnels demeure une tâche difficile avec des estimations de deux projets sur trois peinent à donner un résultat satisfaisant (Nelson,

Plus en détail

IFT2255 : Génie logiciel

IFT2255 : Génie logiciel IFT2255 : Génie logiciel Chapitre 6 - Analyse orientée objets Section 1. Introduction à UML Julie Vachon et Houari Sahraoui 6.1. Introduction à UML 1. Vers une approche orientée objet 2. Introduction ti

Plus en détail

Master in International and European Business - Year 2

Master in International and European Business - Year 2 semestre CODE Nb choix CODE Intitulé UE ECTS Code Matière Matières enseignées module horaire EM054M34 IFRS Principles: The Keys to Understand Financial Statements 20 EM1F5M41 International Strategy 20

Plus en détail

Lot 3: Problématique d interopérabilité LM2O 19/11/2010

Lot 3: Problématique d interopérabilité LM2O 19/11/2010 Lot 3: Problématique d interopérabilité LM2O 19/11/2010 Partenaires LM²O Transformations de Modèles MDI Coordination du lot Mesures et indicateurs d'interopérabilité Modélisation d'entreprise Démarche

Plus en détail

Courses available for exchange students 4th year

Courses available for exchange students 4th year Academic year 2012-2013 Courses available for exchange students 4th year - International semester - Semester 7 (French level required : B2 min) - Semester 8 (Limited number of place per major) * European

Plus en détail

Qualité des modèles : retour d expériences

Qualité des modèles : retour d expériences Qualité des modèles : retour d expériences Sophie Dupuy-Chessa 1, Kathia Marçal de Oliveira 2, Samira Si- Said Cherfi 3 1. Université de Grenoble Alpes, Laboratoire d informatique de Grenoble F-38000 Grenoble,

Plus en détail

Chapitre 1 : Introduction

Chapitre 1 : Introduction Les processus métiers : concepts, modèles et systèmes Chapitre 1 : Introduction Qu est-ce? Un processus métier est un ensemble de procédures et d'activités plus ou moins liées qui réalisent collectivement

Plus en détail

La simulation multi-agent pour le design intégré des réseaux et de leur système de pilotage. Réseau de création de valeur

La simulation multi-agent pour le design intégré des réseaux et de leur système de pilotage. Réseau de création de valeur La simulation multi-agent pour le design intégré des réseaux et de leur système de pilotage Sophie D Amours Ph.D. Professeure, Université Laval Directrice, Consortium de recherche FOR@C Chaire de recherche

Plus en détail

UML - Unified Modeling Language

UML - Unified Modeling Language UML - Unified Modeling Language Octobre 2003 Gilles Falquet Université de Genève mportance de la modélisation La niche, la maison familiale et l'immeuble (Booch, Jacobson, Rumbaugh) v pour construire une

Plus en détail

DU MODÈLE À LA PLATE-FORME EMBARQUÉE

DU MODÈLE À LA PLATE-FORME EMBARQUÉE 1 DU MODÈLE À LA PLATE-FORME EMBARQUÉE Versailles, 29 novembre 2011 Journée «Des spécifications à la validation temps réel» 2 DU MODÈLE À LA PLATE-FORME EMBARQUÉE Versailles, 29 novembre 2011 UTILISATION

Plus en détail

Animation de la démarche Santé et Sécurité au Travail pour Les Crudettes SAS

Animation de la démarche Santé et Sécurité au Travail pour Les Crudettes SAS MINISTERE DE L AGRICULTURE LES CRUDETTES SAS www.lescrudettes.com MÉMOIRE DE FIN D ÉTUDES présenté pour l obtention du diplôme d ingénieur agronome spécialisation : Agro-alimentaire option : QUALI-RISQUES

Plus en détail

Journée INSPIRE 2008 du CNIG. Les services en réseau. Jean-Jacques Serrano (BRGM)

Journée INSPIRE 2008 du CNIG. Les services en réseau. Jean-Jacques Serrano (BRGM) Journée INSPIRE 2008 du CNIG Les services en réseau Jean-Jacques Serrano (BRGM) Plan Etat des travaux relatifs aux services en réseau : 1 Documents disponibles 2 Architecture INSPIRE 3 Les services de

Plus en détail

Hubert TCHAKOUTE TCHUIGOUA

Hubert TCHAKOUTE TCHUIGOUA Hubert TCHAKOUTE TCHUIGOUA Associate Professor of Corporate Finance and Microfinance Kedge Business School hubert.tchakoute@kedgebs.com Current Position Since July 2013 Kedge Business School, Campus of

Plus en détail

CONCEPTS ET MISE EN PRATIQUE POUR LA VALIDATION DE GRANDS SYSTÈMES

CONCEPTS ET MISE EN PRATIQUE POUR LA VALIDATION DE GRANDS SYSTÈMES MODEL-BASED TESTING (MBT) CONCEPTS ET MISE EN PRATIQUE POUR LA VALIDATION DE GRANDS SYSTÈMES Le Model-Based Testing est une pratique de test en plein développement dans l'industrie pour accroitre l'efficacité

Plus en détail

Une architecture logicielle pour la modélisation et simulation orientée agents de chaînes logistiques

Une architecture logicielle pour la modélisation et simulation orientée agents de chaînes logistiques Une architecture logicielle pour la modélisation et simulation orientée agents de chaînes logistiques Karam MUSTAPHA Domaine Universitaire de Saint-Jérôme Avenue Escadrille Normandie-Niemen 13397 MARSEILLE

Plus en détail

Méthode, modèles et outil pour la méta-modélisation des processus d ingénierie de systèmes d information

Méthode, modèles et outil pour la méta-modélisation des processus d ingénierie de systèmes d information Méthode, modèles et outil pour la méta-modélisation des processus d ingénierie de systèmes d information Charlotte Hug To cite this version: Charlotte Hug. Méthode, modèles et outil pour la méta-modélisation

Plus en détail

Vers un outil d aide à la gestion des risques dans les chaînes logistiques : les bases conceptuelles

Vers un outil d aide à la gestion des risques dans les chaînes logistiques : les bases conceptuelles Vers un outil d aide à la gestion des risques dans les chaînes logistiques : les bases conceptuelles Pierre DAVID, Gülgün ALPAN, Delara SALEH EBRAHIMI & Saleh Eddine BEN JBARA Laboratoire G-SCOP 46, av

Plus en détail

IoT Intelligence Of Teams Un nouveau paradigme

IoT Intelligence Of Teams Un nouveau paradigme IoT Intelligence Of Teams Un nouveau paradigme Hélène Sancerres Directeur de la conduite du changement @hsancerr sancerreshelene Fabien Medat Directeur technique Collaboration @fmedat fmedat Bruno Caille

Plus en détail

Ingénierie et gestion des connaissances

Ingénierie et gestion des connaissances Master Web Intelligence ICM Option Informatique Ingénierie et gestion des connaissances Philippe BEAUNE Philippe.Beaune@emse.fr 18 novembre 2008 Passer en revue quelques idées fondatrices de l ingénierie

Plus en détail

MEGA Suite & Méthodologie avancée

MEGA Suite & Méthodologie avancée MEGA Suite & Méthodologie avancée Programme de formation 2013 Outils de modélisation MEGA Process MEGA Process - BPMN Edition MEGA Architecture MEGA System Blueprint MEGA Database Builder MEGA Control

Plus en détail

Editing and managing Systems engineering processes at Snecma

Editing and managing Systems engineering processes at Snecma Editing and managing Systems engineering processes at Snecma Atego workshop 2014-04-03 Ce document et les informations qu il contient sont la propriété de Ils ne doivent pas être copiés ni communiqués

Plus en détail

Technical Capability in SANRAL. Les compétences et capacités techniques du SANRAL. Solutions. Les solutions

Technical Capability in SANRAL. Les compétences et capacités techniques du SANRAL. Solutions. Les solutions Technical Capability in SANRAL Les compétences et capacités techniques du SANRAL Solutions Les solutions 2 3 2007 SANRAL 2007 SANRAL Continuous change Integrated, systemic solutions Global focus Multiple

Plus en détail

Séminaire «Développement Agile Collaboratif et Modélisation UML», 18 mars 2010 Du modèle au code - techniques de transformation de modèle

Séminaire «Développement Agile Collaboratif et Modélisation UML», 18 mars 2010 Du modèle au code - techniques de transformation de modèle } } Séminaire «Développement Agile Collaboratif et Modélisation UML», 18 mars 2010 Du modèle au code - techniques de transformation de modèle Michel VACHER, Business development Paris November 2009 / Sodius.

Plus en détail

La vie privée à l ère du numérique : approches philosophiques et informatiques

La vie privée à l ère du numérique : approches philosophiques et informatiques La vie privée à l ère du numérique : approches philosophiques et informatiques - Doctorant Encadrement : Christine Verdier, Philippe Saltel Aurelien.Faravelon@imag.fr 1 Plan Introduction : un monde de

Plus en détail

Software Design (Guide to the SWEBOK)

Software Design (Guide to the SWEBOK) Software Design (Guide to the SWEBOK) Slide 1 Guy Tremblay Dépt. d informatique UQAM MIG8500 Hiver 2002 Aperçu 1. Qu est-ce que le Software Design? 2. Comme le SD Knowledge Area du guide est-il organisé?

Plus en détail

Qu est ce que le Model Based Testing? Bertrand Cornanguer 7 juin 2013 Journées scientifiques Nantes

Qu est ce que le Model Based Testing? Bertrand Cornanguer 7 juin 2013 Journées scientifiques Nantes Qu est ce que le Model Based Testing? Bertrand Cornanguer 7 juin 2013 Journées scientifiques Nantes 1 Sommaire Partie I Introduction au Model-Based Testing Comprendre ce qu est le Model Based Testing Le

Plus en détail

Des buts à la modélisation système : une approche de modélisation des exigences centrée utilisateur

Des buts à la modélisation système : une approche de modélisation des exigences centrée utilisateur Des buts à la modélisation système : une approche de modélisation des exigences centrée utilisateur Fernando Wanderley * Nicolas Belloir ** Jean-Michel Bruel *** Nabil Hameurlain ** JoãoAraújo * * CITI,

Plus en détail

NOVA BPM. «Première solution BPM intégr. Pierre Vignéras Bull R&D

NOVA BPM. «Première solution BPM intégr. Pierre Vignéras Bull R&D NOVA BPM «Première solution BPM intégr grée» Pierre Vignéras Bull R&D Définitions Business Process Pratiques existantes qui permettent aux personnes et systèmes de travailler ensemble Business Process

Plus en détail

Évolution du coffre à outils de l analyste d affaires Êtes-vous prêts?

Évolution du coffre à outils de l analyste d affaires Êtes-vous prêts? Évolution du coffre à outils de l analyste d affaires Êtes-vous prêts? Présenté par Gilles Morin Conférence de l IIBA Québec 10 avril 2013 2 10 avril 2013 Objectif Explorer la nouvelle boîte à outils de

Plus en détail

Urbanisation de système d'information. PLM 4 (Product Lifecycle Management) Préoccupation d'assurance qualité Processus et Procédures

Urbanisation de système d'information. PLM 4 (Product Lifecycle Management) Préoccupation d'assurance qualité Processus et Procédures Urbanisation de système d'information PLM 4 (Product Lifecycle Management) Préoccupation d'assurance qualité Processus et Procédures Urbanisation des Systèmes d'information - Henry Boccon-Gibod 1 De quoi

Plus en détail

Un outil de modélisation de la variabilité intégré à un environnement multi-vues

Un outil de modélisation de la variabilité intégré à un environnement multi-vues Un outil de modélisation de la variabilité intégré à un environnement multi-vues Date /Référence Journée Transformations de modèles et outillage de l IDM 7 novembre 2011 Olivier Barais (INRIA, Triskell)

Plus en détail

Exécution de processus

Exécution de processus Exécution de processus Electif SOA Cécile Hardebolle cecile.hardebolle@supelec.fr Programme 21 jan. 22 jan. Introduction. Enjeux, rôle de l'architecte SI Partie n 1 du cas d'étude Architectures applicatives

Plus en détail

Une approche modèle dans la conception de systèmes sur puce hétérogènes

Une approche modèle dans la conception de systèmes sur puce hétérogènes Une approche modèle dans la conception de systèmes sur puce hétérogènes Jean-Luc Dekeyser et Lossan Bondé FETCH 07 IP dans le SoC 100% Réutilisé 80% Spécifique 60% 40% 20% 0% 1999 2002 2005 2008 2011 2014

Plus en détail

Construction et enrichissement d une ontologie à partir d un corpus de textes

Construction et enrichissement d une ontologie à partir d un corpus de textes Lyon - France Construction et enrichissement d une ontologie à partir d un corpus de textes Rokia BENDAOUD LORIA Campus Scientifique - BP 239 54506 VANDOEUVRE-lès-NANCY CEDEX {Rokia.Bendaoud}@loria.fr

Plus en détail

Exécution de processus

Exécution de processus Exécution de processus Mineure SOA Cécile Hardebolle cecile.hardebolle@supelec.fr Programme 8 nov. 15 nov. Introduction. Enjeux, rôle de l'architecte SI Partie n 1 du cas d'étude Architecture et cartographie

Plus en détail

Résultats des projets CARROLL. Bilan et perspectives. Ingénierie logicielle orientée modèle MDD

Résultats des projets CARROLL. Bilan et perspectives. Ingénierie logicielle orientée modèle MDD Résultats des projets CARROLL Bilan et perspectives Ingénierie logicielle orientée modèle MDD Serge Salicki, THALES Workshop CARROLL 23 septembre 2005 THALES et le MDE Le MDE est dans la strategie de THALES

Plus en détail

INSPIRE. Les services en réseau. Un tour d horizon

INSPIRE. Les services en réseau. Un tour d horizon INSPIRE Les services en réseau Un tour d horizon Jean-Jacques Serrano Rencontres SIG La Lettre 2009, ENSG Marne La Vallée 13 Mai 2009 Plan Un tour d horizon des services en réseau : 1 Documents disponibles

Plus en détail

Mineure Architectures Orientées Services SOA Exécution de processus. Mineure SOA. Exécution de processus

Mineure Architectures Orientées Services SOA Exécution de processus. Mineure SOA. Exécution de processus Mineure SOA Exécution de processus Idir AIT SADOUNE idir.aitsadoune@supelec.fr Idir AIT SADOUNE - Plan 1 Qu'est-ce qu'exécuter un processus? 2 Moteur de workflow 3 Moteur d'orchestration,

Plus en détail

Documentation BPMn sous Bizagi

Documentation BPMn sous Bizagi Documentation BPMn sous Bizagi MAJ 20/01/2015 Ce document regroupe les fiches utilisateurs décrivant l utilisation du modeleur «Bizagi BPM» et les consignes d utilisation dans le cadre des projets NADAP.

Plus en détail

Modélisation des Interfaces Multidisciplinaires pour la Conception de Systèmes Mécatroniques

Modélisation des Interfaces Multidisciplinaires pour la Conception de Systèmes Mécatroniques 20 èmes journées STP du GdR MACS Jeudi 5 et Vendredi 6 février 2015 Modélisation des Interfaces Multidisciplinaires pour la Conception de Systèmes Mécatroniques Chen Zheng, Julien Le Duigou, Matthieu Bricogne,

Plus en détail

Mémoires 2011-2012. Euranova R&D. Objet du document. Contenu

Mémoires 2011-2012. Euranova R&D. Objet du document. Contenu Euranova R&D Euranova est une société Belge constituée depuis le 1er Septembre 2008. Sa vision est simple: «Être un incubateur technologique focalisé sur l utilisation pragmatique des connaissances». Les

Plus en détail

Rapport d étude bibliographique

Rapport d étude bibliographique Rapport d étude bibliographique David SUAREZ Janvier 2011 Encadrants : Joël CHAMPEAU, Stephen CREFF Equipe : LISyC équipe IDM, ENSIETA Plan 1. Introduction... 3 2. Ingénierie Dirigée par les Modèles (IDM)...

Plus en détail

LÉO, assistant logiciel pour une scénarisation pédagogique dirigée par les compétences

LÉO, assistant logiciel pour une scénarisation pédagogique dirigée par les compétences LÉO, assistant logiciel pour une scénarisation pédagogique dirigée par les compétences Julien Contamines Julien.contamines@licef.ca 17 novembre 2009 Université Laval, Québec Contexte PRIOWS (2009-2011,

Plus en détail

OpenESB Libre, standard, outillé, documenté et supporté

OpenESB Libre, standard, outillé, documenté et supporté OpenESB Libre, standard, outillé, documenté et supporté Alexis Moussine-Pouchkine Sun Microsystems, Inc. Constat Les projets d'intégration sont mono-éditeur Est-ce viable à long terme? Quel(s) Standard(s)

Plus en détail

1993 Baccalauréat (S). Mention Assez Bien. FORMATION

1993 Baccalauréat (S). Mention Assez Bien. FORMATION Sana GUETAT Avenue Olivier Messiaen, 72085 Le Mans cedex 9 (33) 02 43 83 35 34- Fax : (33) 02 43 83 31 35 Sana.Guetat@univ-lemans.fr http://www.univ-lemans.fr FORMATION 2008 Doctorat en Sciences de Gestion,

Plus en détail

Etat de l art sur l utilisation des techniques Web Sémantique en ECD

Etat de l art sur l utilisation des techniques Web Sémantique en ECD Etat de l art sur l utilisation des techniques Web Sémantique en ECD Hicham Behja ENSAM Meknès(1,2,3) Brigitte Trousse Projet AxIS INRIA Sophia Antipolis (2) Abdelaziz Marzak Faculté des sciences Casablanca

Plus en détail

REMOTE DATA ACQUISITION OF EMBEDDED SYSTEMS USING INTERNET TECHNOLOGIES: A ROLE-BASED GENERIC SYSTEM SPECIFICATION

REMOTE DATA ACQUISITION OF EMBEDDED SYSTEMS USING INTERNET TECHNOLOGIES: A ROLE-BASED GENERIC SYSTEM SPECIFICATION REMOTE DATA ACQUISITION OF EMBEDDED SYSTEMS USING INTERNET TECHNOLOGIES: A ROLE-BASED GENERIC SYSTEM SPECIFICATION THÈSE N O 2388 (2001) PRÉSENTÉE AU DÉPARTEMENT D'INFORMATIQUE ÉCOLE POLYTECHNIQUE FÉDÉRALE

Plus en détail

Programme de formation MEGA

Programme de formation MEGA Programme de formation MEGA 2014 Dans le cadre de la MEGA University, MEGA propose des séminaires de formation sur l approche, la méthodologie et les outils MEGA. Ces formations animées par des consultants

Plus en détail

Adaptation d'applications à de nouveaux contextes d'utilisation: le projet SECAS. Tarak Chaari

Adaptation d'applications à de nouveaux contextes d'utilisation: le projet SECAS. Tarak Chaari FRE 2672 Adaptation d'applications à de nouveaux contextes d'utilisation: le projet SECAS Tarak Chaari INSA de Lyon Encadreurs: André Flory & Frédérique Laforest Laboratoire d'informatique en Image et

Plus en détail

République Algérienne Démocratique et Populaire Université Mentouri - Constantine Faculté des Sciences et de l ingénieur THÈSE. Pour l obtention du

République Algérienne Démocratique et Populaire Université Mentouri - Constantine Faculté des Sciences et de l ingénieur THÈSE. Pour l obtention du République Algérienne Démocratique et Populaire Université Mentouri - Constantine Faculté des Sciences et de l ingénieur THÈSE Pour l obtention du Numéro d ordre: Numéro de Serie: Doctorat en Sciences

Plus en détail

Franck JAOTOMBO, nationalité Française, né en 1968 Marié, 1 enfant Multiculturel, Français, Anglais, courants

Franck JAOTOMBO, nationalité Française, né en 1968 Marié, 1 enfant Multiculturel, Français, Anglais, courants Page 1 Franck JAOTOMBO, nationalité Française, né en 1968 Marié, 1 enfant Multiculturel, Français, Anglais, courants Formations Universitaires 2013 : M1 Histoire et Philosophie des Sciences Fondamentales

Plus en détail

Mener un projet SOA piloté par les besoins métier

Mener un projet SOA piloté par les besoins métier Mener un projet SOA piloté par les besoins métier Interview «EASYTEAM» du 12 Janvier 2012, postée sur : http://www.itplace.tv Maxime Pawlak, directeur EASYTEAM Paris Vincent Mazelly, Journaliste Aujourd

Plus en détail

Conception, architecture et urbanisation des systèmes d information

Conception, architecture et urbanisation des systèmes d information Conception, architecture et urbanisation des systèmes d information S. Servigne Maître de Conférences, LIRIS, INSA-Lyon, F-69621 Villeurbanne Cedex e-mail: sylvie.servigne@insa-lyon.fr 1. Introduction

Plus en détail

The potential of the building sector in sustainable and lowcarbon

The potential of the building sector in sustainable and lowcarbon The potential of the building sector in sustainable and lowcarbon strategies Arab Hoballah, UNEP SUSTAINABLE AND COMPETITIVE HOTELS THROUGH ENERGY INNOVATION - NEZEH 2015 L'INNOVATION ÉNERGÉTIQUE AU SERVICE

Plus en détail

PROGRAMME DE FORMATION MEGA

PROGRAMME DE FORMATION MEGA PROGRAMME DE FORMATION MEGA 2015 SOMMAIRE MEGA P.3 Dans le cadre de la MEGA University, MEGA propose des séminaires de formation sur l approche, la méthodologie et les outils MEGA. Ces formations animées

Plus en détail

Journée Mondiale de la Normalisation

Journée Mondiale de la Normalisation Journée Mondiale de la Normalisation Recherche et innovation : usage des normes dans les s régulés Introduction: Confiance & Services IT «Systèmes de s» eco-systèmes d enterprises offrant des s combinés

Plus en détail

Iyad Alshabani SysCom - CReSTIC Université de Reims 17/02/2011 1

Iyad Alshabani SysCom - CReSTIC Université de Reims 17/02/2011 1 SysCom - CReSTIC Université de Reims 17/02/2011 1 Motivation Gestion des expérimentations Avec les workflows Simulation Simulation des Systèmes Distribués ANR USS SimGrid Campagne de Test et gestion de

Plus en détail

Conférences invitées

Conférences invitées Conférences invitées The Process of Process Modeling Barbara Weber University of Innsbruck, Austria Barbara.Weber@uibk.ac.at ABSTRACT. Business process models have gained significant importance due to

Plus en détail

Management des Systèmes d Information

Management des Systèmes d Information Spécialité Réseaux (RES) UE: Management des systèmes d'information [mnsi, NI303] M2IRT 2012 1 ère année Management des Systèmes d Information Unité 2 - Les principaux types de SI dans l entreprise Gilles

Plus en détail

Les Lignes de Produits Logiciels (Software Product Lines) Tewfik Ziadi UPMC/LIP6 tewfik.ziadi@lip6.fr

Les Lignes de Produits Logiciels (Software Product Lines) Tewfik Ziadi UPMC/LIP6 tewfik.ziadi@lip6.fr Les Lignes de Produits Logiciels (Software Product Lines) Tewfik Ziadi UPMC/LIP6 tewfik.ziadi@lip6.fr 1. Plusieurs modèles de téléphones. 2. Des utilisateurs à travers le monde Plusieurs versions de la

Plus en détail

Représentation graphique de scénarios pédagogiques abstraits : expérimentation entre IMS-LD et UML

Représentation graphique de scénarios pédagogiques abstraits : expérimentation entre IMS-LD et UML Session 3. Système de production et de gestion de contenu Représentation graphique de scénarios pédagogiques abstraits : expérimentation entre IMS-LD et UML Pierre Laforcade MCF 27 pierre.laforcade@lium.univ-lemans.fr

Plus en détail

IFT2251 : Génie logiciel

IFT2251 : Génie logiciel 4.1. Introduction à UML IFT2251 : Génie logiciel 1. Approches de développement 2. Introduction à UML (une méthodologie basée sur l approche orientée aspect) 3. Rappel de quelques concepts objets Chapitre

Plus en détail

Cycle de vie du logiciel. Unified Modeling Language UML. UML: définition. Développement Logiciel. Salima Hassas. Unified Modeling Language

Cycle de vie du logiciel. Unified Modeling Language UML. UML: définition. Développement Logiciel. Salima Hassas. Unified Modeling Language Unified Modeling Language UML Salima Hassas Version Cycle de vie du logiciel Client Besoins Déploiement Analyse Test Conception Cours sur la base des transparents de : Gioavanna Di Marzo Serugendo et Frédéric

Plus en détail

Séminaire Sûreté de Fonctionnement - LIX Franck MARLE Novembre 2012

Séminaire Sûreté de Fonctionnement - LIX Franck MARLE Novembre 2012 Séminaire Sûreté de Fonctionnement - LIX Franck MARLE Novembre 2012 1 2 Problématique posée par la complexité Application du processus MAD au projet Tramway 3 Modélisation 4 Analyse 5 Décision 2 Complexité

Plus en détail

π-diapason : un langage pour la formalisation des architectures orientées services Web

π-diapason : un langage pour la formalisation des architectures orientées services Web π-diapason : un langage pour la formalisation des architectures orientées services Web Frédéric Pourraz* Hervé Verjus* Flavio Oquendo** * LISTIC Université de Savoie B.P. 806, F - 74016 Annecy Cedex {frederic.pourraz,

Plus en détail

Vérifica(on et Valida(on de Business Process. Ang Chen et Levi Lúcio

Vérifica(on et Valida(on de Business Process. Ang Chen et Levi Lúcio Vérifica(on et Valida(on de Business Process Ang Chen et Levi Lúcio Résumé Méthodologie de développement Architecture & environnement pour le développement des processus mé(er Modèle opéra(onnel Vérifica(on

Plus en détail

Analyse de données symboliques et graphe de connaissances d un agent

Analyse de données symboliques et graphe de connaissances d un agent d un agent Philippe Caillou*, Edwin Diday** *LAMSADE - Université Paris Dauphine Place du maréchal de Lattre de Tassigny 7516 Paris caillou@lamsade.dauphine.fr **CEREMADE - Université Paris Dauphine Place

Plus en détail

DSL. Domain Specific Language. À l'aide des technologies Eclipse Modeling. Goulwen Le Fur goulwen.lefur@obeo.fr. Le 23 novembre 2012

DSL. Domain Specific Language. À l'aide des technologies Eclipse Modeling. Goulwen Le Fur goulwen.lefur@obeo.fr. Le 23 novembre 2012 DSL Domain Specific Language À l'aide des technologies Eclipse Modeling Le 23 novembre 2012 Goulwen Le Fur goulwen.lefur@obeo.fr Le but de cette session Montrer : Ce qu'est-un DSL/DSM Comment implémenter

Plus en détail