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

Save this PDF as:
 WORD  PNG  TXT  JPG

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

Download "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"

Transcription

1 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 de Belfort-Montbéliard 90000, Belfort, France 31 août 2010

2 Plan de la présentation 1 Contexte de travail Cadre général Problématique État de l art Contributions de la thèse 2 3 Scénario de test Modélisation avec UML-S Vérification formelle Christophe Dumez Approche MDA pour la composition de services 2/52

3 Plan de la présentation 1 Contexte de travail Cadre général Problématique État de l art Contributions de la thèse 2 3 Scénario de test Modélisation avec UML-S Vérification formelle Christophe Dumez Approche MDA pour la composition de services 2/52

4 Plan de la présentation 1 Contexte de travail Cadre général Problématique État de l art Contributions de la thèse 2 3 Scénario de test Modélisation avec UML-S Vérification formelle Christophe Dumez Approche MDA pour la composition de services 2/52

5 Rappel du plan Cadre général Problématique État de l art Contributions de la thèse 1 Contexte de travail Cadre général Problématique État de l art Contributions de la thèse 2 3 Scénario de test Modélisation avec UML-S Vérification formelle Christophe Dumez Approche MDA pour la composition de services 3/52

6 Cadre général Problématique État de l art Contributions de la thèse Architecture Orientée Services (SOA) Définition Une architecture orientée services (notée SOA) est une architecture logicielle s appuyant sur un ensemble de services simples. Le service est l unité atomique d une architecture SOA Une application est un ensemble de services qui dialoguent par échange de messages Elle se base sur des concepts plus anciens L informatique distribuée La programmation modulaire Christophe Dumez Approche MDA pour la composition de services 4/52

7 Cadre général Problématique État de l art Contributions de la thèse Architecture Orientée Services (SOA) Définition Une architecture orientée services (notée SOA) est une architecture logicielle s appuyant sur un ensemble de services simples. Le service est l unité atomique d une architecture SOA Une application est un ensemble de services qui dialoguent par échange de messages Elle se base sur des concepts plus anciens L informatique distribuée La programmation modulaire Christophe Dumez Approche MDA pour la composition de services 4/52

8 Principes fondamentaux Cadre général Problématique État de l art Contributions de la thèse Couplage faible Séparation logique entre le client et le service Échange de messages dans un format standard Pas de dépendance physique entre les deux Intéropérabilité Capacité d un système à fonctionner avec d autres systèmes existants ou futurs L interface des services est intégralement connue Réutilisabilité Séparation des tâches en services autonomes pour promouvoir leur réutilisation Découverte Pour réutiliser un service, il faut savoir qu il existe Utilisation d un annuaire de services Christophe Dumez Approche MDA pour la composition de services 5/52

9 Principes fondamentaux Cadre général Problématique État de l art Contributions de la thèse Couplage faible Séparation logique entre le client et le service Échange de messages dans un format standard Pas de dépendance physique entre les deux Intéropérabilité Capacité d un système à fonctionner avec d autres systèmes existants ou futurs L interface des services est intégralement connue Réutilisabilité Séparation des tâches en services autonomes pour promouvoir leur réutilisation Découverte Pour réutiliser un service, il faut savoir qu il existe Utilisation d un annuaire de services Christophe Dumez Approche MDA pour la composition de services 5/52

10 Principes fondamentaux Cadre général Problématique État de l art Contributions de la thèse Couplage faible Séparation logique entre le client et le service Échange de messages dans un format standard Pas de dépendance physique entre les deux Intéropérabilité Capacité d un système à fonctionner avec d autres systèmes existants ou futurs L interface des services est intégralement connue Réutilisabilité Séparation des tâches en services autonomes pour promouvoir leur réutilisation Découverte Pour réutiliser un service, il faut savoir qu il existe Utilisation d un annuaire de services Christophe Dumez Approche MDA pour la composition de services 5/52

11 Principes fondamentaux Cadre général Problématique État de l art Contributions de la thèse Couplage faible Séparation logique entre le client et le service Échange de messages dans un format standard Pas de dépendance physique entre les deux Intéropérabilité Capacité d un système à fonctionner avec d autres systèmes existants ou futurs L interface des services est intégralement connue Réutilisabilité Séparation des tâches en services autonomes pour promouvoir leur réutilisation Découverte Pour réutiliser un service, il faut savoir qu il existe Utilisation d un annuaire de services Christophe Dumez Approche MDA pour la composition de services 5/52

12 Les services Web Cadre général Problématique État de l art Contributions de la thèse Approche la plus populaire pour mettre en œuvre une architecture SOA Définition (W3C) Un service Web est un système logiciel conçu pour permettre à deux machines de communiquer de manière intéropérable sur un réseau. Son interface est clairement décrite dans un format standard (WSDL) Les autres systèmes interagissent avec lui en utilisant un protocole standard (SOAP) Christophe Dumez Approche MDA pour la composition de services 6/52

13 Les services Web Cadre général Problématique État de l art Contributions de la thèse Approche la plus populaire pour mettre en œuvre une architecture SOA Définition (W3C) Un service Web est un système logiciel conçu pour permettre à deux machines de communiquer de manière intéropérable sur un réseau. Son interface est clairement décrite dans un format standard (WSDL) Les autres systèmes interagissent avec lui en utilisant un protocole standard (SOAP) Christophe Dumez Approche MDA pour la composition de services 6/52

14 Architecture Cadre général Problématique État de l art Contributions de la thèse Architecture standard décrite par le W3C Christophe Dumez Approche MDA pour la composition de services 7/52

15 Protocole de communication SOAP Cadre général Problématique État de l art Contributions de la thèse Protocole de communication basé sur XML recommandé par le W3C Permet la transmission de messages entre objets distants Présente plusieurs avantages : Assez ouvert pour s adapter à différents protocoles de transport (HTTP, SMTP,...) Indépendant de la plateforme Indépendant du langage Extensible Christophe Dumez Approche MDA pour la composition de services 8/52

16 Cadre général Problématique État de l art Contributions de la thèse Web Service Description Language (WSDL) Langage basé sur XML, standardisé par le W3C Décrit l interface publique d accès à un service Web Indique «Comment communiquer avec le service» Un document WSDL décrit : Le protocole de communication (ex : SOAP) Le format des messages Les méthodes que le client peut invoquer La localisation du service Christophe Dumez Approche MDA pour la composition de services 9/52

17 La composition de services Cadre général Problématique État de l art Contributions de la thèse Définition La composition de services consiste à interconnecter plusieurs services (élémentaires ou eux-même composés), afin d apporter une valeur ajoutée à l utilisateur. On peut classifier la composition en deux catégories : Chorégraphie Orchestration Christophe Dumez Approche MDA pour la composition de services 10/52

18 La composition de services Cadre général Problématique État de l art Contributions de la thèse Définition La composition de services consiste à interconnecter plusieurs services (élémentaires ou eux-même composés), afin d apporter une valeur ajoutée à l utilisateur. On peut classifier la composition en deux catégories : Chorégraphie Orchestration Christophe Dumez Approche MDA pour la composition de services 10/52

19 Chorégraphie Cadre général Problématique État de l art Contributions de la thèse De nature très collaborative Chaque service décrit le rôle qu il joue dans la composition La conversation n est détenue par aucune entité Les services existants doivent être modifiés Chorégraphie Christophe Dumez Approche MDA pour la composition de services 11/52

20 Cadre général Problématique État de l art Contributions de la thèse Orchestration Processus métier exécutable Interagit avec des services Web Le processus est contrôlé par une seule entité Pas de modification au niveau des services existants Orchestration Christophe Dumez Approche MDA pour la composition de services 12/52

21 Cadre général Problématique État de l art Contributions de la thèse Business Process Execution Language (BPEL) Langage le plus populaire pour l orchestration de services WS-BPEL 2.0 standardisé par OASIS en 2007 Langage exécutable basé sur XML Décrit un processus exécutable mettant en œuvre l échange de messages avec d autres systèmes Christophe Dumez Approche MDA pour la composition de services 13/52

22 Problématique Cadre général Problématique État de l art Contributions de la thèse La composition de services est une tâche complexe Hétérogénéité des données et de leurs formats Plusieurs langages de composition ont été proposés WSFL, XLANG, BPEL... Langages textuels exécutables L étape de spécification et de vérification est négligée Nécessaire de proposer une approche dirigée par les modèles permettant : La modélisation dans un langage standard et connu (UML) La vérification formelle La génération de code exécutable (BPEL) Christophe Dumez Approche MDA pour la composition de services 14/52

23 Problématique Cadre général Problématique État de l art Contributions de la thèse La composition de services est une tâche complexe Hétérogénéité des données et de leurs formats Plusieurs langages de composition ont été proposés WSFL, XLANG, BPEL... Langages textuels exécutables L étape de spécification et de vérification est négligée Nécessaire de proposer une approche dirigée par les modèles permettant : La modélisation dans un langage standard et connu (UML) La vérification formelle La génération de code exécutable (BPEL) Christophe Dumez Approche MDA pour la composition de services 14/52

24 Problématique Cadre général Problématique État de l art Contributions de la thèse La composition de services est une tâche complexe Hétérogénéité des données et de leurs formats Plusieurs langages de composition ont été proposés WSFL, XLANG, BPEL... Langages textuels exécutables L étape de spécification et de vérification est négligée Nécessaire de proposer une approche dirigée par les modèles permettant : La modélisation dans un langage standard et connu (UML) La vérification formelle La génération de code exécutable (BPEL) Christophe Dumez Approche MDA pour la composition de services 14/52

25 Problématique Cadre général Problématique État de l art Contributions de la thèse La composition de services est une tâche complexe Hétérogénéité des données et de leurs formats Plusieurs langages de composition ont été proposés WSFL, XLANG, BPEL... Langages textuels exécutables L étape de spécification et de vérification est négligée Nécessaire de proposer une approche dirigée par les modèles permettant : La modélisation dans un langage standard et connu (UML) La vérification formelle La génération de code exécutable (BPEL) Christophe Dumez Approche MDA pour la composition de services 14/52

26 État de l art Cadre général Problématique État de l art Contributions de la thèse Classification des approches existantes Christophe Dumez Approche MDA pour la composition de services 15/52

27 État de l art Cadre général Problématique État de l art Contributions de la thèse Classification de l approche proposée Christophe Dumez Approche MDA pour la composition de services 16/52

28 État de l art Cadre général Problématique État de l art Contributions de la thèse Approches basées sur UML Année Auteurs Diagrammes 2003 Gardner et al. (IBM) 2005 Ambühler et al Grønmo / Skogan et al Castro et al Bendraou et al Dumez et al. Classes / Activités Classes / Activités Classes / Activités BPEL UML Conforme au métamodèle Vérif. Repr. Interface Implémentation / Cas d util. / Activités /- Activités /- Classes / Activités Christophe Dumez Approche MDA pour la composition de services 17/52

29 Contributions de la thèse Cadre général Problématique État de l art Contributions de la thèse Approche de développement pour services Web composés Langage de modélisation de la composition : UML-S Règles de transformations pour la génération de code Vérification formelle de la composition intégré pour composer des services en utilisant l approche proposée Automatisation de nombreuses tâches complexes Christophe Dumez Approche MDA pour la composition de services 18/52

30 Rappel du plan 1 Contexte de travail Cadre général Problématique État de l art Contributions de la thèse 2 3 Scénario de test Modélisation avec UML-S Vérification formelle Christophe Dumez Approche MDA pour la composition de services 19/52

31 Model-Driven Architecture (MDA) Définie par l OMG en 2000 pour promulguer de bonnes pratiques de modélisation Exploite pleinement les avantages des modèles Pérennité Productivité Prise en compte des plateformes d exécution Du code peut alors être généré à partir de ces modèles abstraits Christophe Dumez Approche MDA pour la composition de services 20/52

32 Model-Driven Architecture (MDA) Aperçu de l approche MDA Christophe Dumez Approche MDA pour la composition de services 21/52

33 Présentation de l approche Une approche fidèle aux principes du MDA pour spécifier, vérifier formellement, mettre en œuvre la composition de services Web. La composition est spécifiée à l aide d un profil UML : UML-S La vérification formelle est réalisée par l intermédiaire d un langage de description formelle Du code exécutable peut être généré directement Christophe Dumez Approche MDA pour la composition de services 22/52

34 Présentation de l approche Une approche fidèle aux principes du MDA pour spécifier, vérifier formellement, mettre en œuvre la composition de services Web. La composition est spécifiée à l aide d un profil UML : UML-S La vérification formelle est réalisée par l intermédiaire d un langage de description formelle Du code exécutable peut être généré directement Christophe Dumez Approche MDA pour la composition de services 22/52

35 Processus de développement Christophe Dumez Approche MDA pour la composition de services 23/52

36 Transformation de modèles Services existants Modèles UML-S a) e) b) Classes Service composé c) Activités d) Description formelle Légende : Transformation de modèles Approche MDA : La transformation de modèles Christophe Dumez Approche MDA pour la composition de services 24/52

37 Profil proposé : UML-S Christophe Dumez Approche MDA pour la composition de services 25/52

38 Profil proposé : UML-S Définition (OMG) Un profil UML est un mécanisme d extension générique pour adapter les modèles UML à un domaine ou à une plateforme particulière. Permet uniquement l ajout de fonctionnalités, pas de suppression ou de modification Reste ainsi conforme au métamodèle standard UML Trois types de mécanismes d ajout : Stéréotypes Valeurs étiquetées Contraintes (OCL) Christophe Dumez Approche MDA pour la composition de services 26/52

39 Profil proposé : UML-S Définition (OMG) Un profil UML est un mécanisme d extension générique pour adapter les modèles UML à un domaine ou à une plateforme particulière. Permet uniquement l ajout de fonctionnalités, pas de suppression ou de modification Reste ainsi conforme au métamodèle standard UML Trois types de mécanismes d ajout : Stéréotypes Valeurs étiquetées Contraintes (OCL) Christophe Dumez Approche MDA pour la composition de services 26/52

40 UML-S : Diagramme de classes Permet de modéliser l aspect statique de la composition : Les interfaces publiques des services Les types de données complexes manipulés 1 service = 1 classe UML dotée du stéréotype «WebService» Indique les opérations accessibles publiquement Les types de données non élémentaires sont représentés par des classes simples Le diagramme de classes peut être généré automatiquement à partir des descriptions WSDL des services Christophe Dumez Approche MDA pour la composition de services 27/52

41 UML-S : Diagramme de classes Permet de modéliser l aspect statique de la composition : Les interfaces publiques des services Les types de données complexes manipulés 1 service = 1 classe UML dotée du stéréotype «WebService» Indique les opérations accessibles publiquement Les types de données non élémentaires sont représentés par des classes simples Le diagramme de classes peut être généré automatiquement à partir des descriptions WSDL des services Christophe Dumez Approche MDA pour la composition de services 27/52

42 Description WSDL vers diagramme de classes UML-S Document WSDL 1.1 Classes UML-S <definitions...><types><schema...> <xs:complextype name="coord"> <xs:sequence> <element name="latitude" type="xs:float"/> Coord <element name="longitude" type="xs:float"/> </xs:sequence> latitude: float </xs:complextype> <xs:complextype name="hopitalplusprochereponse"> longitude: float <xs:sequence> <xs:element name="return" type="xs:integer"...> </xs:element> </xs:sequence> </xs:complextype> <xs:complextype name="hopitalplusproche"> <xs:sequence> <<WebService>> <xs:element name="lieu" type="tns:coord"...> </xs:element> Hopital </xs:sequence> </xs:complextype> hopitalplusproche ( lieu: Coord ): Integer </schema></types> <porttype name="hopital"> <operation name="hopitalplusproche"> <input message="tns:hopitalplusproche"></input> <output message="tns:hopitalplusprochereponse"> </output> {WSDL_URL: </operation> </porttype> <message name="hopitalplusproche"> <part name="x" type="tns:hopitalplusproche"></part> </message> <message name="hopitalplusprochereponse"> <part name="x" type="tns:hopitalplusprochereponse"> </part> </message> <binding name="hopitalportbinding" type="tns:hopital">... </binding>... <service name="hopital">...</service></definitions> Christophe Dumez Approche MDA pour la composition de services 28/52

43 UML-S : Diagramme d activité Permet de modéliser l aspect dynamique de la composition Le scénario de collaboration inter-services Un diagramme d activité UML-S modélise le comportement d une opération fournie par le nouveau service composé L état initial de l activité correspond à l appel de l opération Avec passage éventuel de paramètres L état final de l activité correspond à la fin de l opération Avec retour éventuel d une valeur Christophe Dumez Approche MDA pour la composition de services 29/52

44 UML-S : Diagramme d activité Permet de modéliser l aspect dynamique de la composition Le scénario de collaboration inter-services Un diagramme d activité UML-S modélise le comportement d une opération fournie par le nouveau service composé L état initial de l activité correspond à l appel de l opération Avec passage éventuel de paramètres L état final de l activité correspond à la fin de l opération Avec retour éventuel d une valeur Christophe Dumez Approche MDA pour la composition de services 29/52

45 UML-S : Diagramme d activité Chaque étape (action) de l activité correspond à une invocation de service Le stéréotype «WSCall» est utilisé Le nom du service invoqué et le nom de l opération sont précisés en valeurs étiquetées <<WSCall>> Envoyer les secouristes {service_name=samu, method_name=envoyersecouristes(lieu): delai} Exemple d action UML-S Christophe Dumez Approche MDA pour la composition de services 30/52

46 Structures de contrôle L ordre d exécution des actions d un workflow est déterminé par ses structures de contrôle Van der Aalst et al. ont identifié les structures de contrôle récurrentes au sein des différents langages de workflow 20 structures dont 5 dites basiques : séquence, branchement multiple, synchronisation, choix exclusif, jonction simple Christophe Dumez Approche MDA pour la composition de services 31/52

47 Structures de contrôle Le diagramme d activité UML permet de modéliser toutes ces structures Cette tâche peut s avérer difficile pour certaines structures UML-S comporte des ajouts simplifiant la représentation de ces structures Ceci permet d obtenir des modèles UML-S plus clairs et concis Christophe Dumez Approche MDA pour la composition de services 32/52

48 Christophe Dumez Approche MDA pour la composition de services 33/52

49 Langage de spécification formelle LOTOS LOTOS est utilisé pour la vérification formelle de la composition Pourquoi passer par un langage intermédiaire? La sémantique d UML n est pas formellement définie L analyse formelle des modèles UML n est pas possible Pourquoi LOTOS? Algèbre de processus standardisée par ISO Sa sémantique est formellement définie Prise en charge du passage de données entre les processus Outils de vérification très avancés (CADP) Christophe Dumez Approche MDA pour la composition de services 34/52

50 Langage de spécification formelle LOTOS LOTOS est utilisé pour la vérification formelle de la composition Pourquoi passer par un langage intermédiaire? La sémantique d UML n est pas formellement définie L analyse formelle des modèles UML n est pas possible Pourquoi LOTOS? Algèbre de processus standardisée par ISO Sa sémantique est formellement définie Prise en charge du passage de données entre les processus Outils de vérification très avancés (CADP) Christophe Dumez Approche MDA pour la composition de services 34/52

51 Langage de spécification formelle LOTOS LOTOS est utilisé pour la vérification formelle de la composition Pourquoi passer par un langage intermédiaire? La sémantique d UML n est pas formellement définie L analyse formelle des modèles UML n est pas possible Pourquoi LOTOS? Algèbre de processus standardisée par ISO Sa sémantique est formellement définie Prise en charge du passage de données entre les processus Outils de vérification très avancés (CADP) Christophe Dumez Approche MDA pour la composition de services 34/52

52 Règles de transformation vers LOTOS Implémentation en LOTOS des 20 structures de contrôle de Aalst et al. Représenté par des processus LOTOS Facilite leur réutilisation Réalisation du comportement du workflow Appel aux processus LOTOS Utilisation de la communication inter-processus en LOTOS Christophe Dumez Approche MDA pour la composition de services 35/52

53 Boîte à outils CADP «Construction and Analysis of Distributed Processes» Boîte à outils développée par l INRIA, qui permet : La compilation de descriptions écrites en LOTOS La vérification d équivalence (p.ex. Bissimulation) Le «model checking» à l aide de la logique temporelle... Christophe Dumez Approche MDA pour la composition de services 36/52

54 Boîte à outils CADP Procédure de vérification formelle avec CADP Christophe Dumez Approche MDA pour la composition de services 37/52

55 Logique temporelle Extension de la logique classique Permet de décrire sans ambiguïté des comportements dynamiques c.à.d. qui évoluent dans le temps Exemple de propriété temporelle : Si un feu est signalé alors les pompiers interviendront Christophe Dumez Approche MDA pour la composition de services 38/52

56 Types de propriétés comportementales Accessibilité (Reachability) Une certaine situation peut être atteinte Invariance Tous les états du système satisfont une bonne propriété Sûreté (Safety) Quelque chose de mauvais n arrive jamais Vivacité (Liveness) Quelque chose de bon finit par arriver Christophe Dumez Approche MDA pour la composition de services 39/52

57 Types de propriétés comportementales Accessibilité (Reachability) Une certaine situation peut être atteinte Invariance Tous les états du système satisfont une bonne propriété Sûreté (Safety) Quelque chose de mauvais n arrive jamais Vivacité (Liveness) Quelque chose de bon finit par arriver Christophe Dumez Approche MDA pour la composition de services 39/52

58 Types de propriétés comportementales Accessibilité (Reachability) Une certaine situation peut être atteinte Invariance Tous les états du système satisfont une bonne propriété Sûreté (Safety) Quelque chose de mauvais n arrive jamais Vivacité (Liveness) Quelque chose de bon finit par arriver Christophe Dumez Approche MDA pour la composition de services 39/52

59 Types de propriétés comportementales Accessibilité (Reachability) Une certaine situation peut être atteinte Invariance Tous les états du système satisfont une bonne propriété Sûreté (Safety) Quelque chose de mauvais n arrive jamais Vivacité (Liveness) Quelque chose de bon finit par arriver Christophe Dumez Approche MDA pour la composition de services 39/52

60 Christophe Dumez Approche MDA pour la composition de services 40/52

61 Génération du code du service composé : Processus BPEL Description WSDL Règles de transformation fournies vers BPEL Transformation basée sur l identification des structures de contrôle Génération automatique par l environnement de développement Christophe Dumez Approche MDA pour la composition de services 41/52

62 : Service Composer Un environnement de développement a été développé Développé entièrement en C++ / Qt4 Logiciel libre et multi-plateformes Logiciel fonctionnel : Import des descriptions WSDL Modélisation en UML-S Génération du code BPEL et WSDL Christophe Dumez Approche MDA pour la composition de services 42/52

63 : Service Composer Capture d écran : Christophe Dumez Approche MDA pour la composition de services 43/52

64 Scénario de test Modélisation avec UML-S Vérification formelle Rappel du plan 1 Contexte de travail Cadre général Problématique État de l art Contributions de la thèse 2 3 Scénario de test Modélisation avec UML-S Vérification formelle Christophe Dumez Approche MDA pour la composition de services 44/52

65 Scénario de test Modélisation avec UML-S Vérification formelle Scénario de test Scénario d appel d urgence lors d une notification d accident Dans le cadre du projet Européen ASSET (7ème PCRD) Projet relatif à la sécurité routière L appel d urgence est une des problématiques Une des tâches traite des services intelligents Christophe Dumez Approche MDA pour la composition de services 45/52

66 Scénario de test Modélisation avec UML-S Vérification formelle Scénario de test 4 services existants : SAMU Police Hôpital Base des accidents Un nouveau service dit «composé» : 112 Christophe Dumez Approche MDA pour la composition de services 46/52

67 Scénario de test Modélisation avec UML-S Vérification formelle UML-S : Diagramme de classes Christophe Dumez Approche MDA pour la composition de services 47/52

68 Scénario de test Modélisation avec UML-S Vérification formelle UML-S : Diagramme d activité Christophe Dumez Approche MDA pour la composition de services 48/52

69 Scénario de test Modélisation avec UML-S Vérification formelle Propriétés vérifiées Propriété 1 : une propriété de sûreté Le processus n envoie jamais le SAMU ou la Police si l accident est déjà en cours de traitement. ([ DEJA_TRAITE. ENVOI_SAMU ] false) and ([ DEJA_TRAITE. ENVOI_POLICE ] false) Propriété 2 : une propriété de vivacité A chaque fois qu un accident est rapporté, le SAMU est toujours envoyé, sauf si l accident est déjà en cours de traitement. A_inev_B (ACC_RAPPORTE, ENVOI_SAMU or DEJA_TRAITE) Christophe Dumez Approche MDA pour la composition de services 49/52

70 Scénario de test Modélisation avec UML-S Vérification formelle Propriétés vérifiées Propriété 1 : une propriété de sûreté Le processus n envoie jamais le SAMU ou la Police si l accident est déjà en cours de traitement. ([ DEJA_TRAITE. ENVOI_SAMU ] false) and ([ DEJA_TRAITE. ENVOI_POLICE ] false) Propriété 2 : une propriété de vivacité A chaque fois qu un accident est rapporté, le SAMU est toujours envoyé, sauf si l accident est déjà en cours de traitement. A_inev_B (ACC_RAPPORTE, ENVOI_SAMU or DEJA_TRAITE) Christophe Dumez Approche MDA pour la composition de services 49/52

71 Conclusion et Perspectives Résultats Approche fidèle aux principes du MDA Un profil UML pour modéliser la composition Des règles de transformation : WSDL UML-S UML-S LOTOS UML-S BPEL / WSDL Un environnement de développement Perspectives Automatisation de la vérification formelle Prise en charge de la chorégraphie de services Reverse Mapping (BPEL UML)

72 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 Merci de votre attention.

73 Publications Actes de conférences et workshops (7) A. Roxin, C. Dumez, M. Wack et J. Gaber, Middleware models for location-based services : a survey, ICPS Workshops, Proceedings of the 2nd international workshop on Agent-oriented software engineering challenges for ubiquitous and pervasive computing (AUPC 08), C. Dumez, A. Nait-sidi-moh, J. Gaber et M. Wack, Modeling and Specification of Web Services Composition Using UML-S, International Conference on Next Generation Web Services Practices (NWeSP 08), C. Dumez, J. Gaber et M. Wack, Model-Driven Engineering of composite Web services using UML-S, Proceedings of the 10th International Conference on Information Integration and Web-based Applications & Services (iiwas2008), C. Dumez, J. Gaber et M. Wack, Web services composition using UML-S : a case study, GLOBECOM Workshops, Workshop on Service Discovery and Composition in Ubiquitous and Pervasive Environments (SUPE 08), A. Roxin, C. Dumez, M. Wack et J. Gaber, TransportML : a middleware for Location-Based Services collaboration, NTMS Workshops, 2nd international workshop on Service Computing, Context-aware, Location-aware and Positioning techniques (SCLP 2009), N. Cottin, C. Dumez, M. Wack et J. Gaber, SAVE TIME : a Smart Vehicle Traffic Information System, 8th International Conference of Modeling and Simulation (MOSIM 10), C. Dumez, M. Bakhouya, J. Gaber et M. Wack, Formal Specification and Verification of Service Composition using LOTOS, 7th ACM International Conference on Pervasive Services (ICPS 2010), Journaux scientifiques (1) C. Dumez, M. Bakhouya, J. Gaber et M. Wack, A Model-Driven Approach to Service Composition Supporting Formal Verification, soumis à Service Oriented Computing and Applications (SOCA), Springer, 2010

SOA et Services Web. 23 octobre 2011. SOA: Concepts de base

SOA et Services Web. 23 octobre 2011. SOA: Concepts de base SOA et Services Web 23 octobre 2011 1 SOA: Concepts de base 2 Du client serveur à la SOA N est Nest pas une démarche entièrement nouvelle: années 1990 avec les solutions C/S Besoins d ouverture et d interopérabilité

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

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

Sémantique formelle et synthèse de client pour services Web

Sémantique formelle et synthèse de client pour services Web Sémantique formelle et synthèse de client pour services Web Séminaire «Services Web» 24 Janvier 2006 sylvain.rampacek@univ-reims.fr CReSTIC LAMSADE Plan Introduction Services Web Description de la plate-forme

Plus en détail

AVATAR. Un profil SysML temps réel outillé

AVATAR. Un profil SysML temps réel outillé AVATAR Un profil SysML temps réel outillé Ludovic Apvrille, Pierre de Saqui-Sannes ludovic.apvrille@telecom-paristech.fr pdss@isae.fr SysML France, 6 décembre 2010 Agenda De TURTLE à AVATAR Le langage

Plus en détail

Systèmes d Information Avancés (et répartis)

Systèmes d Information Avancés (et répartis) Systèmes d Information Avancés (et répartis) Université Lyon 1 MIAGE L. Médini, mars 2005 Plan des cours Protocole HTTP et programmation serveur Architectures réparties Objets distribués Introduction aux

Plus en détail

Problématiques de recherche. Figure Research Agenda for service-oriented computing

Problématiques de recherche. Figure Research Agenda for service-oriented computing Problématiques de recherche 90 Figure Research Agenda for service-oriented computing Conférences dans le domaine ICWS (International Conference on Web Services) Web services specifications and enhancements

Plus en détail

Composition de Services Web

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

Plus en détail

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

Plateforme Adore : Aspects & Distributed ORchEstrations

Plateforme Adore : Aspects & Distributed ORchEstrations Plateforme Adore : Aspects & Distributed ORchEstrations Mireille Blay Fornarino Cédric Joffroy Sébastien Mosser I3S Équipe Rainbow 2006/2007 EPU Polytech Nice Sophia Antipolis Projet de fin d Étude Ingénieur

Plus en détail

Environnements de Développement

Environnements de Développement Institut Supérieur des Etudes Technologiques de Mahdia Unité d Enseignement: Environnements de Développement Mme BEN ABDELJELIL HASSINE Mouna m.bnaj@yahoo.fr Développement des systèmes d Information Syllabus

Plus en détail

Projet : Plan Assurance Qualité

Projet : Plan Assurance Qualité Projet : Document : Plan Assurance Qualité 2UP_SPEC_DEV1 VERSION 1.00 Objet Ce document a pour objectif de définir la démarche d analyse et de conception objet ainsi les activités liées. Auteur Eric PAPET

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

Présentation générale des Web Services

Présentation générale des Web Services Présentation générale des Web Services Vue Globale Type d'architecture reposant sur les standards de l'internet Alternative aux architectures classiques : Client/serveur n/tiers Orientée services permettant

Plus en détail

IFIPS 5 / Nouvelles Architectures Logicielles Projet : Bus de web services avec «moteur» BPEL

IFIPS 5 / Nouvelles Architectures Logicielles Projet : Bus de web services avec «moteur» BPEL IFIPS 5 / Nouvelles Architectures Logicielles Projet : Bus de web services avec «moteur» BPEL Un bus de services Un bus de services (ESB) permet d assembler des web services existants, le résultat de cet

Plus en détail

DEMARCHE OU PROCESSUS LOGICIEL

DEMARCHE OU PROCESSUS LOGICIEL DEMARCHE OU PROCESSUS LOGICIEL PROCESSUS LOGICIEL Définition Un processus définit une séquence d étapes, en partie ordonnées, qui concourent à l obtention d un système logiciel ou à l évolution d un système

Plus en détail

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

Approche dirigée par les modèles pour la spécification, la vérification formelle et la mise en œuvre de services Web composés Numéro d ordre : 136 École doctorale SPIM Approche dirigée par les modèles pour la spécification, la vérification formelle et la mise en œuvre de services Web composés THÈSE présentée et soutenue publiquement

Plus en détail

ACI Sécurité ALIDECS:

ACI Sécurité ALIDECS: ACI Sécurité ALIDECS: Langages et Atelier Integrés pour le Développement de Composants Embarqués Sûrs Réunion de démarrage LIP6, 21 et 22 octobre 2004 Marc Pouzet 1 Page web http://www-verimag.imag.fr/synchrone/alidecs/

Plus en détail

CORBA. (Common Request Broker Architecture)

CORBA. (Common Request Broker Architecture) CORBA (Common Request Broker Architecture) Projet MIAGe Toulouse Groupe 2 1 CORBA, introduction (1/4) Les systèmes répartis permettent de créer des applications basées sur des composants auto-gérables,

Plus en détail

Architectures et Web

Architectures et Web Architectures et Web Niveaux d'abstraction d'une application En règle générale, une application est découpée en 3 niveaux d'abstraction : La couche présentation ou IHM (Interface Homme/Machine) gère les

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

Étude de cas. UML n est pas une méthode

Étude de cas. UML n est pas une méthode Étude de cas UML n est pas une méthode UML n est pas une méthode, mais un simple langage ; l OMG ne préconise pas de processus ; il n existe pas une démarche unique qui fixe l ordre dans lequel les modèles

Plus en détail

Compatibility and replaceability analysis for timed web service protocols

Compatibility and replaceability analysis for timed web service protocols Compatibility and replaceability analysis for timed web service protocols Boualem Benatallah 1 Fabio Casati 2 Julien Ponge 3,1 Farouk Toumani 3 1 Computer School of Engineering, The University of New South

Plus en détail

Objectif : Passer de l analyse métier et fonctionnelle à la définition des applications qui

Objectif : Passer de l analyse métier et fonctionnelle à la définition des applications qui Formation PARTIE 1 : ARCHITECTURE APPLICATIVE DUREE : 5 h Objectif : Passer de l analyse métier et fonctionnelle à la définition des applications qui automatisent les fonctions Définir une architecture

Plus en détail

Génie logiciel (Un aperçu)

Génie logiciel (Un aperçu) (Un aperçu) (sommerville 2010) Laurent Pérochon INRA URH 63122 St Genès Champanelle Laurent.perochon@clermont.inra.fr Ensemble d activités conduisant à la production d un logiciel Sur un échantillon de

Plus en détail

Une méthodologie de conception des systèmes distribués basée sur UML

Une méthodologie de conception des systèmes distribués basée sur UML Une méthodologie de conception des systèmes distribués basée sur UML Nouvelles Technologies de la Répartition (NOTERE 2005) 1 er septembre 2005 Ludovic Apvrille Pierre de Saqui-Sannes Axelle Apvrille Page

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

Examen CAR 2 Heures Tout documents autorisés le 17 Novembre 2005

Examen CAR 2 Heures Tout documents autorisés le 17 Novembre 2005 Examen CAR 2 Heures Tout documents autorisés le 17 Novembre 2005 Rappel : Tout méta-modèle ou profil doit être commenté! 1 Question de compréhension du cours barème indicatif : 5 points Q : Lorsque l on

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

Workflow et Service Oriented Architecture (SOA)

Workflow et Service Oriented Architecture (SOA) White Paper Workflow et Service Oriented Architecture (SOA) Présentation Cet article offre une approche pragmatique de la SOA et du workflow à travers des problématiques d'entreprises, une méthodologie

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

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

Synergies entre Artisan Studio et outils PLM

Synergies entre Artisan Studio et outils PLM SysML France 13 Novembre 2012 William Boyer-Vidal Regional Sales Manager Southern Europe Synergies entre Artisan Studio et outils PLM 2012 2012 Atego. Atego. 1 Challenges & Tendances Complexité des produits

Plus en détail

Talend Technical Note

Talend Technical Note Mars 2011 Page 1 sur 5 Le MDM offre un hub central de contrôle et une vision unique des données maître de l'entreprise, quelles que soient les disparités entre les systèmes source. Il assure que les données

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

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

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

Le Processus Unifié appliqué au projet MOOCS

Le Processus Unifié appliqué au projet MOOCS Le Processus Unifié appliqué au projet MOOCS Violaine Louvet GTN, 7 mai 2003, Orsay Le Processus Unifie applique au projet MOOCS p. 1 L objet Objet = entité regroupant des données (attributs) et des services

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

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

Modélisation objet Le langage UML

Modélisation objet Le langage UML Modélisation objet Le langage UML Brahim HAMID La base de contrôle Robot Zone à explorer brahim.hamid@irit.fr brahim.hamid@univ-tlse2.fr http://mass-cara.univ-tlse2.fr/~brahimou/ens/uml 1 Les méthodes

Plus en détail

L approche Bases de données

L approche Bases de données L approche Bases de données Cours: BD. Avancées Année: 2005/2006 Par: Dr B. Belattar (Univ. Batna Algérie) I- : Mise à niveau 1 Cours: BDD. Année: 2013/2014 Ens. S. MEDILEH (Univ. El-Oued) L approche Base

Plus en détail

Modèle de cahier des charges pour un appel d offres relatif à une solution de gestion des processus métier (BPM)

Modèle de cahier des charges pour un appel d offres relatif à une solution de gestion des processus métier (BPM) LA BOITE A OUTILS DE L ACHETEUR DE BPM Modèle de cahier des charges pour un appel d offres relatif à une solution de gestion des processus métier (BPM) La boîte à outils de l acheteur de solution BPM -

Plus en détail

Modélisation Orientée Objet / UML

Modélisation Orientée Objet / UML Modélisation Orientée Objet / UML Laurent Henocque http://laurent.henocque.free.fr/ Enseignant Chercheur ESIL/INFO France http://laurent.henocque.perso.esil.univmed.fr/ mis à jour en Octobre 2006 Licence

Plus en détail

C est quoi le SWAT? Les équipes décrites par James Martin s appellent SWAT : Skilled With Advanced Tools.

C est quoi le SWAT? Les équipes décrites par James Martin s appellent SWAT : Skilled With Advanced Tools. 1- RAD Quelle sont les avantages que apporte la méthode RAD à l entreprise? Une méthode RAD devrait, d après son auteur, apporter trois avantages compétitifs à l entreprise : Une rapidité de développement

Plus en détail

Les méthodes formelles dans le cycle de vie. Virginie Wiels ONERA/DTIM Virginie.Wiels@onera.fr

Les méthodes formelles dans le cycle de vie. Virginie Wiels ONERA/DTIM Virginie.Wiels@onera.fr Les méthodes formelles dans le cycle de vie Virginie Wiels ONERA/DTIM Virginie.Wiels@onera.fr Plan Introduction Différentes utilisations possibles Différentes techniques pour différentes propriétés à différents

Plus en détail

Web Services. SLenoir@ugap.fr 17/01/2009

Web Services. SLenoir@ugap.fr 17/01/2009 Web Services SLenoir@ugap.fr 17/01/2009 1. Pourquoi les Web Services? 1.1. Historique des SI 1.2. Exigences actuelles 1.3. SOA 1.4. Mise en place de services 17/01/2008 Web Services 2 1.1. Historique des

Plus en détail

Le pilotage des collaborations et l interopérabilité des systèmes d information Vers une démarche intégrée

Le pilotage des collaborations et l interopérabilité des systèmes d information Vers une démarche intégrée Colloque : Systèmes Complexes d Information et Gestion des Risques pour l Aide à la Décision Le pilotage des collaborations et l interopérabilité des systèmes d information Vers une démarche intégrée BELKADI

Plus en détail

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

Sommaire. Introduction La technologie ebxml EDI conventionnels versus ebxml Web Services et ebxml Acteurs de l ebxml Conclusion ebxml Sommaire Introduction La technologie ebxml EDI conventionnels versus ebxml Web Services et ebxml Acteurs de l ebxml Conclusion Introduction Pourquoi L EDI EDI : échange de données informatisé Remplacer

Plus en détail

Catalogue de Pattern pour le CSCW

Catalogue de Pattern pour le CSCW Catalogue de Pattern pour le CSCW La création d application dans le cadre du CSCW (Computer Supported Cooperative Work), ou TCAO en français (Travail collaboratif assisté par ordinateur) a donné lieu à

Plus en détail

GPA 789 : Analyse et Conception Orientées Objet. ETS Mickaël Gardoni Bureau A 3588 tel 84 11. Mise en Œuvre UML version du 24 avril 2009

GPA 789 : Analyse et Conception Orientées Objet. ETS Mickaël Gardoni Bureau A 3588 tel 84 11. Mise en Œuvre UML version du 24 avril 2009 GPA 789 : Analyse et Conception Orientées Objet ETS Mickaël Gardoni Bureau A 3588 tel 84 11 Mise en œuvre UML 1/ 25 Introduction Mise en œuvre d UML UML n est pas une méthode 2/ 25 1 UML n est qu un langage

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

Les Web Services. UE: Informatique Ambiante. Spécialité: Electronique et Optique Option: Vision Embarquée. Binôme: Ehouarn Perret & Thomas Angenault

Les Web Services. UE: Informatique Ambiante. Spécialité: Electronique et Optique Option: Vision Embarquée. Binôme: Ehouarn Perret & Thomas Angenault Spécialité: Electronique et Optique Option: Vision Embarquée UE: Informatique Ambiante Les Web Services Binôme: Ehouarn Perret & Thomas Angenault Enseignant: Christophe Léger mercredi 19 octobre 2011 Plan

Plus en détail

Visual Paradigm Contraintes inter-associations

Visual Paradigm Contraintes inter-associations Visual Paradigm Contraintes inter-associations Travail de Bachelor d'informaticien de gestion Partie C Présentation de Visual Paradigm 1 Présentation de Visual Paradigm For UML L objet du travail de Bachelor

Plus en détail

Architecture de déploiement d un système réparti. Kawtharany Mohamed Laboratoire d'informatique et Télécommunication ENST Bretagne

Architecture de déploiement d un système réparti. Kawtharany Mohamed Laboratoire d'informatique et Télécommunication ENST Bretagne Architecture de déploiement d un système réparti Kawtharany Mohamed Laboratoire d'informatique et Télécommunication ENST Bretagne I. Introduction Contexte du travail. Étude du déploiement. Modélisation

Plus en détail

Introduction aux Composants Logiciels

Introduction aux Composants Logiciels Introduction aux Composants Logiciels Christian Pérez LIP/INRIA Année 2010-11 Plan Introduction aux composants logiciels Pourquoi des composants logiciels Notions de composants logiciels Conclusion Survol

Plus en détail

Un peu d'organisation. Conception et Programmation par Objets HLIN406. Sommaire. Pourquoi vous parler de conception par objets? Notion de modélisation

Un peu d'organisation. Conception et Programmation par Objets HLIN406. Sommaire. Pourquoi vous parler de conception par objets? Notion de modélisation Un peu d'organisation Conception et Programmation par Objets HLIN406 Marianne Huchard, Clémentine Nebut LIRMM / Université de Montpellier 2 Premières semaines Contrôle des connaissances Supports 2015 Sommaire

Plus en détail

Développer des solutions technologiques basées sur de l électronique

Développer des solutions technologiques basées sur de l électronique Altronic Tunisie ALTRONIC s attache à faciliter la diffusion et le transfert des technologies et des connaissances en électronique vers les laboratoires de recherche publics, industriels, les start-up

Plus en détail

Modèle d implémentation

Modèle d implémentation Modèle d implémentation Les packages UML: Unified modeling Language Leçon 5/6-9-16/10/2008 Les packages - Modèle d implémentation - Méthodologie (RUP) Un package ou sous-système est un regroupement logique

Plus en détail

Université de Bangui. Modélisons en UML

Université de Bangui. Modélisons en UML Université de Bangui CRM Modélisons en UML Ce cours a été possible grâce à l initiative d Apollinaire MOLAYE qui m a contacté pour vous faire bénéficier de mes connaissances en nouvelles technologies et

Plus en détail

Bien programmer. en Java 7. 10 000 ex. couleur. Avec plus de 50 études de cas et des comparaisons avec C++ et C# Emmanuel Puybaret.

Bien programmer. en Java 7. 10 000 ex. couleur. Avec plus de 50 études de cas et des comparaisons avec C++ et C# Emmanuel Puybaret. Bien programmer en Java 7 Avec plus de 50 études de cas et des comparaisons avec C++ et C# Plus de 10 000 ex. vendus! Édition en couleur Emmanuel Puybaret, ISBN : 978-2-212-12974-8 chapitre1 Présentation

Plus en détail

UE 8 Systèmes d information de gestion Le programme

UE 8 Systèmes d information de gestion Le programme UE 8 Systèmes d information de gestion Le programme Légende : Modifications de l arrêté du 8 mars 2010 Suppressions de l arrêté du 8 mars 2010 Partie inchangée par rapport au programme antérieur Indications

Plus en détail

1. Introduction. 2. Diagramme des exigences

1. Introduction. 2. Diagramme des exigences 1. Introduction La complexité des systèmes techniques est telle que, sans outils de représentations abstraites et progressivement enrichies, les intervenants d un projet auraient de nombreuses difficultés

Plus en détail

REQUEA. v 1.0.0 PD 20 mars 2008. Mouvements d arrivée / départ de personnels Description produit

REQUEA. v 1.0.0 PD 20 mars 2008. Mouvements d arrivée / départ de personnels Description produit v 1.0.0 PD 20 mars 2008 Mouvements d arrivée / départ de personnels Description produit Fonctionnalités L application Gestion des mouvements d arrivée / départ de Requea permet la gestion collaborative

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

Master 2 MIAGE NTDP Nom : Le Prof! UE «Web Services et SOA», Prénom

Master 2 MIAGE NTDP Nom : Le Prof! UE «Web Services et SOA», Prénom Master 2 MIAGE NTDP Nom : Le Prof! UE «Web Services et SOA», Prénom Epreuve écrite individuelle 8 Décembre 2008, durée 45 mns Aucun document autorisé => Finalement, autorisés et semble-t-il utiles!!...

Plus en détail

Modélisation et vérification d'un ou plusieurs services web.

Modélisation et vérification d'un ou plusieurs services web. Modélisation et vérification d'un ou plusieurs services web. RGE, à Besançon 19 octobre 2006 sylvain.rampacek@univ-reims.fr Laboratoire CReSTIC Équipe SysCom Plan 1. Introduction 2. Formalisation et Modélisation

Plus en détail

Editeurs de logiciels. Votre guide SMS

Editeurs de logiciels. Votre guide SMS Votre guide SMS SMS et logiciels Les éditeurs de logiciels intègrent de plus en plus le SMS dans leurs produits, notamment pour permettre l envoi d alertes, de rappels de rendez-vous ou encore de notifications.

Plus en détail

Systèmes temps réel Concepts de base. Richard Grisel Professeur des Universités Université de Rouen

Systèmes temps réel Concepts de base. Richard Grisel Professeur des Universités Université de Rouen Systèmes temps réel Concepts de base Richard Grisel Professeur des Universités Université de Rouen 1 Systèmes temps réel - Choix Gestion des ressources Ordonnancement ( Scheduling ), Tolérance aux fautes

Plus en détail

TIP-I Télécommunications des informations de paiement par Internet

TIP-I Télécommunications des informations de paiement par Internet RÉGIE DE L ASSURANCE MALADIE DU QUÉBEC TIP-I Télécommunications des informations de paiement par Internet Plan de la présentation» Introduction» Présentation de la solution» Présentation de la documentation

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

La gestion des flux d information : EDI

La gestion des flux d information : EDI La gestion des flux d information : EDI Introduction EDI (définition, composants, types et domaines d application) Les enjeux de l EDI La mise en œuvre de l EDI Conclusion Introduction Tâches Création

Plus en détail

Déclaration des mouvements de main-d œuvre par échange de données informatisées. Informations de mise en œuvre

Déclaration des mouvements de main-d œuvre par échange de données informatisées. Informations de mise en œuvre Ministère du Travail, des Relations sociales, de la Famille et de la Solidarité Déclaration des mouvements de main-d œuvre par échange de données informatisées Informations de mise en œuvre Mai 2008 1/11

Plus en détail

Bases de données et environnements distribués Chapitre I : Architecture logicielle technologies de developpement en environnement

Bases de données et environnements distribués Chapitre I : Architecture logicielle technologies de developpement en environnement Bases de données et environnements distribués Chapitre I : Architecture logicielle technologies de developpement en environnement distribué Éric Leclercq Département IEM / Laboratoire LE2i Septembre 2014

Plus en détail

Plan : divers exemples

Plan : divers exemples INF347 Langages XML et technologies WEB exemples Sylvie Vignes, ENST École Nationale Supérieure des Télécommunications Département Informatique et Réseaux Plan : divers exemples! Rendre accessible une

Plus en détail

INTRODUCTION AUX TECHNOLOGIES D INGENIERIE DES DONNEES DIRIGEE PAR LES MODELES

INTRODUCTION AUX TECHNOLOGIES D INGENIERIE DES DONNEES DIRIGEE PAR LES MODELES INTRODUCTION AUX TECHNOLOGIES D INGENIERIE DES DONNEES DIRIGEE PAR LES MODELES Les contenus de ce document sont la propriété exclusive de la société REVER. Ils ne sont transmis qu à titre d information

Plus en détail

CONCEPTION des SYSTÈMES d INFORMATION UML

CONCEPTION des SYSTÈMES d INFORMATION UML CONCEPTION des SYSTÈMES d INFORMATION UML 4 : Analyse organique Epitech 3 Automne 2007 Bertrand LIAUDET SOMMAIRE ANALYSE ORGANIQUE 2 Diagrammes de séquence 3 Exemple de diagramme de séquence 8 Diagramme

Plus en détail

S18 PHP pour des tâches batch sous IBM i

S18 PHP pour des tâches batch sous IBM i Modernisation, développement d applications et DB2 sous IBM i Technologies, outils et nouveautés 2013-2014 13 et 14 mai 2014 IBM Client Center Paris, Bois-Colombes S18 PHP pour des tâches batch sous IBM

Plus en détail

openarchitectureware & transformation de modèle Yannick Lizzi Architecte Logiciel itemis France Mail: lizzi@itemis.de

openarchitectureware & transformation de modèle Yannick Lizzi Architecte Logiciel itemis France Mail: lizzi@itemis.de openarchitectureware & transformation de modèle Yannick Lizzi Architecte Logiciel itemis France Mail: lizzi@itemis.de itemis France 2009 All rights reserved 1 Itemis en quelques mots Spécialisé dans l

Plus en détail

Business Process Execution Language

Business Process Execution Language Business Process Execution Language Rapport du projet de systèmes distribués d information Markus Lindström 6 mai 2009 Motivation personnelle Le sujet que j ai retenu et présenté dans le cadre du cours

Plus en détail

Description et illustration du processus unifié

Description et illustration du processus unifié USDP Description et illustration du processus unifié Définit un enchaînement d activités Est réalisé par un ensemble de travailleurs Avec des rôles, des métiers Avec pour objectifs de passer des besoins

Plus en détail

Bases de données et environnements distribués Chapitre I : Objets distribués, concepts fondamentaux

Bases de données et environnements distribués Chapitre I : Objets distribués, concepts fondamentaux Bases de données et environnements distribués Chapitre I : Objets distribués, concepts fondamentaux Eric Leclercq Département IEM / UB 10/2005 email : Eric.Leclercq@u-bourgogne.fr http://ludique.u-bourgogne.fr/~leclercq

Plus en détail

Référence Etnic Architecture des applications

Référence Etnic Architecture des applications Référence Etnic Architecture des applications Table des matières 1. Introduction... 2 2. Architecture... 2 2.1 Démarche générale... 2 2.2 Modèle d architecture... 3 2.3 Découpe d une architecture applicative...

Plus en détail

XML, PMML, SOAP. Rapport. EPITA SCIA Promo 2004 16 janvier 2003. Julien Lemoine Alexandre Thibault Nicolas Wiest-Million

XML, PMML, SOAP. Rapport. EPITA SCIA Promo 2004 16 janvier 2003. Julien Lemoine Alexandre Thibault Nicolas Wiest-Million XML, PMML, SOAP Rapport EPITA SCIA Promo 2004 16 janvier 2003 Julien Lemoine Alexandre Thibault Nicolas Wiest-Million i TABLE DES MATIÈRES Table des matières 1 XML 1 1.1 Présentation de XML.................................

Plus en détail

Cours de Génie Logiciel

Cours de Génie Logiciel Cours de Génie Logiciel Sciences-U Lyon Diagrammes UML (2) http://www.rzo.free.fr Pierre PARREND 1 Avril 2005 Sommaire Les Diagrammes UML Diagrammes de Collaboration Diagrammes d'etats-transitions Diagrammes

Plus en détail

rad-framework Software development plan document version 01 Oussama Boudyach April 20, 2011

rad-framework Software development plan document version 01 Oussama Boudyach April 20, 2011 rad-framework Software development plan document version 01 Oussama Boudyach April 20, 2011 1 Contents 1 Introduction 3 2 Documents et matériels 3 2.1 Document et matériel octroyé:....................................

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

G en om3: Building middleware-independent robotic components. Comparaison de middleware: YARP, MS Robotics Dev Studio, URBI, OpenRTM-aist, ROS

G en om3: Building middleware-independent robotic components. Comparaison de middleware: YARP, MS Robotics Dev Studio, URBI, OpenRTM-aist, ROS G en om3: Building middleware-independent robotic components Comparaison de middleware: YARP, MS Robotics Dev Studio, URBI, OpenRTM-aist, ROS Pablo Rauzy 15 février 2011 Table des matières 1 G en om3 :

Plus en détail

UML Diagramme de classes (class diagram) pour le recueil et l analyse des besoins. Emmanuel Pichon 2013 V1.1

UML Diagramme de classes (class diagram) pour le recueil et l analyse des besoins. Emmanuel Pichon 2013 V1.1 UML Diagramme de classes (class diagram) pour le recueil et l analyse des besoins 2013 V1.1 Objectif Diagramme de classes (class diagram) pour le recueil des besoins et l analyse Présenter un ensemble

Plus en détail

Modèle spagetthi et solution EAI

Modèle spagetthi et solution EAI EAI Définition L'EAI est une notion ancienne mais toujours d'actualité. En effet, le besoin de faire communiquer des applications développées à des moments différents, dans des technologies différentes

Plus en détail

Gene-Auto, Projet ITEA 05018 IDM pour la génération de code critique certifié Validation et Vérification de transformations

Gene-Auto, Projet ITEA 05018 IDM pour la génération de code critique certifié Validation et Vérification de transformations Gene-Auto, Projet ITEA 05018 IDM pour la génération de code critique certifié Validation et Vérification de transformations Journées GDR GPL Transformations de modèles et de programmes 18 janvier 2008

Plus en détail

Interopérabilité dans l embarqué. Eric OURSEL EURIWARE Architecte du système d information OPC Foundation Technical Advisory Council Member

Interopérabilité dans l embarqué. Eric OURSEL EURIWARE Architecte du système d information OPC Foundation Technical Advisory Council Member Interopérabilité dans l embarqué Eric OURSEL EURIWARE Architecte du système d information OPC Foundation Technical Advisory Council Member Plan La problématique de l interopérabilité dans l embarqué Les

Plus en détail

Cours architectures des ordinateurs

Cours architectures des ordinateurs Université KASDI MERBAH Ouargla Faculté des Nouvelles Technologies de l Information et de la Communication Département d Informatique et Technologie de l information Cours architectures des ordinateurs

Plus en détail

Projet Informatique. Philippe Collet. Licence 3 Informatique S5 2014-2015. http://deptinfo.unice.fr/twiki/bin/view/linfo/projetinfo201415

Projet Informatique. Philippe Collet. Licence 3 Informatique S5 2014-2015. http://deptinfo.unice.fr/twiki/bin/view/linfo/projetinfo201415 Projet Informatique Philippe Collet Licence 3 Informatique S5 2014-2015 http://deptinfo.unice.fr/twiki/bin/view/linfo/projetinfo201415 Réalisation d'un développement de taille conséquente? r Firefox? Ph.

Plus en détail

IRL : Simulation distribuée pour les systèmes embarqués

IRL : Simulation distribuée pour les systèmes embarqués IRL : Simulation distribuée pour les systèmes embarqués Yassine El Khadiri, 2 ème année Ensimag, Grenoble INP Matthieu Moy, Verimag Denis Becker, Verimag 19 mai 2015 1 Table des matières 1 MPI et la sérialisation

Plus en détail

Système. Introduction aux systèmes informatiques

Système. Introduction aux systèmes informatiques Introduction aux systèmes informatiques Système Un système est une collection organisée d'objets qui interagissent pour former un tout Objets = composants du système Des interconnexions (liens) entre les

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

Architecture des systèmes d information

Architecture des systèmes d information Architecture des systèmes d information Table des matières 1 La décennie 70 1 2 Le modèle relationnel (les années 80) 1 3 Enrichissement du relationnel (les années 80/90) 2 4 Système d informations (les

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

En 2000 l OMG propose une approche nommée MDA Model Driven Architecture, S appuyant sur le standard UML pour

En 2000 l OMG propose une approche nommée MDA Model Driven Architecture, S appuyant sur le standard UML pour MDA (Model Driven Architecture) Ingénierie logicielle guidée par les modèles S.N Historique: En 2000 l OMG propose une approche nommée MDA Model Driven Architecture, S appuyant sur le standard UML pour

Plus en détail