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

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

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

Transcription

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

2 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 (test) des processus mé(er Valida(on de propriétés Conclusion

3 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 (test) des processus mé(er Valida(on de propriétés Conclusion

4 Méthodologie de Développement: Générale Domaine Analyser Propriétés Analyser Spécifica(on Tests Tester Implémenta(on

5 Model Driven Développement: Solu(on Idéale Domaine Analyser Propriétés Spécifica(on Tests Implémenta(on

6 Problème Tester le génerateur du code??? Spécifica(on Tests Tester Implémenta(on

7 Méthodologie: Model Driven Development (MDD) Hypothèses: U(liser les langages de modélisa(on formelles et expressives pour le domaine (DSLs), et il y a des moyens de décrire les propriétés et de les valider. L implémenta(on est automa(que sans être assistée par humaine: transforma(on de modèles Actuellement: Il existe mais peu de DSLs sa(sfaisent les condi(ons, par ex. design de circuits Avec UML, BPMN, et BPEL, ce n est pas encore le cas

8 MDD: L état actuel Domaine Analyser Tests Analyser Propriétés Spécifica(on Tester Implémenta(on

9 L état actuel par rapport à processus mé(er Processus mé(er Analyser Tests Analyser Propriétés UML, BPMN etc. Tester Implémenta(on

10 Architecture du système orienté processus Service Oriented Architecture Processus est la composi(on de services Processus Service SI infrastructures, par ex. BDD

11 Notre travail Propriétés UML, BPMN etc. Tests Tester Implémenta(on

12 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 (test) des processus mé(er Valida(on de propriétés Conclusion

13 Cas d étude en BPMN: Demande de crédit

14 Modèle Opéra(onnel Nous traduisons automa(quement le modèle BPMN dans un format intermédiaire APN Ou(llage standard MDD pour la transforma(on de modèles (Ecore Metamodel + ATL) Résultat: modèle opéra(onnel adapté à la généra(on de tests et la vérifica(on de propriétés

15 Modèle Opéra(onnel (2)

16 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 (test) des processus mé(er Valida(on de propriétés Conclusion

17 Test des processus mé(er Vue du système à tester comme une boite noire entrée sortie Implémentation (SUT) sortie entrée sortie entrée

18 Jeu de tests 100 amount entrée yes approval sortie Implémentation (SUT) sortie entrée sortie entrée amount 100 risk amount high 100 approval yes <requestforminput(100) with accessriskoutput(100)> < accessriskinput(high) with approvetaskoutput(1000)> < approvetaskoutput(yes) with responseoutput(yes)>

19 Généra(on automa(que de tous les tests <requestforminput(0) with accessriskoutput(0)> < accessriskinput(high) with approvetaskoutput(0)> < approvetaskoutput(yes) with responseoutput(yes)> <requestforminput(10) with accessriskoutput(10)> < accessriskinput(high) with approvetaskoutput(10)> < approvetaskoutput(yes) with responseoutput(yes)> <requestforminput(0) with accessriskoutput(0)> < accessriskinput(high) with approvetaskoutput(0)> < approvetaskoutput(no) with responseoutput(no)> <requestforminput(10) with accessriskoutput(10)> < accessriskinput(high) with approvetaskoutput(10)> < approvetaskoutput(no) with responseoutput(no)> <requestforminput(0) with accessriskoutput(0)> < accessriskinput(low) with responseoutput(yes)> <requestforminput(10) with accessriskoutput(10)> < accessriskinput(low) with responseoutput(yes)> <requestforminput(10000) with accessriskoutput(10000)> < approvetaskoutput(yes) with responseoutput(yes)> <requestforminput(10010) with accessriskoutput(10010)> < approvetaskoutput(yes) with responseoutput(yes)> <requestforminput(10000) with accessriskoutput(10000)> < approvetaskoutput(no) with responseoutput(no)> <requestforminput(10010) with accessriskoutput(10010)> < approvetaskoutput(no) with responseoutput(no)> Ensemble infini de tests à cause de la valeur d entrée

20 Comment obtenir automa(quement un jeu de tests représenta(f? <requestforminput(10) with accessriskoutput(10)> < accessriskinput(high) with approvetaskoutput(10)> < approvetaskoutput(yes) with responseoutput(yes)> <requestforminput(10) with accessriskoutput(10)> < accessriskinput(high) with approvetaskoutput(10)> < approvetaskoutput(no) with responseoutput(no)> <requestforminput(10) with accessriskoutput(10)> < accessriskinput(low) with responseoutput(yes)> <requestforminput(10010) with accessriskoutput(10010)> < approvetaskoutput(yes) with responseoutput(yes)> <requestforminput(10010) with accessriskoutput(10010)> < approvetaskoutput(no) with responseoutput(no)> 5 tests suffisent, en choisissant 1 valeur < et une autre >= Nous avons les outils pour générer des jeux de tests automatiquement de façon exhaustive ou dirigée Langage SATEL

21 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 (test) des processus mé(er Valida(on de propriétés Conclusion

22 Valida(on de Propriétés Invariance d une ac(vité en ce qui concerne les entrées précédentes: Tout processus qui exécute ce_e ac(vité à eu un ensemble de entrées d une certaine forme Exemple: Tout processus qui exécute l ac(vité InvokeApprover a reçu comme entrées des requêtes avec amount >= ou risk=high

23

24 Valida(on de Propriétés (2) Propriétés génériques (en implémenta(on) Pour chaque ac(vité il existe un processus qui l exécute Tout processus arrive à la fin

25 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 (test) des processus mé(er Valida(on de propriétés Conclusion

26 Conclusion Approach Model Driven Development Chaîne d ou(ls pour la transforma(on, vérifica(on et valida(on de modèle BPMN Ilustra(on avec un pe(t example Propriétés du procesus à determiner au cas par cas

Gouvernance et étude de l impact du changement des processus mé6ers sur les architectures orientées services

Gouvernance et étude de l impact du changement des processus mé6ers sur les architectures orientées services Gouvernance et étude de l impact du changement des processus mé6ers sur les architectures orientées services 30/10/2012 u Soutenance de thèse Karim DAHMAN François CHAROY Claude GODART Evolu1ons des processus

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

CSI4139 / CEG4399 Concep1on de systèmes informa1ques sécurisés Assurance & Évaluation

CSI4139 / CEG4399 Concep1on de systèmes informa1ques sécurisés Assurance & Évaluation CSI4139 / CEG4399 Concep1on de systèmes informa1ques sécurisés Assurance & Évaluation Préparé par Guy- Vincent Jourdan et Marc- André Paris- Clou9er, avec l aide des notes de Bishop pour Introduc9on to

Plus en détail

Nom du client. Date. Client Logo or project name

Nom du client. Date. Client Logo or project name Nom du client Date Client Logo or project name Presenta7on 7tle client name Date Linalis speaker Speaker 7tle Le Groupe Linalis Historique Crée en 2002 Présent en Suisse, France, au Royaume Uni et en Espagne

Plus en détail

Évolu>on et maintenance

Évolu>on et maintenance IFT3912 Développement et maintenance de logiciels Évolu>on et maintenance Bruno Dufour Université de Montréal dufour@iro.umontreal.ca Modifica>on des logiciels Les modifica>ons sont inévitables Des nouveaux

Plus en détail

Les méthodes Agiles. Introduc)on aux méthodes Agiles Exemple : Scrum

Les méthodes Agiles. Introduc)on aux méthodes Agiles Exemple : Scrum Les méthodes Agiles Introduc)on aux méthodes Agiles Exemple : Scrum Défini)on de base Les méthodes Agiles sont des procédures de concep)on de logiciel qui se veulent plus pragma)ques que les méthodes tradi)onnelles

Plus en détail

Développement logiciel pour l Architecture Orientée Services avec IBM Rational Software Development Platform

Développement logiciel pour l Architecture Orientée Services avec IBM Rational Software Development Platform IBM Software Group Développement logiciel pour l Architecture Orientée Services avec IBM Rational Software Development Platform Thierry Bourrier, Techical Consultant thierry.bourrier@fr.ibm.com L Architecture

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

Architects Community. Augmenter la productivité de vos développements JEE grâce à l approche orientée modèles DSM. Bertrand Florat Architecte JEE

Architects Community. Augmenter la productivité de vos développements JEE grâce à l approche orientée modèles DSM. Bertrand Florat Architecte JEE Architects Community Augmenter la productivité de vos développements JEE grâce à l approche orientée modèles DSM Bertrand Florat Architecte JEE 29 janvier 2008 Déroulement de la discussion L inertie du

Plus en détail

Les Bonnes PRATIQUES DU TEST LOGICIEL

Les Bonnes PRATIQUES DU TEST LOGICIEL Les Bonnes PRATIQUES DU TEST LOGICIEL SOMMAIRE Qu est-ce que le test logiciel? Pourquoi le test est-il un maillon crucial de l ingénierie logicielle? Quels sont les différents types de tests? Qu est-ce

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

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

Résultats des projets CARROLL. Bilan et perspectives. Validation et Vérification

Résultats des projets CARROLL. Bilan et perspectives. Validation et Vérification Résultats des projets CARROLL Bilan et perspectives Validation et Vérification Paul Le Guernic, INRIA Workshop CARROLL 23 septembre 2005 Contexte Validation & Vérification dans CARROLL Perspectives Contexte

Plus en détail

Projet. Rappel VBA. Manuele Kirsch Pinheiro - UP1 / CRI / UFR06 Ges>on 28/02/15

Projet. Rappel VBA. Manuele Kirsch Pinheiro - UP1 / CRI / UFR06 Ges>on 28/02/15 Projet Rappel VBA 28/02/15 1 VBA : quoi & pourquoi? VBA : quoi? Langage et environnement de programma>on Orienté Objets A5aché aux documents MS Office VBA : pourquoi? Associer un comportement ac=f à des

Plus en détail

Cours de Génie Logiciel

Cours de Génie Logiciel Cours de Génie Logiciel Sciences-U Lyon MDE Model Driven Engineering http://www.rzo.free.fr Pierre PARREND 1 Mai 2005 Sommaire MDE : principe MDE et le génie logiciel MDE et UML MDE et les Design Patterns

Plus en détail

Présenta6on Isatech. ERP, Décisionnel, Architecture Systèmes & Réseaux. Isatech Tous droits réservés Page 1

Présenta6on Isatech. ERP, Décisionnel, Architecture Systèmes & Réseaux. Isatech Tous droits réservés Page 1 Présenta6on Isatech ERP, Décisionnel, Architecture Systèmes & Réseaux Isatech Tous droits réservés Page 1 L offre globale Couvrir l intégralité de la chaîne du SI Isatech Tous droits réservés Page 2 Isatech

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

L SIO I N O 3 & & PE P R E S R PE P C E TIV I ES E

L SIO I N O 3 & & PE P R E S R PE P C E TIV I ES E INTRODUCTION SOMMAIRE 1 Modélisation de processus et Workflows 2 - Méthodes et outils pour la Modélisation de processus Workflows 3 Notions de flexibilité et d adaptabilité dans les WorkFlow CONCLUSION

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

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

Journées Grandes Marques 2014

Journées Grandes Marques 2014 Journées Grandes Marques 2014 I - STRATÉGIE & OBJECTIFS THINK BIG, START SMALL, MOVE FAST : COMMENT OPTIMISER L'AGILITÉ ET LA PERFORMANCE DE VOS CAMPAGNES GRÂCE AU TAG MANAGEMENT? > Quels sont les retours

Plus en détail

Métamodèle URBA SI v1.0

Métamodèle URBA SI v1.0 Métamodèle URBA SI v1.0 Outillage du cadre commun d urbanisation des SI de l état http://references.modernisation.gouv.fr/urbanisation-du-système-dinformation-de-letat 1 Ce document présente le Métamodèle

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

Entreprise Chiffres clefs

Entreprise Chiffres clefs Présenta)on FRANCK DUPRE: DEUG, Master 2 en Télécom 1997, Université Lille1 ALTRAN : 6 ans, Consultant et Business Manager ALTEN : 4 ans, Directeur d Agence Lille et Paris, puis Managing Director UK SOPRA

Plus en détail

Améliorez et industrialisez vos feedback produit

Améliorez et industrialisez vos feedback produit Améliorez et industrialisez vos feedback produit Jean- Philippe Gillibert, architecte logiciel et coach agile chez Introduc)on Retour d expérience sur un projet à la SNCF Méthode originale de traitement

Plus en détail

H2PS engage ses compétences auprès des entreprises et des parculiers par la mise en place de soluons d accompagnements et de services.

H2PS engage ses compétences auprès des entreprises et des parculiers par la mise en place de soluons d accompagnements et de services. Notre Société H2PS engage ses compétences auprès des entreprises et des parculiers par la mise en place de soluons d accompagnements et de services. Nos Engagements: Nous uliserons nos connaissances, expériences

Plus en détail

Demande d information

Demande d information RFI Demande d information Réf. : RFI_OMAT_final.doc DIT - SIAM Page 1/14 Request For Information - Outil de Modélisation des ArchiTectures SOMMAIRE 1. OBJET DE LA DEMANDE D INFORMATION... 3 2. PÉRIMÈTRE

Plus en détail

TOGAF & MODELIO La phase préliminaire

TOGAF & MODELIO La phase préliminaire Plan du chapitre Master Informatique et Systèmes Urbanisation des Systèmes d Information Architecture d Entreprise 06 Urbanisation et Architecture d Entreprise en pratique : TOGAF et MODELIO 1 2 3 4 5

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

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

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

FILIÈRE METHODOLOGIE & PROJET

FILIÈRE METHODOLOGIE & PROJET FILIÈRE METHODOLOGIE & PROJET 109 Gestion de projet METHODOLOGIE ET PROJET Durée 3 jours Conduite de projet COND-PRO s Intégrer les conditions de réussite d une démarche de management par projet. Impliquer

Plus en détail

Systèmes d information dans les entreprises (MTI515)

Systèmes d information dans les entreprises (MTI515) Systèmes d information dans les entreprises (MTI515) Chargé: JF Couturier Cours # 9 MTI515 Automne 2013 JF Couturier 1 Retour sur le dernier cours L intra Les artéfacts Diagramme d activité Modèle du domaine

Plus en détail

SYSTEMES D INFORMATION & CONCEPTION de BdD

SYSTEMES D INFORMATION & CONCEPTION de BdD SYSTEMES D INFORMATION & CONCEPTION de BdD PLAN CONCEPT DE SYSTEME D INFORMATION MODELISATION D UN SYSTEME D INFORMATION MODELISATION CONCEPTUELLE : les METHODES METHODE SYSTEMIQUE METHODE OBJET L3 Informatique

Plus en détail

Introduction pratique au Développement orienté Modèle Pierre Parrend, Mars 2005

Introduction pratique au Développement orienté Modèle Pierre Parrend, Mars 2005 MDA : Un Tutoriel Introduction pratique au Développement orienté Modèle Pierre Parrend, Mars 2005 1 Sommaire Table des matières 1 Sommaire 1 2 Introduction 2 2.1 A qui s adresse ce tutoriel......................

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

Examen. Année universitaire 2011-2012. Urbanisation et architecture des systèmes d information. Consignes particulières

Examen. Année universitaire 2011-2012. Urbanisation et architecture des systèmes d information. Consignes particulières Centre d enseignement de Reims Rue des Crayères BP 1034, 51687 REIMS Cedex 2 tel 03 26 36 80 10 Examen Année universitaire 2011-2012 Unité d enseignement Code de l UE NFE107 Intitulé Enseignant (s) Urbanisation

Plus en détail

Conduite de projets et architecture logicielle

Conduite de projets et architecture logicielle s et architecture logicielle ABCHIR Mohammed-Amine Université Paris 8 15 février 2011 1/36 ABCHIR Mohammed-Amine (Université Paris 8) Conduite de projets et architecture logicielle 15 février 2011 1 /

Plus en détail

TRAITEMENT DE L IMAGE ET DE LA VIDÉO

TRAITEMENT DE L IMAGE ET DE LA VIDÉO PRÉSENTATION PRÉSENTATION TRAITEMENT DE L IMAGE ET DE LA VIDÉO Patrick Gros, Inria. Images et Vidéos : quelles sont les difficultés? La représenta.on des images et vidéos Elle est de très bas niveau séman.que

Plus en détail

Catalogue de FORMATIONS 2015

Catalogue de FORMATIONS 2015 Catalogue de FORMATIONS 2015 Qui sommes nous? î SmartView est un cabinet de conseil et de forma1on, basé à Montpellier et Paris, qui accompagne ses clients professionnels, grands comptes ou PME innovantes,

Plus en détail

Arbre à problemes et Arbres à objectifs

Arbre à problemes et Arbres à objectifs Arbre à problemes et Arbres à objectifs CAUSES D ECHEC DES ENTREPRISES NOUVELLES è Problèmes commerciaux q Marché mal ciblé q Clientèle poten3elle surévaluée q Délais de paiement clients sous évalués q

Plus en détail

ANI SEREZ- VOUS PRETS?

ANI SEREZ- VOUS PRETS? ANI SEREZ- VOUS PRETS?! Un risque commercial et financier Plus de 4 millions d assurés individuels vont basculer dans des contrats collec8fs, avec des mouvements importants entre les différents acteurs

Plus en détail

Customisation Rhapsody et Henri BOULOUET DITV/AEEV/EECH. approche méthodologique

Customisation Rhapsody et Henri BOULOUET DITV/AEEV/EECH. approche méthodologique Customisation Rhapsody et approche méthodologique Retour d expérience sur l implémentation d un langage et profil UML associé 1 Sommaire Principe d un développement méthodologique Evocation d ISR (Ingénierie

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

Management des Systèmes d information (SI) S1 - Gouvernance des SI

Management des Systèmes d information (SI) S1 - Gouvernance des SI 2015 / 2016 - Semestre 1&2 DSCG - UE5 Management des Systèmes d information (SI) S1 - Gouvernance des SI Module 5 - Gestion des Processus Métiers (BPM) Yves MEISTERMANN DSCG UE 5 - Bulletin officiel DSCG

Plus en détail

Transformation d un processus BPMN en un modele REA

Transformation d un processus BPMN en un modele REA Transformation d un processus BPMN en un modele REA Dhouha Cherif Encadré par Pr. Hafedh Mili 22 janvier 2014 1 / 18 Dhouha Cherif Transformation d un processus BPMN en un modele REA Plan 1 Introduction

Plus en détail

OLAP : Mondrian + Pentaho. Maguelonne Teisseire Hugo Alatrista Salas hugo.alatrista- salas@teledetec9on.fr Flavien Bouillot

OLAP : Mondrian + Pentaho. Maguelonne Teisseire Hugo Alatrista Salas hugo.alatrista- salas@teledetec9on.fr Flavien Bouillot OLAP : Mondrian + Pentaho Maguelonne Teisseire Hugo Alatrista Salas hugo.alatrista- salas@teledetec9on.fr Flavien Bouillot Outils Open Source Mondrian : serveur OLAP JFreeReport : ou9l de «Repor9ng» KeHle

Plus en détail

Unified Modeling Langage UML. Laurent Pérochon, 28-30 avril 2008, RMT Modelia, modélisation conceptuelle, formation UML, INRA Castanet Tolosan

Unified Modeling Langage UML. Laurent Pérochon, 28-30 avril 2008, RMT Modelia, modélisation conceptuelle, formation UML, INRA Castanet Tolosan Unified Modeling Langage UML Modèle musical Langage En avant la musique http://partitions.metronimo.com http://fr.wikipedia.org/ Méthode Créateur Outil En avant l informatique Modèle informatique public

Plus en détail

Qu est ce que l environnement Eclipse?

Qu est ce que l environnement Eclipse? Qu est ce que l environnement Eclipse? Bernard DAUTREVAUX Directeur formation et conseil Acsys www.ac6-formation.com Pour en savoir plus: nos formations Eclipse +33 (0)1 41 16 80 10 Page 0 assistance conseil

Plus en détail

MAJEURE CESEM 4 MANAGEMENT DES SYSTÈMES D INFORMATION

MAJEURE CESEM 4 MANAGEMENT DES SYSTÈMES D INFORMATION " MAJEURE CESEM 4 MANAGEMENT DES SYSTÈMES D INFORMATION 28 janvier - 15 février 2013 Professeurs : Annie Falan*n (annie.falan)n@reims- ms.fr) Diana Mangalagiu (diana.mangalagiu@reims- ms.fr) Dominique

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

TOGAF & MODELIO La phase préliminaire

TOGAF & MODELIO La phase préliminaire Plan du chapitre Master Informatique et Systèmes Urbanisation des Systèmes d Information Architecture d Entreprise 06 Urbanisation et Architecture d Entreprise en pratique : TOGAF et MODELIO 1 2 3 4 5

Plus en détail

L'impact économique total (Total Economic Impact ) de PayPal France

L'impact économique total (Total Economic Impact ) de PayPal France L'impact économique total (Total Economic Impact ) de PayPal France Sebastian Selhorst Consultant TEI Forrester Consulting 29 Mars 2011 1 2011 Forrester Research, Inc. Reproduction 2009 Prohibited Forrester

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

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

La consumérisa2on du marché de l informa2que et Le BYOD

La consumérisa2on du marché de l informa2que et Le BYOD La consumérisa2on du marché de l informa2que et Le BYOD Séminaire ARISTOTE 7 Février 2013 ALTETIA 183 avenue Georges Clémenceau 92024 Nanterre 0155692121 www.alteca.com dominique.mouchet@ alteca.com Plan

Plus en détail

JOURNEES SYSTEMES & LOGICIELS CRITIQUES le 14/11/2000. Mise en Œuvre des techniques synchrones pour des applications industrielles

JOURNEES SYSTEMES & LOGICIELS CRITIQUES le 14/11/2000. Mise en Œuvre des techniques synchrones pour des applications industrielles JOURNEES SYSTEMES & LOGICIELS CRITIQUES le 14/11/2000 Mise en Œuvre des techniques synchrones pour des applications industrielles Mise en œuvre des techniques synchrones pour des applications industrielles

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

Informatique UE 102. Jean-Yves Antoine. Architecture des ordinateurs et Algorithmique de base. UFR Sciences et Techniques Licence S&T 1ère année

Informatique UE 102. Jean-Yves Antoine. Architecture des ordinateurs et Algorithmique de base. UFR Sciences et Techniques Licence S&T 1ère année UFR Sciences et Techniques Licence S&T 1ère année Informatique UE 102 Architecture des ordinateurs et Algorithmique de base Jean-Yves Antoine http://www.intro.univ-tours.fr/~antoine/ UFR Sciences et Techniques

Plus en détail

Les apports de Praxeme et son articulation avec les référentiels de pratiques

Les apports de Praxeme et son articulation avec les référentiels de pratiques Les apports de Praxeme et son articulation avec les référentiels de pratiques Praxeme dans le paysage de la méthodologie Référence PxSLB-SYD-06 Version 1.0 www.praxeme.org info@praxeme.org Objectif de

Plus en détail

OFFRE DE FORMATION L.M.D.

OFFRE DE FORMATION L.M.D. REPUBLIQUE ALGERIENNE DEMOCRATIQUE ET POPULAIRE MINISTERE DE L ENSEIGNEMENT SUPERIEUR ET DE LA RECHERCHE SCIENTIFIQUE OFFRE DE FORMATION L.M.D. MASTER PROFESSIONNEL ET ACADEMIQUE Systèmes d Information

Plus en détail

Table des Matières. Table des Figures 7. Introduction Générale 9. Chapitre 1 - Langages de description d architectures matérielles hybrides 23

Table des Matières. Table des Figures 7. Introduction Générale 9. Chapitre 1 - Langages de description d architectures matérielles hybrides 23 Table des Figures 7 Introduction Générale 9 1. Outils et plate-formes de construction d application 9 2. Intégration de paradigmes de conception dans le cycle de vie 10 2.1. Equilibrage de charge et équilibrage

Plus en détail

EPITA. Bases de données 2 ème par4e AppIng2-2015 Session 2014. Alexandra Champavert. Copyright 2010-2014 Alexandra Champavert - 1 -

EPITA. Bases de données 2 ème par4e AppIng2-2015 Session 2014. Alexandra Champavert. Copyright 2010-2014 Alexandra Champavert - 1 - EPITA Bases de données 2 ème par4e AppIng2-2015 Session 2014 Alexandra Champavert - 1 - Contenu du cours Le datawarehouse Principes de modélisa=on (flocon, étoile) Les ETL Les fonc=onnalités propres à

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

Architecture matériel et logiciel 2

Architecture matériel et logiciel 2 Architecture matériel et logiciel 2 Architectures Venera Arnaoudova Concep8on architecturale 1. Introduc8on 2. Modéliser l architecture avec UML 3. Éléments architecturaux 4. Styles architecturaux 1. Architecture

Plus en détail

Aperçu rapide des méthodes formelles

Aperçu rapide des méthodes formelles Méthodes formelles 1 Aperçu rapide des méthodes formelles Christian Attiogbé Faculté des sciences Université de Nantes Christian.Attiogbe@univ-nantes.fr Méthodes formelles 2 Développement de logiciels

Plus en détail

Modélisa)on des risques opéra)onnels dans le cadre de Solvency II Ins)tut des Actuaires & S.A.C.E.I Le 18 Septembre 2009

Modélisa)on des risques opéra)onnels dans le cadre de Solvency II Ins)tut des Actuaires & S.A.C.E.I Le 18 Septembre 2009 Modélisa)on des risques opéra)onnels dans le cadre de Solvency II Ins)tut des Actuaires & S.A.C.E.I Le 18 Septembre 2009 1. Objectifs de la quantification des risques opérationnels 2. Définition du capital

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

Speed up your business

Speed up your business Speed up your business 1 Sommaire 1. Un concept innovant de communica3on cross media 2. Les Ou3ls UpMyCom a. Plateforme de Blog b. Plateforme de Quiz - Communica3on externe - Communica3on interne c. Jeux

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

Maîtrise d Ouvrage du Système d Information en pratique

Maîtrise d Ouvrage du Système d Information en pratique Maîtrise d Ouvrage du Système d Information en pratique Techniques et outils pour réussir les activités de MOA du SI Olivier Durand and Aurélie Durand This book is for sale at http://leanpub.com/moa-si-pratique

Plus en détail

Chapitre 9 HLA distributed simulation approaches for supply chain

Chapitre 9 HLA distributed simulation approaches for supply chain Présentation livre Simulation for Supply Chain Management Chapitre 9 HLA distributed simulation approaches for supply chain B. Archimède, P. Charbonnaud, F. Ounnar, P. Pujo Contexte et motivation Problématique

Plus en détail

Cabinet de conseil spécialisé en Risques, Finance & RH

Cabinet de conseil spécialisé en Risques, Finance & RH SEKKEI Confiden-al All rights reserved Cabinet de conseil spécialisé en Risques, Finance & RH Réglementa*ons b ancaires ( Capital e t L iquidité) Op*misa*on d e l a p erformance / P rocessus A chats Ges*on

Plus en détail

L innova(on con(nue grâce au Lean startup

L innova(on con(nue grâce au Lean startup Parlons Expériences #2 L innova(on con(nue grâce au Lean startup Mercredi 8 juillet 2015 Sommaire 1 Innover : c est quoi? 2 Le problème avec le succès 3 Innover! Une réponse uflisée par des entreprises

Plus en détail

Des exigences aux tests Génération de tests à partir des processus et règles métier (Model-Based Testing)

Des exigences aux tests Génération de tests à partir des processus et règles métier (Model-Based Testing) Des exigences aux tests Génération de tests à partir des processus et règles métier (Model-Based Testing) Bruno LEGEARD JDEV 2013 4-6 septembre 2013 Sommaire Partie I Introduction au Model-Based Testing

Plus en détail

GPC Computer Science

GPC Computer Science CYCLE ISMIN P2015 GPC Computer Science P LALEVÉE lalevee@emse.fr @p_lalevee A3.01 0442616715 C YUGMA yugma@emse.fr A3.01 0442616715 01/09/2014 Présentation GPC CS - Ph. Lalevée - C Yugma 1 Scolarité Site

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

Méthodologie de Développement Objet

Méthodologie de Développement Objet 1/47 Méthodologie de Développement Objet Troisième partie : Ingénierie des Modèles Christine Solnon INSA de Lyon - 4IF 2014-2015 2/47 Introduction Automatiser la production de logiciels? Saint Graal du

Plus en détail

Système de stockage d énergie par air comprimé: Angel Iglesias

Système de stockage d énergie par air comprimé: Angel Iglesias Système de stockage d énergie par air comprimé: Angel Iglesias Vers une produc3on d électricité renouvelable Les sources renouvelables produisent l électricité par intermi;ence Risques importants d instabilité

Plus en détail

Annexes Condi+ons générales de vente

Annexes Condi+ons générales de vente Annexes Condi+ons générales de vente Les présentes sont conclues entre : La société VIGICORP, SAS au capital de 150 000, société de droit français, élisant domicile 16 boulevard Charles de Gaulle 44800

Plus en détail

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

Démarches d urbanisation : réorganiser le Système d Information en structurant ses fonctions dans des blocs fonctionnels communicants. Plan du chapitre Master Informatique et Systèmes Urbanisation des Systèmes d Information Architecture d Entreprise 04 Architecture du SI : identifier et décrire les services, structurer le SI 1 2 3 4 5

Plus en détail

Système Espagnol d information sur l eau «SIA»

Système Espagnol d information sur l eau «SIA» Système Espagnol d information sur l eau «SIA» Un système intégré Organisation territoriale en Espagne Organisation administrative Organisation territoriale en Espagne Organisation hydraulique Organisation

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

Définition générale d'un Workflow :

Définition générale d'un Workflow : Workflow Table des matières Analyse... 3 Définition générale d'un Workflow :... 3 Avantages...4 Workflow Pattern...5 Forme Mathématique...7 Terminologie...8 Langages, Notations et Projets... 9 Les Notations:...9

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 Table des matières Introduction... 3 Processus métier : un même mot, plusieurs domaines d application... 4 Les défis contemporains de la gestion des

Plus en détail

Le Guide Pratique des Processus Métiers

Le Guide Pratique des Processus Métiers Guides Pratiques Objecteering Le Guide Pratique des Processus Métiers Auteur : Version : 1.0 Copyright : Softeam Equipe Conseil Softeam Supervisée par Philippe Desfray Softeam 21 avenue Victor Hugo 75016

Plus en détail

THESE. DOCTORAT EN SCIENCES APPLIQUEES Spécialité : Informatique

THESE. DOCTORAT EN SCIENCES APPLIQUEES Spécialité : Informatique mi Université Mohamed V- Souissi Rabat Ecole Nationale Supérieure d Informatique et d Analyse des Systèmes Numéro d ordre : ---- UFR : Systèmes d Information Métiers, Multimédia et Mobiles (SI3M) -ENSIAS-

Plus en détail

Use Cases. Introduction

Use Cases. Introduction Use Cases Introduction Avant d aborder la définition et la conception des UC il est bon de positionner le concept du UC au sein du processus de développement. Le Processus de développement utilisé ici

Plus en détail

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

CNAM cours NFE107 : Urbanisation et architecture des SI Xavier Godefroy, Rapport sur le BPM, mai 2009. Le BPM Le BPM 1 Introduction... 2 1.1 Dissiper l ambiguïté... 2 1.2 Quelques définitions... 2 1.3 Définition du BPM... 3 1.4 Modélisation BPMN... 4 1.4.1 Les briques de la modélisation... 4 1.4.2 Des patterns

Plus en détail

Ingénierie Dirigée par les Modèles IDM

Ingénierie Dirigée par les Modèles IDM Ingénierie Dirigée par les Modèles Pierre Laforcade Master EIAH 2007 Présentation personnelle Statut Enseignements Lieu : IUT de Laval Matières : modélisation objet en UML, programmation objet, JavaEE/EJB,...

Plus en détail

Conférence sur les marchés publics informatiques

Conférence sur les marchés publics informatiques Conférence sur les marchés publics informatiques Un moyen fiable pour aboutir à un appel d offres sans accroc : les processus métier comme pièce maîtresse d un projet informatique, de l adjudication à

Plus en détail

Références Consultant : Eric Pradel

Références Consultant : Eric Pradel Références Consultant : Eric Pradel Stratégie 2004 Fournisseur de services internet, Maghreb 2004 Fournisseur de services internet, Maghreb 2004 Société de conseil en management Définition de la stratégie

Plus en détail

PASCAL ROQUES. UML par. la pratique. Groupe Eyrolles, 2001, 2002, 2004, 2005, 2006, 2009. ISBN : 978-2-212-12508-5

PASCAL ROQUES. UML par. la pratique. Groupe Eyrolles, 2001, 2002, 2004, 2005, 2006, 2009. ISBN : 978-2-212-12508-5 est f o E Y R O L L E S PASCAL ROQUES UML par la pratique Groupe Eyrolles, 2001, 2002, 2004, 2005, 2006, 2009. ISBN : 978-2-212-12508-5 Sommaire Introduction 9 Objectifs du livre... 9 Structure de l ouvrage...

Plus en détail

Programme de certification e-citiz. Référence : ON-ET20090409 - V1.1

Programme de certification e-citiz. Référence : ON-ET20090409 - V1.1 Programme de certification e-citiz Référence : ON-ET20090409 - V1.1 Version V1.1 du 04/09/2009 e-citiz, Engine e-citiz, Studio e-citiz et le logo e-citiz sont des marques de Genitech déposées ou non en

Plus en détail

SUPPLY CHAIN MANAGEMENT Eléa 27 janvier 2011

SUPPLY CHAIN MANAGEMENT Eléa 27 janvier 2011 SUPPLY CHAIN MANAGEMENT Eléa 27 janvier 2011 Agenda Eléa : qui sommes-nous? Les enjeux et défis de la Supply Chain Quelles compétences / savoirs sont-ils nécessaires? Questions - réponses Agenda Eléa :

Plus en détail

Parcours de soins, solu/ons de partage Évolu/ons des poli/ques na/onales & Mises en œuvre régionales Séminaire IFERISS 17 Avril 2014

Parcours de soins, solu/ons de partage Évolu/ons des poli/ques na/onales & Mises en œuvre régionales Séminaire IFERISS 17 Avril 2014 Parcours de soins, solu/ons de partage Évolu/ons des poli/ques na/onales & Mises en œuvre régionales Séminaire IFERISS 17 Avril 2014 Sommaire 1) Présenta/on du GCS Télésanté Midi- Pyrénées 2) Dossier Médical

Plus en détail

OpenPaaS Le réseau social d entreprise. Tâche 3.2.2 : Métamodèle support à la caractérisation des utilisateurs et des collaborations

OpenPaaS Le réseau social d entreprise. Tâche 3.2.2 : Métamodèle support à la caractérisation des utilisateurs et des collaborations OpenPaaS Le réseau social d entreprise Tâche 3.2.2 : Métamodèle support à la caractérisation des utilisateurs et des collaborations Propriétés du Document Source du Document Titre du Document FSN OpenPaaS

Plus en détail

L INDUSTRIE ALIMENTAIRE

L INDUSTRIE ALIMENTAIRE Formations pour les METIERS de L INDUSTRIE ALIMENTAIRE www.ifria-bfc.fr CATALOGUE DES FORMATIONS EN ALTERNANCE RENTREE 2015 IFRIA BFC 4, bd Docteur Jean Veillet BP 46524 21065 DIJON CEDEX Tél. 03 80 70

Plus en détail

SDL: 20 ans de programmation basée modèle

SDL: 20 ans de programmation basée modèle SDL: 20 ans de programmation basée modèle Emmanuel Gaudin emmanuel.gaudin @ pragmadev.com Principes MDE, MDA et MDD: Approche orienté modèle PIM: Platform Independant Model PDM: Platform Definition Model

Plus en détail