Auto-explication des Chorégraphies de Services



Documents pareils
Forthcoming Database

Sujet de thèse CIFRE RESULIS / LGI2P

ARDUIN Pierre-Emmanuel

Courses available for exchange students 4 th year

Adaptation dynamique de processus métier

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

IFT2255 : Génie logiciel

26th of March 2014, Paris

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

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

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

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

Master in International and European Business - Year 2

Conception, architecture et urbanisation des systèmes d information

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

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

Editing and managing Systems engineering processes at Snecma

Management des Systèmes d Information

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

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

Exécution de processus

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

Exécution de processus

DSL. Domain Specific Language. À l'aide des technologies Eclipse Modeling. Goulwen Le Fur Le 23 novembre 2012

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

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

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

Recherche et Formation dans un environnement de pointe. Contact:

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

Ingénierie et gestion des connaissances

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

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

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

Business Process Modeling (BPM)

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

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

Journée Mondiale de la Normalisation

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

Retour d expériences avec UML

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

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

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

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

Modélisation des processus métiers PowerAMC 16.5

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

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

Viser une démarche de recherche organisée

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

Modelio by Modeliosoft

Proposition de sujet de thèse CIFRE EUROCOPTER / LGI2P

An EU COFUND project

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

Modélisation des processus métiers PowerAMC 16.0

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

Démarches d urbanisation : réorganiser le Système d Information en structurant ses fonctions dans des blocs fonctionnels communicants.

Partner Business School

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

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

Digitalisation de l Industrie Bancaire

Les Lignes de Produits Logiciels (Software Product Lines) Tewfik Ziadi UPMC/LIP6

CURRICULUM VITAE. Informations Personnelles

Sommaire. Introduction La technologie ebxml EDI conventionnels versus ebxml Web Services et ebxml Acteurs de l ebxml Conclusion

UML est-il soluble dans les méthodes agiles?

BIG Data et R: opportunités et perspectives

Sub-Saharan African G-WADI

Application de la méthode QFD comme outil d'extraction des connaissances métier en conception intégrée

Mettre en oeuvre Cisco Data Center Unified Fabric

Présentation par François Keller Fondateur et président de l Institut suisse de brainworking et M. Enga Luye, CEO Belair Biotech

Environnement logiciel basé sur les modèles pour la conception collaborative de produit

Plan. Quelles sont les conditions à remplir pour une approche ebusiness? Définition. Les domaines pouvant être touchés par l ebusiness

Ingénierie des Modèles. Méta-modélisation

Infrastructure PLM pour la capitalisation et la réutilisation de données en conception mécanique

Vinci Consulting Conseil en Stratégie d innovation

CNAM cours NFE107 : Urbanisation et architecture des SI Xavier Godefroy, Rapport sur le BPM, mai Le BPM

QUELQUES ÉLÉMENTS DU DÉVELOPPEMENT LOGICIEL

Collaboration des Processus Métiers dans les Echanges inter-entreprises (B2B) basée sur le Web Service Resource Framework (WSRF) du Grid

Programmation de services en téléphonie sur IP

Modélisation des processus métiers et standardisation

La formation p. 2. Les doctorants témoignent p. 3. Le programme 2010 p. 5. Comment candidater? p. 6. Le label Docteur pour l entreprise p.

«39 years of experience» ( )

WEB15 IBM Software for Business Process Management. un offre complète et modulaire. Alain DARMON consultant avant-vente BPM

Les Systèmes d Information Géographique dans l Entreprise

IBM Business Process Manager

SILICON SENTIER UNE ASSOCIATION D ENTREPRISES LOI siliconsentier.org

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

Evolution des SI à l heure du Cloud

Transformation IT de l entreprise BPM ET APPROCHE MÉTIER

ATELIER : INTERNATIONALISATION DE L INNOVATION ET LEVIERS EUROPEENS 1 PARTICIPATION AUX PROGRAMMES ACTUELS

Génie logiciel avec UML. Notions sur le langage UML adapté pour les cours du programme Techniques de l informatique

Quels nouveaux outils pour accompagner le développement de nos professions?

Propriétés du Document EMA. Résumé

Solutions Exploitation de contenus

Cours en ligne Développement Java pour le web

Présentation du programme de Master en gestion

Intégration des approches SOA et orientée objet pour modéliser une orchestration cohérente de services

Urbanisation des systèmes d information

Limites de l évaluation d un Système d Information : une analyse fondée sur l expérience pratique

MANAGEMENT SOFTWARE FOR STEEL CONSTRUCTION

1-Introduction 2. 2-Installation de JBPM 3. 2-JBPM en action.7

Macroscope et l'analyse d'affaires. Dave Couture Architecte principal Solutions Macroscope

Transcription:

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

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

Service Orchestration Orchestration Orchestration service service service service 3 http://www.denver.org/images/memberimages/cropped_553x300/474_20081212_7450_cosymphonyorchestra.jpg

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

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

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

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

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

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

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

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

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

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

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

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

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