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

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

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

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

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

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

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

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*,** * Aix-Marseille Université LSIS (UMR CNRS 7296) Domaine universitaire de St Jérôme, Av. Escadrille

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

- 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Les facteurs clés pour la réussite d un projet BI

Les facteurs clés pour la réussite d un projet BI Les facteurs clés pour la réussite d un projet BI Présenté par: Abdelkerim REZGUI GM BI4YOU www.biforyou.com Hammamet, 31 Mai 2014 Agenda 1. BI4YOU 2. Introduction BI 3. 4. 5. 6. Projet BI Méthodologie

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

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 «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

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

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

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

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

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

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

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

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

Programmation par les utilisateurs finaux : Composition d'applications Web respectueuse de la vie privée

Programmation par les utilisateurs finaux : Composition d'applications Web respectueuse de la vie privée Programmation par les utilisateurs finaux : Composition d'applications Web respectueuse de la vie privée Aurélien Faravelon 1, Eric Céret 2, Christine Verdier 1 1. Laboratoire d'informatique de Grenoble,

Plus en détail

Toutes les marques citées dans cet ouvrage sont des marques déposées par leurs propriétaires respectifs.

Toutes les marques citées dans cet ouvrage sont des marques déposées par leurs propriétaires respectifs. Toutes les marques citées dans cet ouvrage sont des marques déposées par leurs propriétaires respectifs. Philippe Desfray, Gilbert Raymond et les éditions Dunod remercient The Open Group pour les autorisations

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

Mineure Architectures Orientées Services SOA Business Process Modeling (BPM) Mineure SOA. Business Process Modeling (BPM)

Mineure Architectures Orientées Services SOA Business Process Modeling (BPM) Mineure SOA. Business Process Modeling (BPM) Mineure SOA Business Process Modeling (BPM) Idir AIT SADOUNE idir.aitsadoune@supelec.fr Idir AIT SADOUNE - Plan 1 Notion de processus? 2 Modélisation des processus? 3 Langages

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

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

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

Recherche et Formation dans un environnement de pointe. Contact: Eric.Beaugnon@ujf-grenoble.fr

Recherche et Formation dans un environnement de pointe. Contact: Eric.Beaugnon@ujf-grenoble.fr Recherche et Formation dans un environnement de pointe Contact: Eric.Beaugnon@ujf-grenoble.fr 1 Grenoble: forte synergie recherche formation relations industrielles Années 8 International training courses

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

Plan. 1. Introduction. 1.1 Notion de réseau. Réseau extrémité. Le cœur du réseau. Les Protocoles de Télécommunications Evolution Internet Cours de DEA

Plan. 1. Introduction. 1.1 Notion de réseau. Réseau extrémité. Le cœur du réseau. Les Protocoles de Télécommunications Evolution Internet Cours de DEA Plan Les Protocoles de Télécommunications Evolution Internet Cours de DEA Isabelle CHRISMENT ichris@loria.fr Introduction Routage dans l Internet IPv6 Communication de groupes et l Internet x sans fils,

Plus en détail

ADELFE : Atelier de développement de logiciels à fonctionnalité émergente

ADELFE : Atelier de développement de logiciels à fonctionnalité émergente ADELFE : Atelier de développement de logiciels à fonctionnalité émergente Gauthier Picard*, Carole Bernon*, Valérie Camps**, Marie- Pierre Gleizes* * Institut de Recherche en Informatique de Toulouse Université

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

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

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

ORCHESTRATION A HAUT NIVEAU ET BPEL

ORCHESTRATION A HAUT NIVEAU ET BPEL UFR Informatique & Mathématiques Appliquées LSR - ADELE ECOLE DOCTORALE MATHEMATIQUES, SCIENCES ET TECHNOLOGIES DE L INFORMATION, INFORMATIQUE Master Mathématiques Informatique 2e année, Recherche Spécialité

Plus en détail

GEIDE MSS /IGSS. The electronic document management system shared by the Luxembourg

GEIDE MSS /IGSS. The electronic document management system shared by the Luxembourg GEIDE MSS /IGSS The electronic document management system shared by the Luxembourg Social Security Ministry and IGSS Introduction: The administrative context IGSS missions Legal and international affairs

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

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

Présentation d EUPATI

Présentation d EUPATI The project is supported by the Innovative Medicines Initiative Joint Undertaking under grant agreement n 115334, resources of which are composed of financial contribution from the European Union's Seventh

Plus en détail

Business Process Modeling (BPM)

Business Process Modeling (BPM) Business Process Modeling (BPM) 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

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

FOUNDATIONS OF SYSTEMS AND PROPERTIES: METHODOLOGICAL SUPPORT FOR MODELING PROPERTIES OF SOFTWARE-INTENSIVE SYSTEMS

FOUNDATIONS OF SYSTEMS AND PROPERTIES: METHODOLOGICAL SUPPORT FOR MODELING PROPERTIES OF SOFTWARE-INTENSIVE SYSTEMS FOUNDATIONS OF SYSTEMS AND PROPERTIES: METHODOLOGICAL SUPPORT FOR MODELING PROPERTIES OF SOFTWARE-INTENSIVE SYSTEMS THÈSE N O 3013 (2004) PRÉSENTÉE À LA FACULTÉ INFORMATIQUE ET COMMUNICATIONS Institut

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

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

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

High Quality P2P Service Provisioning via Decentralized Trust Management

High Quality P2P Service Provisioning via Decentralized Trust Management High Quality P2P Service Provisioning via Decentralized Trust Management THÈSE N O 4711 (2010) PRÉSENTÉE LE 31 MAI 2010 À LA FACULTÉ INFORMATIQUE ET COMMUNICATIONS LABORATOIRE DE SYSTÈMES D'INFORMATION

Plus en détail

UNE DÉMARCHE D ANALYSE À BASE DE PATRONS POUR LA DÉCOUVERTE DES BESOINS MÉTIER D UN SID

UNE DÉMARCHE D ANALYSE À BASE DE PATRONS POUR LA DÉCOUVERTE DES BESOINS MÉTIER D UN SID 1 UNE DÉMARCHE D ANALYSE À BASE DE PATRONS POUR LA DÉCOUVERTE DES BESOINS MÉTIER D UN SID 31 janvier 2012 Bordeaux Présentée par :Mme SABRI Aziza Encadrée par : Mme KJIRI Laila Plan 2 Contexte Problématique

Plus en détail

Retour d expériences avec UML

Retour d expériences avec UML Retour d expériences avec UML UML pour les systèmes biologiques Marie-Hélène Moirez-Charron, UMR AGIR, équipe MAGE INRA Toulouse mailto:marie-helene.charron@toulouse.inra.fr PLAN Contexte de travail UML,

Plus en détail

Modélisation Principe Autre principe

Modélisation Principe Autre principe Modélisation Principe : un modèle est une abstraction permettant de mieux comprendre un objet complexe (bâtiment, économie, atmosphère, cellule, logiciel, ). Autre principe : un petit dessin vaut mieux

Plus en détail

Notice biographique Repères biographiques communs. Nom : NURCAN Prénom : SELMIN Section : 27. Centre de Recherche en Informatique (CRI)

Notice biographique Repères biographiques communs. Nom : NURCAN Prénom : SELMIN Section : 27. Centre de Recherche en Informatique (CRI) Notice biographique Repères biographiques communs Nom : NURCAN Prénom : SELMIN Section : 27 Corps : Maître de conférences Equipe de recherche Grade : Hors classe Centre de Recherche en Informatique (CRI)

Plus en détail

Portrait de la recherche en commerce électronique 2001-2006 Revue des principales revues en Marketing et SI

Portrait de la recherche en commerce électronique 2001-2006 Revue des principales revues en Marketing et SI Portrait de la recherche en commerce électronique 2001-2006 Revue des principales revues en Marketing et SI Serey-Bopha Sandrine Prom Tep Candidate au PhD, HEC Montréal 18 avril 2008 1 Plan de la présentation

Plus en détail

Module Business Process Management & Service Oriented Architecture

Module Business Process Management & Service Oriented Architecture - 1 - Module Business Process Management & Service Oriented Architecture SI5/Master IFI Audrey Occello occello@polytech.unice.fr http://moodle.i3s.unice.fr/course/view.php?id=55 Pour ceux qui ne sont pas

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

Planification, Elaboration budgétaire, Simulation, Analyse Temps Réel BAO02. Cognos TM1. Pascal DELVAL, Customer Technical Professional

Planification, Elaboration budgétaire, Simulation, Analyse Temps Réel BAO02. Cognos TM1. Pascal DELVAL, Customer Technical Professional Planification, Elaboration budgétaire, Simulation, Analyse Temps Réel BAO02 Cognos TM1 Pascal DELVAL, Customer Technical Professional 2010 IBM Corporation 3 Ensemble complet de Fonctionnalités BI Requête

Plus en détail

DEA ès Sciences de Gestion. DES en Sciences Economiques. Ingénieur diplômé de l'ecole Polytechnique de Paris.

DEA ès Sciences de Gestion. DES en Sciences Economiques. Ingénieur diplômé de l'ecole Polytechnique de Paris. Education René Demeestere Emeritus Professor, Department Accounting and Management Control DEA ès Sciences de Gestion. DES en Sciences Economiques. Ingénieur diplômé de l'ecole Polytechnique de Paris.

Plus en détail

Qualité de la conception de tests logiciels : plate-forme de conception et processus de test

Qualité de la conception de tests logiciels : plate-forme de conception et processus de test Ecole Doctorale en Sciences de l Ingénieur de l ECP Formation doctorale en Génie Industriel Qualité de la conception de tests logiciels : plate-forme de conception et processus de test Quality of the design

Plus en détail

Viser une démarche de recherche organisée

Viser une démarche de recherche organisée Etat de l art sur les travaux portant sur les audits en Management des connaissances Ecole Centrale Paris Le 2 décembre 2009 Audit KM - Rapport intermédaire d'avancement 1 Viser une démarche de recherche

Plus en détail

DéSIT Démarche d ingénierie pour les Systèmes d Information Transport ambiants, sécurisés et personnalisables

DéSIT Démarche d ingénierie pour les Systèmes d Information Transport ambiants, sécurisés et personnalisables DéSIT Démarche d ingénierie pour les Systèmes d Information Transport ambiants, sécurisés et personnalisables Début du projet : septembre 2008 Durée prévue : 3 ans Projet du cluster Territoires, Transports

Plus en détail

Modélisation des processus métiers PowerAMC 16.5

Modélisation des processus métiers PowerAMC 16.5 Modélisation des processus métiers PowerAMC 16.5 Windows ID DU DOCUMENT : DC31020-01-1650-01 DERNIERE REVISION : Janvier 2013 Copyright 2013 Sybase, Inc. Tous droits réservés. Cette publication concerne

Plus en détail

ED STIC - Proposition de Sujets de Thèse. pour la campagne d'allocation de thèses 2013

ED STIC - Proposition de Sujets de Thèse. pour la campagne d'allocation de thèses 2013 ED STIC - Proposition de Sujets de Thèse pour la campagne d'allocation de thèses 2013 Axe Sophi@Stic : Titre du sujet : aucun Composition de systèmes d information dirigée par les modèles : une démarche

Plus en détail

Extensions du diagramme d activité pour contrôler l accès au SI

Extensions du diagramme d activité pour contrôler l accès au SI Extensions du diagramme d activité pour contrôler l accès au SI Salim Chehida 1, Akram Idani 2, Yves Ledru 3, Mustapha Kamel Rahmouni 4 1. Université d Oran Es-sénia 31000 Oran, Algérie Salim.Chehida@imag.fr

Plus en détail

Mise en place d un système de cabotage maritime au sud ouest de l Ocean Indien. 10 Septembre 2012

Mise en place d un système de cabotage maritime au sud ouest de l Ocean Indien. 10 Septembre 2012 Mise en place d un système de cabotage maritime au sud ouest de l Ocean Indien 10 Septembre 2012 Les défis de la chaine de la logistique du transport maritime Danielle T.Y WONG Director Logistics Performance

Plus en détail

MAGILLEM: environnement de contrôle de flot pour la conception ESL (Electronic System Level)

MAGILLEM: environnement de contrôle de flot pour la conception ESL (Electronic System Level) MAGILLEM: environnement de contrôle de flot pour la conception ESL (Electronic System Level) Atelier «outils pour l IDM» Mardi 27 janvier 2009 ENSEEIHT - Toulouse Moving from traditional flow to ESL (Electronic

Plus en détail

Architecture Logicielle

Architecture Logicielle Architecture Logicielle Chapitre 3: UML pour la description et la documentation d une architecture logicielle Année universitaire 2013/2014 Semestre 1 Rappel L architecture d un programme ou d un système

Plus en détail

Stage Ingénieur en développement logiciel/modélisation 3D

Stage Ingénieur en développement logiciel/modélisation 3D Ingénieur en développement logiciel/modélisation 3D Schlumberger recrute un(e) stagiaire ingénieur en modélisation 3D pour la plate-forme Petrel. Vous serez intégré(e) au sein d une équipe innovante, Petrel

Plus en détail

Modelio by Modeliosoft

Modelio by Modeliosoft Modelio by Modeliosoft Solutions d entreprise basées sur l atelier leader de modélisation open source Modelio (modelio.org) L atelier de modélisation open source de référence Une solution sur étagère,

Plus en détail

An EU COFUND project 2014 2018

An EU COFUND project 2014 2018 An EU COFUND project 2014 2018 Part of the Marie Curie programme Contributing to their TRAINING Encouraging their MOBILITY To support people who chose research as professional CAREER WHRI-ACADEMY is a

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

Réseau Africain des Organismes de Bassin RAOB African Network of Basin Organizations - ANBO ASSEMBLEE GENERALE GENERAL ASSEMBLY

Réseau Africain des Organismes de Bassin RAOB African Network of Basin Organizations - ANBO ASSEMBLEE GENERALE GENERAL ASSEMBLY Réseau Africain des Organismes de Bassin RAOB African Network of Basin Organizations - ANBO ASSEMBLEE GENERALE GENERAL ASSEMBLY Johannesburg (Afrique du Sud) 4 au 7 mars 2007 Johannesburg (South Africa)

Plus en détail

Proposition de sujet de thèse CIFRE EUROCOPTER / LGI2P

Proposition de sujet de thèse CIFRE EUROCOPTER / LGI2P EUROCOPTER SAS Groupe EADS Marignane Ecole des Mines d Alès Laboratoire de Génie Informatique et d Ingénierie de Production LGI2P Nîmes Proposition de sujet de thèse CIFRE EUROCOPTER / LGI2P Titre Domaine

Plus en détail

Mise en place du Business Activity Monitoring (BAM) pour piloter les processus logistiques grâce aux Echanges de Données Informatisés (EDI)

Mise en place du Business Activity Monitoring (BAM) pour piloter les processus logistiques grâce aux Echanges de Données Informatisés (EDI) Mise en place du Business Activity Monitoring (BAM) pour piloter les processus logistiques grâce aux Echanges de Données Informatisés (EDI) Thierry BIARD (DHL) MSIR 2006-2008 Soutenance de thèse professionnelle

Plus en détail

CADCAMation SA. Shaping a sustainable world... CADCAMation SA www.cadcamation.ch 0227922118

CADCAMation SA. Shaping a sustainable world... CADCAMation SA www.cadcamation.ch 0227922118 CADCAMation SA Shaping a sustainable world... CADCAMation SA 0227922118 NGUYEN Van Khai CADCAMation SA Located in Onex/Genève-Switzerland Founded in 1993 : Fidia KMR SA CAD/CAM competence centre of FIDIA

Plus en détail

Modélisation des processus métiers PowerAMC 16.0

Modélisation des processus métiers PowerAMC 16.0 Modélisation des processus métiers PowerAMC 16.0 Windows ID DU DOCUMENT : DC31020-01-1600-01 DERNIERE REVISION : Juillet 2011 Copyright 2011 Sybase, Inc. Tous droits réservés. Cette publication concerne

Plus en détail

CAPE: Context-Aware Agile Business Process Engine

CAPE: Context-Aware Agile Business Process Engine CAPE: Context-Aware Agile Business Process Engine Irina Rychkova, Manuele Kirsch Pinheiro, Bénédicte Le Grand To cite this version: Irina Rychkova, Manuele Kirsch Pinheiro, Bénédicte Le Grand. CAPE: Context-Aware

Plus en détail

CASTOR: un outil d aide à la conception, l évaluation et l audit d architectures sécurisées

CASTOR: un outil d aide à la conception, l évaluation et l audit d architectures sécurisées CASTOR: un outil d aide à la conception, l évaluation et l audit d architectures sécurisées Dominique Chauveau dominique.chauveau@aql.fr AQL - Groupe SILICOMP Journées Systèmes et Logiciels Critiques Grenoble,14-16

Plus en détail

31/08/2015. Auditing. Comparative Management System. Economie Bancaire. Financial Analysis. Macro-économie Approfondie.

31/08/2015. Auditing. Comparative Management System. Economie Bancaire. Financial Analysis. Macro-économie Approfondie. 09/09/2015 08:30-10:30 Analyse Financière Auditing Comparative Management System Economie Bancaire Financial Analysis Macro-économie Approfondie Marketing Direct Méthodologie de Contrôle Accounting II

Plus en détail

EUREKA Tourism et Projets Européens

EUREKA Tourism et Projets Européens EUREKA Tourism et Projets Européens Jean-Bernard TITZ jbtitz@dev-help.fr Activités principales Accompagnement des PME innovantes dans le montage de partenariats technologiques et financiers avec comme

Plus en détail

Projet ANR-06-SETI-015 RIMEL (Raffinement Incrémental de Modèles événementiels) Rapport intermédiaire annuel

Projet ANR-06-SETI-015 RIMEL (Raffinement Incrémental de Modèles événementiels) Rapport intermédiaire annuel Projet ANR-06-SETI-015 RIMEL (Raffinement Incrémental de Modèles événementiels) Rapport intermédiaire annuel Coordonnateur Dominique Méry LORIA,Université Henri Poincaré Nancy 1 Partenaire 3 Mohamed Mosbah

Plus en détail

Constituer des profils d'experts scientifiques, de centres de recherche et d entreprises innovantes

Constituer des profils d'experts scientifiques, de centres de recherche et d entreprises innovantes Constituer des profils d'experts scientifiques, de centres de recherche et d entreprises innovantes Conférence GFII 12 Février 2014 www.expernova.com [ Le contexte ] Stratégie R&D Projets collaboratifs

Plus en détail

Offre de thèse. Co-encadrant de thèse : HENRY Sébastien Coordonnées électroniques : Sébastien.Henry@univ-lyon1.fr Laboratoire : DISP (www.disp-lab.

Offre de thèse. Co-encadrant de thèse : HENRY Sébastien Coordonnées électroniques : Sébastien.Henry@univ-lyon1.fr Laboratoire : DISP (www.disp-lab. Offre de thèse 1. Profil recherché Issu d une formation d ingénieur ou d un master, le candidat disposera idéalement des compétences dans les domaines suivants : Pilotage des systèmes de production. Systèmes

Plus en détail

CURRICULUM VITAE. Informations Personnelles

CURRICULUM VITAE. Informations Personnelles CURRICULUM VITAE Informations Personnelles NOM: BOURAS PRENOM : Zine-Eddine STRUCTURE DE RATTACHEMENT: Département de Mathématiques et d Informatique Ecole Préparatoire aux Sciences et Techniques Annaba

Plus en détail