Méthodes de Développement de Systèmes Multi-Agents

Save this PDF as:
 WORD  PNG  TXT  JPG

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

Download "Méthodes de Développement de Systèmes Multi-Agents"

Transcription

1 TRANSPORTS & SYSTEMES MULTI-AGENTS Méthodes de Développement de Systèmes Multi-Agents Marie-Pierre Gleizes Équipe Systèmes Multi-Agents Coopératifs IRIT 31 janvier 2008 Transports & Systèmes Multi-Agents 1

2 Introduction Professeur d informatique Université Paul Sabatier Toulouse Responsable Équipe SMAC-IRIT (Systèmes Multi-Agents Coopératifs) 16 permanents 15 doctorants, post-doctorants Auto-adaptation, auto-organisation, émergence Coordination adaptative, protocoles Résolution distribuée de problèmes complexes: Optimisation, satisfaction de contraintes Simulation : sociale, biologie Ingénierie des systèmes auto-organisés Transports & Systèmes Multi-Agents 2

3 Objectifs de l exposé Définition du contexte : agent, multi-agent Technologie SMA et de l ingénierie basée sur les agents Principales méthodes Processus de développement d ADELFE Méta-modèles Outils Conclusions et perspectives PLAN Transports & Systèmes Multi-Agents 3

4 Définition : agent (Ferber, 95) Entité physique ou virtuelle Autonome Capable de communiquer directement ou indirectement avec d'autres agents Ayant un objectif individuel / fonction de satisfaction Ayant des ressources Située et capable d'agir dans un environnement Capable de percevoir son environnement Ayant une représentation partielle de l'environnement Ayant des compétences et offrant des services Comportement autonome = Conséquence de ses connaissances, de ses interactions, et des buts qu il poursuit 1 - Percevoir 2 - Décider Assistant utilisateur Expert Footballeur Fourmi... 3 Agir Transports & Systèmes Multi-Agents 4

5 Définition : système multi-agent Macro système composé d'agents autonomes qui interagissent dans un environnement commun pour réaliser une activité collective cohérente Caractéristiques Autonomie Pas de contrôle global Distribution Les données sont distribuées dans les agents et l'environnement Localité Chaque agent a une vue limitée Asynchronisme Les agents sont des unités de calcul asynchrones Transports & Systèmes Multi-Agents Théraulaz 5

6 Besoins applicatifs (1) DISTRIBUTION FONCTIONNELLE Perte de connaissances Douleurs Thoraciques Médecin généraliste Douleurs Abdominales Fièvres Blessures Traumatismes Thoraciques Fonctions Vitales Accident de Plongée Systèmes de diagnostic médical Systèmes de reconnaissance de la parole Agent Utilisateur Transports & Systèmes Multi-Agents 6

7 Besoins applicatifs (2) DISTRIBUTION SPATIALE Gestion du trafic routier Contrôle aérien Robotique collective Ecosystèmes (proies/prédateurs) Transports & Systèmes Multi-Agents 7

8 Besoins applicatifs (3) Domaine médical DISTRIBUTION SEMANTIQUE Domaine financier Domaine sportif E-commerce Communautés virtuelles Transports & Systèmes Multi-Agents 8

9 Besoins applicatifs (4) Système ouvert Place de marché sur Internet Environnement dynamique RoboCup Système incomplètement spécifié Systèmes Ambiants Transports & Systèmes Multi-Agents 9

10 Conception et SMA (1) Facilité de compréhension et de modélisation Paradigme agent = nouveau niveau d abstraction Système de gestion de conférences président du CP, président du comité d organisation, membre du CP, membre du comité d organisation, auteurs Agent Rôles Organisation Transports & Systèmes Multi-Agents 10

11 Conception et SMA (2) Facilité de conception de systèmes complexes Résolution classique de problèmes Concepteur processus qui amène à la solution Résolution avec des SMA Concepteur agents, interaction, environnement Processus émerge de l auto-organisation Système de conception d emploi du temps Transports & Systèmes Multi-Agents 11

12 Conception et SMA (3) Systèmes incomplètement spécifiés : autonomie robustesse auto-adaptation (a 1 ) (a 2 ) (a n ) Processus de résolution = succession d organisations (Edmonds, 2005) (Living-Design Picard 2003) (Gleizes, 2007) Résolution de problèmes: agents interagissent et évoluent dans un environnement commun Agent a des règles locales de comportement et des perceptions locales Système de conception avion : satisfaction de contraintes et optimisation de paramètres Transports & Systèmes Multi-Agents 12

13 Historique - Motivations Début des Systèmes Multi-Agents : 1988 Applications, architectures nombreuses Besoin de méthodes de conception (98-99 ) Développement coûteux en temps Systèmes ad hoc Passage vers l industrie Groupes de travail SIG Methodologies and SW Engineering for Agent Systems (Agentlink, 00-03) Technical Forum Group AOSE depuis 2003 FIPA Technical Comittee on methodologies ( ) Architecture et Société d Agents groupe collège SMA de l AFIA Conférences - Workshops Agent-Oriented Information Systems (1999 ) Agent-Oriented Software Engineering (2000 ) Engineering Societies in the Agents World (2000 ) Engineering Self-Organising Applications ( ) Journées Francophones sur les SMA 99 et en 2000 Transports & Systèmes Multi-Agents 13

14 Agents et objets Points communs Etat interne Peuvent agir sur leur état Unités de comportement modulaires Communiquent par envoi de messages Différences De l'autonomie de contrôle : invocation de méthodes internes Objet = unité d'exécution c est celui qui appelle qui décide d exécuter une action Agent = unité de comportement c est celui qui reçoit qui décide d exécuter une action. Il peut dire «go» et «no» Du contrôle = un agent est une source de contrôle (contrôle local) Des comportements collectifs - composante sociale, protocole d'introduction... Interactions et communications plus riches Des notions d'environnement Transports & Systèmes Multi-Agents 14

15 Définitions : méthodologie - méthode Méthodologie Ensemble de méthodes appliquées tout au long du cycle de développement d un logiciel (Booch, 1992) Méthode Processus rigoureux permettant de générer des modèles qui décrivent les aspects d un logiciel en cours de développement - un processus - un langage de modélisation - des outils (Computer-Aided Method Engineering Tools) Les deux termes «méthode et méthodologie» sont utilisés indifféremment Transports & Systèmes Multi-Agents 15

16 MASB Moulin, 1996 UML AUML Odell Bauer, 2000 Oriented Object Unified Process ADELFE Bernon Gleizes, 2000 PASSI Cossentino,2001 Object Modelling Techn Fusion Design Pattern Pattern for Agents AAII Kinny 1996 Requirements Engineering i* Tropos Mylopoulos, 2000 MESSAGE/UML Caire, 2001 Agent Oriented Meth MaSE Deloach, 2000 INGENIAS Gomez, 2002 Roadmap Gaia Wooldridge, 1999 SODA Omicini, Influence s Méthodologies orientées agent Transports & Systèmes Multi-Agents 16 Méthodologies non orientées agent Techniqu es Contexte Besoin Méthodes Processus Méta-modèles Outils Conclusions

17 Knowledge Engineering CommonKADS Iglesias, 1998 DESIRE Brazier, 1999 MAS/CommonKADS CoMoMAS Plate-Forme IODA Mathieu,2005 AGR Ferber, 1998 Cassiopée Collinot, 1996 VOWELS Demazeau, 2000 ZEUS Prometheus Padgham, 2002 Influences Méthodologies orientées agent Méthodologies non orientées agent Techniques Transports & Systèmes Multi-Agents 17

18 Principales méthodes ADELFE pour la conception de système adaptatif, basée sur le RUP, AUML UML, architecture d agents coopératifs, outils: Adelfetoolkit, opentool, adéquation des AMAS, approche MDE AMAS Modeling Language, plateforme Javact ASPECS pour la conception de systèmes holoniques, approche MDE métamodèle CRIO, plateforme Janus Gaia générale, insiste sur la notion de rôles d organisation (statique), ROADMAP, plateforme Jade avec Gaia2Jade INGENIAS basée sur le RUP, outil : INGENIAS Development Kit, MDE vers JADE, MaSE complète de l analyse jusqu au code, utilise UML, outil agenttool, ==> O-MASE PASSI de l analyse jusqu au code, utilise AUML UML, Création d une ontologie du domaine, FIPA standard, outil: PASSI ToolKit pour la génération de code PROMETHEUS architecture d agents BDI, outils: Prometheus Design Tool, Jack Development Environment SODA insiste sur la notion d environnement et de différents niveaux d abstraction Tropos basée sur les concepts de besoins et de buts (formalisation en i* et utilisation du Goal-oriented Requirement Language) Méta-modèles + guide AGR Madkit, Ferber - Montpellier: IODA, Mathieu - Lille - Voyelles ( ), Demazeau Grenoble Transports & Systèmes Multi-Agents 18

19 Processus de développement (Arlabosse, Gleizes Ocello OFTA 2003) Analyse des besoins (Spécification) Besoins fonctionnels et qualité Besoins préliminaires Cahier des charges Besoins finals Définition du système à concevoir Analyse (Conception) Quoi Architecture Conception (Conception détaillée) Comment Architecture logicielle + composants logiciels à coder Implémentation (Codage Test Intégration) Code Déploiement Maintenance Transports & Systèmes Multi-Agents 19 Contexte Besoin Méthodes Processus Méta-modèles Outils Conclusions

20 Processus de développement ADELFE ASPECS Gaia INGENIAS MaSE PASSI PROMETHEUS SODA Tropos Besoins Analyse Conception Implémentation Déploiement ADELFE PROCESS SPEM 2.0 (Picard, 2004) Pour ADELFE NEPTUNE = Adaptation du Rational Unified Process -Equipe MACAO IRIT Transports & Systèmes Multi-Agents 20

21 ADELFE : Analyse des besoins préliminaires Les utilisateurs expriment ce que doit faire le système Travail d intercompréhension Besoins fonctionnels et non fonctionnels Cahier des charges Transports & Systèmes Multi-Agents 21

22 Analyse des besoins préliminaires Contexte Besoin Méthodes Processus Méta-modèles Outils Conclusions Transports & Systèmes Multi-Agents 22

23 Tropos Analyse des besoins préliminaires Acteur (BDI) Rôle But (soft-hard) Early Requirements Plan Ressource Dépendance Transports & Systèmes Multi-Agents 23 Contexte Besoin Méthodes Processus Méta-modèles Outils Conclusions

24 Influence du multi-agent sur le processus Conception de SMA adaptatifs (AMAS) Adaptation au niveau du système résolution de problème Fonction adéquate = système répond au besoin Fonction globale du système = résultat de l organisation entre les agents Transports & Systèmes Multi-Agents 24

25 Emergent Programing [Georgé 2005] 5 agents : +, *, A, B, C Fonction réalisée : (A * B) + C C OUTPUT A B 2 10 * 20 Transports & Systèmes Multi-Agents 25

26 Conception de SMA adaptatifs (AMAS) Adaptation au niveau du système résolution de problèmes Fonction adéquate = système répond au besoin Fonction globale du système = résultat de l organisation entre les agents Changement d organisation = changement de fonction Transports & Systèmes Multi-Agents 26

27 Emergent Programing [Georgé 2005] 5 agents : +, *, A, B, C C OUTPUT A B 2 10 * 20 Fonction réalisée : (A * B) + C Fonction réalisée : (A * C) + B B OUTPUT 2 A C 100 * 200 Transports & Systèmes Multi-Agents 27 Contexte Besoin Méthodes Processus Méta-modèles Outils Conclusions

28 Conception de SMA adaptatifs (AMAS) Adaptation au niveau du système résolution de problèmes Fonction adéquate = système répond au besoin Fonction globale du système = résultat de l organisation entre les agents Changement d organisation = changement de fonction Mécanisme utilisé : l auto-organisation = processus qui permet au système de changer son organisation en cours d exécution sans contrôle externe explicite [DiMarzo, Gleizes, Karageorgos TFGSO 2005] Niveau conception définition des entités et des comportements locaux Avoir des règles de comportement locales aux entités du système La coopération Transports & Systèmes Multi-Agents 28 Contexte Besoin Méthodes Processus Méta-modèles Outils Conclusions

29 Théorie des AMAS: Coopération [Capera, 2003] Contexte Besoin Méthodes Processus Méta-modèles Outils Conclusions Un agent doit avoir une attitude coopérative Détecter et réparer les Situations Non Coopératives (SNC) Essayer d éviter les SNC (Anticipation) Essayer d agir coopérativement MAIS un agent est bienveillant et non altruiste quelque fois des SNC apparaissent Définition d une SNC du point de vue local de l agent Tout signal perçu est compris sans ambiguïté Toute information reçue est utile à l agent Le raisonnement amène à réaliser des actions utiles pour les autres Pour être coopératif un agent doit essayer d éviter les SNC et éliminer les SNC détectées SNC = exceptions au niveau agent Transports & Systèmes Multi-Agents 29

30 ADELFE : Analyse des besoins finaux Définition du système à étudier Modélisation de l environnement Transports & Systèmes Multi-Agents 30

31 Analyse des besoins Importance ADELFE ASPECS Ingenias PASSI Tropos Environnement ADELFE ASPECS GAIA v2 INGENIAS Prometheus SODA Tropos Rôle haut niveau d abstraction ASPECS Gaia INGENIAS MaSE PASSI Tropos Transports & Systèmes Multi-Agents 31

32 ADELFE : Analyse Description des besoins en termes liés au domaine et à ce que le système doit faire Transports & Systèmes Multi-Agents 32

33 Phase d analyse Contexte Besoin Méthodes Processus Méta-modèles Outils Conclusions Adéquation des AMAS A-t on besoin d un AMAS au niveau global et/ou au niveau local? Pas d algorithme connu Besoin d évolution Système ouvert, non linéaire Distribution Comportement des composants Transports & Systèmes Multi-Agents 33

34 Analyse Fonctionnelle ADELFE PASSI PROMETHEUS But INGENIAS TROPOS Rôle GAIA INGENIAS PASSI SODA Identification des agents ADELFE (définition) INGENIAS (définition) PASSI (use case) Prometheus (fonctionnalités) Tropos (parmi les acteurs) Interactions entre agents ADELFE (AUML) ASPECS GAIA v2 INGENIAS PASSI (FIPA) Prometheus SODA Tropos Transports & Systèmes Multi-Agents 34

35 ADELFE : Conception Définition des entités et des mécanismes Comment le système va être construit Transports & Systèmes Multi-Agents 35

36 Conception - Exemple de SNC Conflit de réservation Booking Conflict State Any Description The BA is in a cell that is interesting to book but the cell is already booked Conditions The BA is in a cell AND this latter is already booked AND yet the cell would be suitable if not booked Actions IF the cost of the new booking is less than the older one THEN the BA books the cell ELSE the BA moves elsewhere Transports & Systèmes Multi-Agents 36

37 Conception Architecture spécifique d agents ADELFE (agent coopératifs) Prometheus (BDI) Architecture d agents non définie GAIA INGENIAS MaSE PASSI SODA Tropos Transports & Systèmes Multi-Agents 37

38 ADELFE : Implémentation Transports & Systèmes Multi-Agents 38

39 ADELFE : Implémentation Transports & Systèmes Multi-Agents 39

40 Besoin de méta-modèles DEFINIR Pas de consensus sur le définition d agents et de systèmes multi-agents Méta-modèle modèle d'un langage de modélisation qui sert à exprimer les concepts communs à l'ensemble des modèles d'un même domaine MODELISER Concevoir un système Instancier un méta-modèle Faciliter la transformation de modèle Transformations Méta-modèle MAS Méta-Modèle Plateforme Construction de méta-modèles Adelfe : AmasML ASPECS : Crio Problème, Domaine, Solution Gaia mise en avant des rôles PASSI : Problème, Domaine, Solution Essai de mise en commun de méta-modèles: Adelfe, Gaia, PASSI (Bernon AOSE 2004) Transports & Systèmes Multi-Agents 40

41 Transports & Systèmes Multi-Agents 41

42 Transports & Systèmes Multi-Agents 42

43 Model Driven Engineering ADELFE ASPECS Gaia Ingenias MaSE PASSI MDE en cours en cours en cours PROMETHEUS SODA Tropos MDE en cours Transports & Systèmes Multi-Agents 43

44 OUTILS Atelier de Génie Logiciel Objectif : aider le concepteur à suivre le processus AdelfeToolkit (processus) + Opentool INGENIAS Development Kit MaSE : agenttool PASSI ToolKit ( Rational Rose) + génération de code Prometheus Design Tool + Jack Development Transports & Systèmes Multi-Agents 44

45 Adelfe Toolkit Transports & Systèmes Multi-Agents 45

46 AUML : Agent UML (1) AUML agent UML Extension: classe d agent Concept de rôle Diagramme de protocoles d interactions entre agents Package pour protocoles superposés intercalés imbriqués Transports & Systèmes Multi-Agents 46

47 AUML : Agents Interaction Protocols ET OU XOR Transports & Systèmes Multi-Agents 47

48 Conclusions Besoin de méthode incontestable Beaucoup de méthodes mais stabilité Utilisation plus universitaire qu industrielle Conception automatique de mécanismes mécaniques (Capera, Journal of Applied IA 2004) Bioinformatique (Mano, EUMAS 2005) Emploi du temps dynamique (Picard, CEEMAS 2005) Manufacturing control (Capera, ROADEF 2006) Ontologies dynamiques / profils adaptatifs (Ottens, EGC 2006) Fourragement de fourmi Affectation de fréquences pour des satellites FAPP (Picard SASO 2007) Conception préliminaire avion MASCODE (Welcome, JFSMA 2007) Quel guide pour choisir? Transports & Systèmes Multi-Agents 48

49 Comparaison de méthodes (Shehory, 2001, O Malley 2001, Cernuzzi, 2002, Dam, 2003, Picard, 2004) Concepts et propriétés Autonomie, Complexité, Adaptation du système et/ou de l agent, Concurrence, Distribution, Richesse des communications, Ouverture, Interaction, Réactivité, Pro-activité, Sociabilité, Agent, Croyances, Désirs, Buts, Intentions, Message, Normes, Organisation, Protocole, Rôle, Société, Tâche, Environnement du système Processus de développement Couverture Contexte de développement Transports & Systèmes Multi-Agents 49

50 Comparaison de méthodes (Shehory, 2001, O Malley 2001, Cernuzzi, 2002, Dam, 2003, Picard, 2004) Langage de modélisation Accessibilité ou facilité d utilisation Précision, Non ambiguïté du langage Expressivité % application Consistance de la spécification Traçabilité Modularité des spécifications % modifications ultérieures Raffinages des modèles Exécution : prototypage? Gestion de la complexité Transports & Systèmes Multi-Agents 50

51 Perspectives à court terme Clarification des concepts : méta-modèles Essai d unification des méthodes Pas de méthode unique Composition de méthodes Fragments ADELFE Gaia INGENIAS MaSE PASSI SODA TROPOS Définition de fragment (FIPA 2003) Portion du processus de développement Un ou plusieurs délivrables (diagrammes UML AUML, etxtes ) Préconditions Liste de concepts à définir ou redéfinir dans le fragment Guide pour savoir comment utiliser le fragment Glossaire des termes utilisés dans le fragment Guides de composition : contexte de la méthodologie auquel il appartient Description textuelle du fragment ou spécificité comme la plateforme, le type d applications Relations de dépendances utiles pour assembler les fragments Fournir des outils de transformations de modèles vers les plateformes existantes : JAVACT, JADE, JACK, MADKIT Utiliser la simulation pour la conception (ADELFE, PASSI) Transports & Systèmes Multi-Agents 51

52 Perspectives à moyen terme Agents hétérogènes Agents conçus par des concepteurs différents Systèmes ouverts Passage à l échelle besoin de méthodes mettant en avant Modularité Interopérabilité Ouverture Dynamique Robustesse Adaptation Validation de ces systèmes Transports & Systèmes Multi-Agents 52

53 Perspectives à long terme Complexité des systèmes va croître Besoin Auto-construction Niveau programme Niveau agent Niveau système multi-agent Auto-maintenance Méthode de conception = ensemble d outils intégrés dans un logiciel minimal pour lui permettre de s auto-construire par couplage avec son environnement Transports & Systèmes Multi-Agents 53

54 Références Ouvrages généraux [Booch, 1992] G. Booch Conception orientée objets et applications, Addison-Wesley, 1992 [Ferber, 1995] Ferber J., Les systèmes multi-agents, InterEditions, 1995 Recueil de méthodes [Arlabosse, 2004] F. Arlabosse, M-P. Gleizes, M. Occello, Chapitre IV: Méthodes de conception, pages Observatoire Français des Techniques Avancées : Systèmes Multi-Agents Série ARAGO 29, 2004 [Hendersen-Sellers, 2005] B. Henderson-Sellers and P. Giorgini, (Eds.) Agent-Oriented Methodologies, Idea Group Pub, June AUML Bauer, B.; Müller, J. P.; Odell, J.: Agent UML: A Formalism for Specifying Multiagent Software Systems, Proceedings, ICSE 2000 Workshop on Agent-Oriented Software Engineering AOSE 2000, Limerick, Springer Verlag, p , Bauer, B.; Müller, J. P.; Odell, J.: An Extension of UML by Protocols for Multiagent Interaction, Proceeding, Fourth International Conference on MultiAgent Systems, ICMAS 2000, Boston, IEEE Computer Society, Bauer, B., Müller, J.P., Odell, J.: Agent UML: A Formalism for Specifying Multiagent Software Systems, International Journal on Software Engineering and Knowledge Engineering (IJSEKE), Vol. 11, No. 3, pp.1-24, 2001 Engineering, 2001.[Bergenti, 2004] F. Bergenti, M-P. Gleizes, F. Zambonelli Editors, Methodologies and Software Engineering for Agent Systems, Klüwer 2004 FIPA FIPA Modeling technical Committee Home page FIPA Methodology technical Committee Home page Transports & Systèmes Multi-Agents 54

55 Références ADELFE : Atelier de Développement de Logiciels à Fonctionnalité Emergente Bernon C., Gleizes M-P., Peyruqueou S., and Picard G., ADELFE: a Methodology for Adaptive Multi-Agent Systems Engineering, Third International Workshop "Engineering Societies in the Agents World" (ESAW-2002), September 2002, Madrid. Bernon C., Camps V., Gleizes M-P., Picard G., Tools for Self-Organizing Applications Engineering, The First International Workshop on Engineering Self-Organizing Applications (ESOA) Melbourne, Australia, July 2003 Georgé J.P., Picard G., Gleizes M-P., Glize P. (2003), " Living Design for Open Computational Systems " 1st International workshop on Theory and practice of open computational systems TAPOCS at IEEE 12th International workshop on Enabling technologies: Infrastructure for collaborative enterprises WETICE 2003, Johannes Kepler Universitaet, Linz - Austria, Gleizes M-P., Millan T., Picard G., ADELFE: Using SPEM Notation to Unify Agent Engineering Processes and Methodology, Rapport interne IRIT n IRIT/ R, Juin 2003 [Picard, 2004] Picard G., Méthodologie de développement de systèmes multi-agents adaptatifs et conception de logiciels à fonctionnalité émergente Thèse de l Université Paul Sabatier Décembre 2004 ASPECS : Agent-oriented Software Process for Engineering Complex Systems [Gaud, 2007] Gaud N. systèmes multi-agent holoniques : de l analyse à l implantation Thèse de l Université de Franche Comté et de l Université de Technologie de Belfort-Montbéliard Décembre 2007 Gaia [Wooldridge, 00 ] M. Wooldridge, N. R. Jennings & D. Kinny The GAIA Methodology for Agent-Oriented Analysis and Design - In Journal of Autonomous Agents and Multi-Agent Systems 3(3): , 2000 [Zambonelli 00] F. Zambonelli, N. R. Jennings, and M. Wooldridge - Organisationnal abstractions for the analysis and design of multi-agent systems - In P. Ciancarini and M. Wooldridge, editors, Agent Oriented Software Engineering (AOSE 00), LNCS, Springer-Verlag, Transports & Systèmes Multi-Agents 55

56 Références INGENIAS Pavon J., Gomez-sanz J. Agent Oriented Software Engineering with INGENIAS. 3rd International central and Eastern European Conference ojn Multèi-Agnet Systems (CEEMAS 2003) LNAI 2691 Springer verlag Pavon J INGENIAS: développement dirigé pat modèles des systèmes multi-agents. Habilitation à diriger des recherches de l université de Paris VI Décembre 2006 MaSE : Multi-agent Software Engineering DeLoach S.A., and Wood M., Developing Multiagent Systems with agenttool, in Intelligent Agents VII. AgentTheories Architectures and Languages, 7th International Workshop (ATAL 2000, Boston, MA, USA, July 7-9, 2000), C. Castelfranchi, Y. Lesperance (Eds.). LNCS Vol. 1986, Springer Verlag, Berlin, DeLoach S. A., Analysis and Design Using MaSE and agenttool, 12th Midwest A.I. and Cognitive Science Conference (MAICS01), Ohio, Sparkman C.H., Deloach S.A., A. L. Self Automated Derivation of Complex Agent Architectures from Analysis Specifications AOSE-2001, Montreal, Canada, May 29th Deloach S.A., Wood M.F., Sparkman Cl.H. Multiagent Systems Engineering. The International Journal of Software Engineering and Knowledge Engineering Vol 11 (3) pp PASSI : Process for Agent Societies Specification and Implementation Burrafato P. & Cossentino M. Designing a Multi-Agent Solution for a Bookstore with the PASSI Methodology AOIS 02 at CAiSE 02, Toronto, May Cossentino M., Different Perspectives in Designing Multi-Agent System, AgeS 02 (Agent Technology and Software Engineering) Workshop at NodE 02, Erfurt, Germany, October Transports & Systèmes Multi-Agents 56

57 Références Prometheus Padgham L., and Winikoff M. Prometheus : A Pragmatic Methodology for Engineering Intelligent Agents, Workshop on Agent-Oriented Methodologies at OOPSLA 2002 Winikoff M., Padgham L., The Prometheus Methodology to appear in Methodologies and Softwrae Engineering for Agent Systems Bergenti F., Gleizes M-P., Zambonelli F. Editors Kluwer 2003 SODA : Soicietes in Open and Distributed Agent spaces Omicini A, SODA: Societies and infrastructures in the analysis and design of agent-based systems. In Agent oriented Software engineering voume 1957 of LNCS pp Springer 2001 (AOSE 2000) Limerick Ireland June 2000 TROPOS J. Castro, M. Kolp and J. Mylopoulos. A Requirements-Driven Development Methodology, In Proc of the 13th International Conference on Advanced Information Systems Engineering CAiSE 01, Interlaken, Switzerland, June 4-8, Castro J., Kolp M., and Mylopoulos J., A Requirements-driven Development Methodology, In Proceedings of the 13th International Conference on Advanced Information Systems Engineering (CAiSE 01), Stafford, UK June, Giunchiglia F., Mylopoulos J., and Perini A., The Tropos Software Development Methodology: Processes, Models and Diagrams, AOSE 02, Bologna, July Unification de méta modèles [Bernon, 2004] Bernon C., Cossentino M., Gleizes M-P., Turci P., and Zambonelli F. A study of some multi-agent meta-models. In Proc. of the Fifth International Workshop on Agent-Oriented Software Engineering (AOSE-2004) at The Third International Joint Conference on Autonomous Agents and Multi- Agent Systems (AAMAS 2004), New York, USA, July 2004 Transports & Systèmes Multi-Agents 57

58 Références Comparaison de méthodes [Cernuzzi, 2002] Cernuzzi L. and Rossi G., On the evaluation of agent oriented modeling methods. on Agent-Oriented Methodologies, OOPSLA 02, Seattle, November [Dam, 2003] Dam K.H., Winikoff M., (2003)Comparing Agent-Oriented Methodlogies at AOIS 2003, Melbourne Australia [Picard, 2004] Picard G., Méthodologie de développement de systèmes multiagents adaptatifs et conception de logiciels à fonctionnalité émergente Thèse de l Université Paul Sabatier Décembre 2004 [O Malley, 2001] O'Malley S.A. and DeLoach S.A., Determining when to use an agent-oriented software engineering., Proceedings of the Second International Workshop On Agent-Oriented Software Engineering (AOSE-2001), pages , Montreal, May [Shehory, 2001] Shehory O.and Sturm A., Evaluation of modeling techniques for agent-based systems, Proceedings of the Fifth International Conference on Autonomous Agents, pages ACM Press, May Transports & Systèmes Multi-Agents 58

59 MERCI QUESTIONS? Transports & Systèmes Multi-Agents 59

60 Transparents annexes sur les différentes méthodes Processus Méta-modèle(s) Transports & Systèmes Multi-Agents 60

61 Gaia Process [Zambonelli, Wooldridge, Jennings Kinny 2000] Méthode générale Base à d autres méthodes :1999 SODA 2 phases : analyse et conception Pas d outil Extensions : Gaia V2 (organisation) ROADMAP (systèmes ouverts, Melbourne), Gaia2Jade Applications : agents à gros grain Roles model Requirements statement Interactions model Supposed realized Analysis Agent model Services model Acquaintance model Design Transports & Systèmes Multi-Agents 61

62 GAIA Metamodel Transports & Systèmes Multi-Agents 62

63 INGENIAS Viewpoints Pavon & Gomez (UCM, Madrid, Spain) Multi-Agent System Organizations Agents Goals/Tasks Interactions Environments Transports & Systèmes Multi-Agents 63

64 INGENIAS Metamodel Suit RUP Atelier de génie logiciel IDK MDE JADE Transports & Systèmes Multi-Agents 64

65 PASSI process Cossentino (Palerme Italy) Applications : robotique Transports & Systèmes Multi-Agents 65

66 The PASSI MMM elements Transports & Systèmes Multi-Agents 66

67 ASPECS Process - Koukam Gaud (Belfort France) Dedicated to Holonic MAS Come from PASSI The meta-model is CRIO and consists in 3 parts: problem agent solution domains From the metamodel to the platform Janus in progress Transports & Systèmes Multi-Agents 67

68 CRIO: problem domain Transports & Systèmes Multi-Agents 68

69 CRIO: agent domain Transports & Systèmes Multi-Agents 69

70 CRIO: solution domain Transports & Systèmes Multi-Agents 70

71 MaSE: Process (Deloach (Kansas State University USA) Deloach 2000 Basée sur OMT et UML Evolution in O-MASE (2006) Outil: AgentTool Application : robotique En cours O-MASE (organisation) Transports & Systèmes Multi-Agents 71

72 Tropos Giorgini, Kolp, Mylopoulos Caractéristiques Utilise les concepts de l ingénierie des besoins pour construire un modèle du système dans son environnement Les phases d analyses des besoins sont fondamentales Les agents et les notions relatives à leurs états mentaux sont pris en compte à toutes les étapes du développement Agent BDI Plateforme Jack Applications : e-business, gestion partagée de connaissances Transports & Systèmes Multi-Agents 72

73 AO Visual Modeling with Tropos Early Requirements Late Requirements Architectural Design Detailed Design Implementation Actors in the organizational setting System Actor Sub-system Actors Agents Sw Agents Requirement driven approach Transports & Systèmes Multi-Agents 73

74 Tropos metamodel 1/2 Actor: an entity that has strategic goals and intentionality; Goal: actors' strategic interests; Resource: a physical or an informational entity; Plan: a way of doing something; Dependency: depender dependum dependee. Transports & Systèmes Multi-Agents 74

75 Tropos metamodel 2/2 AND/OR decomposition: root(goal) sub(goals) Contribution: towards the fulfillment of a goal Means-end analysis: a means to satisfy the goal. Transports & Systèmes Multi-Agents 75

76 SODA Omicini (Bologne, Italie) Méthode générale Basée sur Gaia 2 phases : analyse et conception Concept d environnement Différents niveaux d abstractions Transports & Systèmes Multi-Agents 76

77 Prometheus (Paghdam Winikoff - Australie) Transports & Systèmes Multi-Agents 77

Méthodes de développement de systèmes multi-agents

Méthodes de développement de systèmes multi-agents GÉNIE LOGICIEL N o 86 SEPTEMBRE 2008 Méthodes de développement de systèmes multi-agents M ARIE-PIERRE G LEIZES, CAROLE B ERNON, FRÉDÉRIC M IGEON ET G AUTHIER P ICARD Résumé : Les systèmes multi-agents

Plus en détail

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

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

Plus en détail

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

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

Plus en détail

Vers un Atelier basé sur les Fragments de Méthode pour le Développement de SMA centrés sur les organisations

Vers un Atelier basé sur les Fragments de Méthode pour le Développement de SMA centrés sur les organisations Vers un Atelier basé sur les Fragments de Méthode pour le Développement de SMA centrés sur les organisations Sara Casare Directeur Thèse: Jaime Simão Sichman Co-Directeur Thèse: Zahia Guessoum Novembre

Plus en détail

CURRICULUM VITAE. March 9, 2003

CURRICULUM VITAE. March 9, 2003 CURRICULUM VITAE Marc-Philippe HUGET Agent ART Group, Dept. Computer Science University of Liverpool Liverpool L69 7ZF United Kingdom M.P.Huget@csc.liv.ac.uk http://www.csc.liv.ac.uk/ mph March 9, 2003

Plus en détail

Tom Jorquera. Formation. Thèse

Tom Jorquera. Formation. Thèse Tom Jorquera 8 rue StJoseph 31400 France +336 71 05 35 58 tom@jorquera.net jorquera.net Formation 2009 2013 Doctorat Intelligence Artificielle, Équipe Systèmes MultiAgents Coopératifs (SMAC), Institut

Plus en détail

Programmation orientée-agent : évaluation comparative d outils et environnements

Programmation orientée-agent : évaluation comparative d outils et environnements Programmation orientée-agent : évaluation comparative d outils et environnements Tony Garneau & Sylvain Delisle Département de mathématiques et d informatique Université du Québec à Trois-Rivières 3351

Plus en détail

Analyse,, Conception des Systèmes Informatiques

Analyse,, Conception des Systèmes Informatiques Analyse,, Conception des Systèmes Informatiques Méthode Analyse Conception Introduction à UML Génie logiciel Définition «Ensemble de méthodes, techniques et outils pour la production et la maintenance

Plus en détail

Je remercie le professeur Manuel Kolp, mon maître de stage, pour sa disponibilité et ses conseils.

Je remercie le professeur Manuel Kolp, mon maître de stage, pour sa disponibilité et ses conseils. Remerciements Je remercie le professeur Manuel Kolp, mon maître de stage, pour sa disponibilité et ses conseils. Je remercie également Yves Wautelet, pour les diverses discussions m ayant apporté une meilleur

Plus en détail

Utilisation de SysML pour la simulation d environnement virtuel

Utilisation de SysML pour la simulation d environnement virtuel Utilisation de SysML pour la simulation d environnement virtuel Étude Bibliographique Réalisé par : Paola VALLEJO Encadré par : Ronan QUERREC Master informatique spécialité Recherche en informatique 26

Plus en détail

Correspondances sémantiques entre des modèles de services, de composants et d agents

Correspondances sémantiques entre des modèles de services, de composants et d agents Correspondances sémantiques entre des modèles de services, de composants et d agents Nour Alhouda Aboud LIUPPA / Université de Pau B.P. 1155 64013 PAU CEDEX, France Nouralhouda.Aboud@univpau.fr Eric Gouardères

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

Apports des rôles à la construction et à l expérimentation de modèles multi-agents pour la gestion de ressources renouvelables

Apports des rôles à la construction et à l expérimentation de modèles multi-agents pour la gestion de ressources renouvelables Apports des rôles à la construction et à l expérimentation de modèles multi-agents pour la gestion de ressources renouvelables What roles can bring in designing and experimenting agent-based models used

Plus en détail

Etude de la simulation de systèmes multiagents pour la conception vivante d agents dans la méthode ADELFE

Etude de la simulation de systèmes multiagents pour la conception vivante d agents dans la méthode ADELFE Etude de la simulation de systèmes multiagents pour la conception vivante d agents dans la méthode ADELFE Rapport de Master 2 Recherche «Intelligence Artificielle : Raisonnement, Coopération, Langage»

Plus en détail

CURRICULUM VITAE. Informations Personnelles

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

Plus en détail

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

Cours Systèmes Multi-Agents

Cours Systèmes Multi-Agents Un système multi-agents «Un Système Multi-Agents(SMA) comporte plusieurs agents qui interagissent entre eux dans un environnement commun. Certains de ces agents peuvent être des personnes ou leurs représentants

Plus en détail

Forthcoming Database

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

Plus en détail

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

Modélisation Principe Autre principe

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

Plus en détail

Curriculum Vitae. 1 Etat civil. 2 Diplômes. 3 Thèse. 4 Publications. 4.1 Publications dans des revues ou chapitres de livres

Curriculum Vitae. 1 Etat civil. 2 Diplômes. 3 Thèse. 4 Publications. 4.1 Publications dans des revues ou chapitres de livres Curriculum Vitae 1 Etat civil Nom : Hilaire Prénom : Vincent Date et lieu de naissance : 15/12/1972 à Béziers (34) Situation de famille : marié e-mail : vincent.hilaire@utbm.fr 2 Diplômes Baccalauréat

Plus en détail

THÈSE. En vue de l obtention du DOCTORAT DE L UNIVERSITÉ DE TOULOUSE. Présentée et soutenue le 7 Juin 2013 par :

THÈSE. En vue de l obtention du DOCTORAT DE L UNIVERSITÉ DE TOULOUSE. Présentée et soutenue le 7 Juin 2013 par : THÈSE En vue de l obtention du DOCTORAT DE L UNIVERSITÉ DE TOULOUSE Délivré par : l Université Toulouse 3 Paul Sabatier (UT3 Paul Sabatier) Présentée et soutenue le 7 Juin 2013 par : Noélie BONJEAN Auto-organisation

Plus en détail

Conception et contrôle des SMA tolérants aux fautes

Conception et contrôle des SMA tolérants aux fautes Conception et contrôle des SMA tolérants aux fautes Une plate-forme multiagents tolérante aux fautes à base de réplication Nora FACI Contexte SMA large échelle Nombre important d agents Ressources éloignées

Plus en détail

Aperçu général sur la technologie des Workflows

Aperçu général sur la technologie des Workflows Aperçu général sur la technologie des Workflows Zakaria Maamar Groupe Interfonctionnement Section Technologie des systèmes d'information Centre de recherches pour la défense Valcartier 2459 boul. Pie-XI

Plus en détail

Méthodologie de développement de systèmes multi-agents adaptatifs et conception de logiciels à fonctionnalité émergente

Méthodologie de développement de systèmes multi-agents adaptatifs et conception de logiciels à fonctionnalité émergente THÈSE présentée devant l Université Paul Sabatier de Toulouse III U.F.R. MATHÉMATIQUES, INFORMATIQUE ET GESTION pour obtenir le titre de DOCTEUR DE L UNIVERSITÉ PAUL SABATIER Mention INFORMATIQUE par GAUTHIER

Plus en détail

Comportements Individuels Adaptatifs dans un Environnement Dynamique pour l'exploitation Collective de Ressource

Comportements Individuels Adaptatifs dans un Environnement Dynamique pour l'exploitation Collective de Ressource Comportements Individuels Adaptatifs dans un Environnement Dynamique pour l'exploitation Collective de Ressource Intelligence Artificielle Située, Cerveau, corps et environnement, Drogoul A. & Meyer J-A.

Plus en détail

Vers une approche Adaptative pour la Découverte et la Composition Dynamique des Services

Vers une approche Adaptative pour la Découverte et la Composition Dynamique des Services 69 Vers une approche Adaptative pour la Découverte et la Composition Dynamique des Services M. Bakhouya, J. Gaber et A. Koukam Laboratoire Systèmes et Transports SeT Université de Technologie de Belfort-Montbéliard

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

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

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

Plus en détail

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

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

Accès personnalisé multicritères à de multiples sources d informations.

Accès personnalisé multicritères à de multiples sources d informations. Lyon - France Accès personnalisé multicritères à de multiples sources d informations. Samir kechid Université des Sciences et de la Technologie Houari Boumediene. USTHB BP 32 El Alia Bab Ezzouar Alger

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

Concepts et langages du cadre RM-ODP de l'iso pour analyser et articuler les pratiques de projets libres de système de formation

Concepts et langages du cadre RM-ODP de l'iso pour analyser et articuler les pratiques de projets libres de système de formation Concepts et langages du cadre RM-ODP de l'iso pour analyser et articuler les pratiques de projets libres de système de formation Système de formation fédérant trois projets du logiciel libre (Moodle, OpenGLM

Plus en détail

Concevoir des applications Web avec UML

Concevoir des applications Web avec UML Concevoir des applications Web avec UML Jim Conallen Éditions Eyrolles ISBN : 2-212-09172-9 2000 1 Introduction Objectifs du livre Le sujet de ce livre est le développement des applications web. Ce n est

Plus en détail

Adaptation dynamique de l interaction multimodale dans les environnements ubiquitaires

Adaptation dynamique de l interaction multimodale dans les environnements ubiquitaires Adaptation dynamique de l interaction multimodale dans les environnements ubiquitaires Slim Ben Hassen Orange Labs Lannion, France slim.benhassen@orange.com Abstract Mariano Belaunde Orange Labs Lannion,

Plus en détail

Principes et architecture de la plate forme de personnalisation adaptative SWAPP Search based Web Adaptive Profiling Platform

Principes et architecture de la plate forme de personnalisation adaptative SWAPP Search based Web Adaptive Profiling Platform Principes et architecture de la plate forme de personnalisation adaptative SWAPP Search based Web Adaptive Profiling Platform Sylvain Lemouzy, André Machonin, Valérie Camps Février 2009 Rapport interne

Plus en détail

De UML à SQL> une synthèse

De UML à SQL> une synthèse De UML à SQL> une synthèse Christian Soutou http://icare.iut-blagnac.fr/soutou You cannot design databases without a familarity with the techniques of the ER diagramming R.J. Muller, Database Design for

Plus en détail

Vers un système de réutilisation des connaissances en ingénierie de conception

Vers un système de réutilisation des connaissances en ingénierie de conception N d ordre: 160 Année 2011 T H E S E D E D O C T O R A T Université de Technologie de Belfort Montbéliard et Université de Franche Comté Pour obtenir le grade de DOCTEUR DISCIPLINE : INFORMATIQUE Vers un

Plus en détail

Outil SANTE: Détection d erreurs par analyse statique et test structurel des programmes C

Outil SANTE: Détection d erreurs par analyse statique et test structurel des programmes C Outil SANTE: Détection d erreurs par analyse statique et test structurel des programmes C Omar Chebaro LIFC, Université de Franche-Comté, 25030 Besançon France CEA, LIST, Laboratoire Sûreté des Logiciels,

Plus en détail

Aligner Stratégie d Entreprise et Infrastructure Informatique

Aligner Stratégie d Entreprise et Infrastructure Informatique Logiciels IBM Rational Janvier 2005 Aligner Stratégie d Entreprise et Infrastructure Informatique IBM Rational Software Development Platform & Business-Driven Development Page 2 Table des matières 1 L

Plus en détail

Gestion de la sécurité des réseaux : une nouvelle approche par système multi-agents

Gestion de la sécurité des réseaux : une nouvelle approche par système multi-agents Gestion de la sécurité des réseaux : une nouvelle approche par système multi-agents Karima Boudaoud Université de Genève 24 rue Général Dufour 1200 Genève Suisse Email : Karima.Boudaoud@cui.unige.ch Charles

Plus en détail

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

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

Plus en détail

Plateforme de communication robuste et de disponibilité augmentée pour des robots mobiles de sauvetage

Plateforme de communication robuste et de disponibilité augmentée pour des robots mobiles de sauvetage Sujet de thèse IFI-MSI / Université de Caen Plateforme de communication robuste et de disponibilité augmentée pour des robots mobiles de sauvetage Contexte Le contexte de ce travail est le projet AROUND

Plus en détail

Cours : INF 784 Systèmes à base de connaissances Trimestre : Automne 2015 Enseignant : Évariste Valéry BÉVO WANDJI

Cours : INF 784 Systèmes à base de connaissances Trimestre : Automne 2015 Enseignant : Évariste Valéry BÉVO WANDJI Faculté des sciences Centre de formation en technologies de l information Cours : INF 784 Systèmes à base de connaissances Trimestre : Automne 2015 Enseignant : Évariste Valéry BÉVO WANDJI 1. Mise en contexte

Plus en détail

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

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

Plus en détail

Efficient Object Versioning for Object- Oriented Languages From Model to Language Integration

Efficient Object Versioning for Object- Oriented Languages From Model to Language Integration Efficient Object Versioning for Object- Oriented Languages From Model to Language Integration Pluquet Frédéric July, 3rd 2012 Etude de techniques efficaces de versionnement d objets pour les langages orientés

Plus en détail

Une méthode d apprentissage pour la composition de services web

Une méthode d apprentissage pour la composition de services web Une méthode d apprentissage pour la composition de services web Soufiene Lajmi * Chirine Ghedira ** Khaled Ghedira * * Laboratoire SOIE (ENSI) University of Manouba, Manouba 2010, Tunisia Soufiene.lajmi@ensi.rnu.tn,

Plus en détail

Software Design Description

Software Design Description Software Design Description ABSTRACT: KEYWORDS: APPROVED: AUTHOR PROJECT MANAGER PRODUCT OWNER General information/recommendations A SDD provides a representation of a software system created to facilitate

Plus en détail

Chapitre I : le langage UML et le processus unifié

Chapitre I : le langage UML et le processus unifié I. Introduction Les méthodes d analyse orientées objet sont initialement issues des milieux industriels. La préoccupation dominante de leurs auteurs est le génie logiciel, c est-àdire les principes et

Plus en détail

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

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

Plus en détail

Industrialisation du logiciel Temps Réel Critique

Industrialisation du logiciel Temps Réel Critique Industrialisation du logiciel Temps Réel Critique Sommaire Projets opérationnels Les outils du marché utilisés et les contraintes associées CS et les méthodes CS et la R&D Conclusion RdV de l'innovation

Plus en détail

Ingénierie et gestion des connaissances

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

Plus en détail

Direction Générale des Études Technologiques. Institut Supérieur des Etudes Technologiques de Djerba Département Technologies de l informatique

Direction Générale des Études Technologiques. Institut Supérieur des Etudes Technologiques de Djerba Département Technologies de l informatique Direction Générale des Études Technologiques Institut Supérieur des Etudes Technologiques de Djerba Département Technologies de l informatique Génie Logiciel Mejdi BLAGHGI m.blaghgi@gmail.com Chapitre

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

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

Programmation d'agents intelligents Vers une refonte des fils de raisonnement. Stage de fin d'études Master IAD 2006

Programmation d'agents intelligents Vers une refonte des fils de raisonnement. Stage de fin d'études Master IAD 2006 vendredi 8 septembre 2006 Programmation d'agents intelligents Vers une refonte des fils de raisonnement Stage de fin d'études Master IAD 2006 Benjamin DEVEZE Responsable : M. Patrick TAILLIBERT Plan Plan

Plus en détail

GÉNIE LOGICIEL (SOFTWARE ENGINEERING)

GÉNIE LOGICIEL (SOFTWARE ENGINEERING) GÉNIE LOGICIEL (SOFTWARE ENGINEERING) 5ÈME PARTIE UML (UNIFIED MODELING LANGUAGE) Faculté des Sciences et Techniques http://labh-curien.univ-st-etienne.fr/~fj/gl Francois.Jacquenet@univ-st-etienne.fr Plan

Plus en détail

IFT2251 Introduction au génie logiciel Plan de cours. 2. Description du cours et objectifs généraux

IFT2251 Introduction au génie logiciel Plan de cours. 2. Description du cours et objectifs généraux IFT2251 Introduction au génie logiciel Plan de cours Été 2008 Yann-Gaël Guéhéneuc 1. Introduction Les exigences et les attentes à l égard de la qualité logicielle sont de plus en plus grandes. La taille

Plus en détail

Objectif : Programme: Projet coordonné par l Office International de l Eau. Evènement labellisé World Water Forum 6

Objectif : Programme: Projet coordonné par l Office International de l Eau. Evènement labellisé World Water Forum 6 Atelier WaterDiss2.0: Valoriser les résultats de la recherche sur l'eau comme catalyseur de l'innovation. Paris, Pollutec, 1 er Décembre 2011 De 14h à 17h Salle 617 Objectif : L'objectif du projet WaterDiss2.0

Plus en détail

Séminaires Système D Information. Formation Conduite du Changement. Préambule

Séminaires Système D Information. Formation Conduite du Changement. Préambule Séminaires Système D Information Formation Conduite du Changement Préambule Sommaire Préambule L entreprise : système complexe en mouvement permanent Mickael Porter Harvard Business School - L avantage

Plus en détail

Modélisation et conception d'un. environnement de suivi pédagogique synchrone. d'activités d'apprentissage à distance

Modélisation et conception d'un. environnement de suivi pédagogique synchrone. d'activités d'apprentissage à distance Modélisation et conception d'un environnement de suivi pédagogique synchrone d'activités d'apprentissage à distance Christophe DESPRÉS Laboratoire d Informatique de l'université du Maine Plan de la présentation

Plus en détail

Forum AMOA ADN Ouest. Présentation du BABOK. 31 Mars 2013 Nadia Nadah

Forum AMOA ADN Ouest. Présentation du BABOK. 31 Mars 2013 Nadia Nadah Forum AMOA ADN Ouest Présentation du BABOK 31 Mars 2013 Nadia Nadah Ce qu est le BABOK Ce que n est pas le BABOK Définition de la BA - BABOK version 2 Le processus de Business Analysis La structure du

Plus en détail

Rapport d étude bibliographique

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

Plus en détail

CAPE: Context-Aware Agile Business Process Engine

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

Plus en détail

La plate-forme DIMA. Master 1 IMA COLI23 - Université de La Rochelle

La plate-forme DIMA. Master 1 IMA COLI23 - Université de La Rochelle La plate-forme DIMA Master 1 IMA COLI23 - Université de La Rochelle DIMA Bref aperçu Qu'est-ce? Acronyme de «Développement et Implémentation de Systèmes Multi-Agents» Initié par Zahia Guessoum et Jean-Pierre

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

Il y a de l'ia dans les programmes de l'agence Nationale de la Recherche Bertrand Braunschweig Responsable de programmes Paris, 3 Novembre 2006

Il y a de l'ia dans les programmes de l'agence Nationale de la Recherche Bertrand Braunschweig Responsable de programmes Paris, 3 Novembre 2006 Il y a de l'ia dans les programmes de l'agence Nationale de la Recherche Bertrand Braunschweig Responsable de programmes Paris, 3 Novembre 2006 www.agence-nationale-recherche.fr Bref historique Un objectif

Plus en détail

Détection des préoccupations transversales au niveau architectural

Détection des préoccupations transversales au niveau architectural Détection des préoccupations transversales au niveau architectural Fairouz DAHI, Nora BOUNOUR Laboratoire LRI, Département d'informatique, Université Badji-Mokhtar BP. 12, 23000, Annaba, ALGÉRIE fairouz_dahi@yahoo.fr,

Plus en détail

Modélisation multi-agents - Agents réactifs

Modélisation multi-agents - Agents réactifs Modélisation multi-agents - Agents réactifs Syma cursus CSI / SCIA Julien Saunier - julien.saunier@ifsttar.fr Sources www-lih.univlehavre.fr/~olivier/enseignement/masterrecherche/cours/ support/algofourmis.pdf

Plus en détail

IEEE Learning Technology Standards Committee Comité des Normes en Technologies d Apprentissage de l IEEE

IEEE Learning Technology Standards Committee Comité des Normes en Technologies d Apprentissage de l IEEE IEEE Learning Technology Standards Committee Comité des Normes en Technologies d Apprentissage de l IEEE Robby Robson Chair, LTSC Président, LTSC rrobson@eduworks.com 19 March, 2003 What is the LTSC? Le

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

Un système multi-agents sensible au contexte pour les environments d intelligence ambiante

Un système multi-agents sensible au contexte pour les environments d intelligence ambiante sensible au contexte pour les Andrei Olaru Directeurs de thèse: Adina Magda Florea, AI-MAS Lab, UPB Amal El Fallah Seghrouchni, LIP6, UPMC 27062011 Rapport d avancement Paris, France, 27062011 0/ 13 Positionnement

Plus en détail

Programme scientifique MUST

Programme scientifique MUST Programme scientifique MUST Management of Urban Smart Territories 03/06/2014 Claude Rochet - Florence Pinot 1 Qu est-ce qui fait qu une ville est «smart»? Ce n est pas une addition de «smarties»: smart

Plus en détail

Processus de développement de système contraint par l urbanisation d un système d information

Processus de développement de système contraint par l urbanisation d un système d information Processus de développement de système contraint par l urbanisation d un système d information Jacques Simonin*, ** Antoine Beugnard* Rémi Nédélec*** * Institut Télécom/Télécom Bretagne ** Lab-STICC UMR

Plus en détail

Editing and managing Systems engineering processes at Snecma

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

Plus en détail

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

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

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

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

Plus en détail

Influence De La Taille Du Jeton Sur Les Performances De L algorithme D'exclusion Mutuelle De Ricart - Agrawala

Influence De La Taille Du Jeton Sur Les Performances De L algorithme D'exclusion Mutuelle De Ricart - Agrawala Influence De La Taille Du Jeton Sur Les Performances De L algorithme D'exclusion Mutuelle De Ricart - Agrawala Sarah Benkouider, Souhila Labgaa 2, Mohamed Yagoubi 3 Université Amar Telidji Département

Plus en détail

«PRATIQUES DOCUMENTAIRES ET

«PRATIQUES DOCUMENTAIRES ET «PRATIQUES DOCUMENTAIRES ET NOUVEAUX MODES DE PUBLICATION» - Résultats de l enquête Centre de documentation LAAS-CNRS Juin 2006 1) PRESENTATION DE L ENQUETE a) Objectifs Dresser un état des lieux sur :

Plus en détail

basée sur le cours de Bertrand Legal, maître de conférences à l ENSEIRB www.enseirb.fr/~legal Olivier Augereau Formation UML

basée sur le cours de Bertrand Legal, maître de conférences à l ENSEIRB www.enseirb.fr/~legal Olivier Augereau Formation UML basée sur le cours de Bertrand Legal, maître de conférences à l ENSEIRB www.enseirb.fr/~legal Olivier Augereau Formation UML http://olivier-augereau.com Sommaire Introduction I) Les bases II) Les diagrammes

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

Table des matières CHAPITRE I : LA COOPERATION INTERENTREPRISES...13 INTRODUCTION...13

Table des matières CHAPITRE I : LA COOPERATION INTERENTREPRISES...13 INTRODUCTION...13 3 Table des matières INTRODUCTION GENERALE...8 1. CONTEXTE ET CADRE DE LA RECHERCHE...8 2. OBJECTIF ET APPROCHE...9 3. ENONCE DU PLAN DE LA THESE...10 PARTIE I : CADRE THEORIQUE ET ETAT DE L ART...12 CHAPITRE

Plus en détail

Gestion des grilles : Surveillance Contextuelle de la QoS par une approche conduite par des modèles

Gestion des grilles : Surveillance Contextuelle de la QoS par une approche conduite par des modèles Gestion des grilles : Surveillance Contextuelle de la QoS par une approche conduite par des modèles S. Ravelomanana, M. Sibilla Université P. Sabatier, Laboratoire IRIT Toulouse, France raveloma@irit.fr,

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

Contribution à la mise en œuvre d un agent coopératif pour un système de production intégrant une maintenance préventive.

Contribution à la mise en œuvre d un agent coopératif pour un système de production intégrant une maintenance préventive. D. Marouf (1), K. Bouamrane(2) Contribution à la mise en œuvre d un agent coopératif pour un système de production intégrant une maintenance préventive. D. Marouf (1), K. Bouamrane(2) 1 Centre universitaire

Plus en détail

Solution A La Gestion Des Objets Java Pour Des Systèmes Embarqués

Solution A La Gestion Des Objets Java Pour Des Systèmes Embarqués International Journal of Engineering Research and Development e-issn: 2278-067X, p-issn: 2278-800X, www.ijerd.com Volume 7, Issue 5 (June 2013), PP.99-103 Solution A La Gestion Des Objets Java Pour Des

Plus en détail

SYNTHESE D ARCHITECTURES D ENSEMBLES DYNAMIQUES D HELICOPTERES.

SYNTHESE D ARCHITECTURES D ENSEMBLES DYNAMIQUES D HELICOPTERES. SYNTHESE D ARCHITECTURES D ENSEMBLES DYNAMIQUES D HELICOPTERES. 1 LE CADRE DES TRAVAUX Les travaux s inscrivent dans le cadre de l amélioration des performances des ensembles dynamiques d Hélicoptères.

Plus en détail

UML (Paquetage) Unified Modeling Language

UML (Paquetage) Unified Modeling Language UML (Paquetage) Unified Modeling Language Sommaire Introduction Objectifs Paquetage Espace de nommage d un paquetage Dépendances entre paquetages 2 Notion introduite véritablement par UML car superficiellement

Plus en détail

Les nouvelles architectures des SI : Etat de l Art

Les nouvelles architectures des SI : Etat de l Art Les nouvelles architectures des SI : Etat de l Art Objectif Mesurer concrètement les apports des nouvelles applications SI. Être capable d'évaluer l'accroissement de la complexité des applications. Prendre

Plus en détail

Architecture Logicielle

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

Plus en détail

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

UML est-il soluble dans les méthodes agiles? Pascal ROQUES Valtech Training UML est-il soluble dans les méthodes agiles? octobre 07 Résumé On entend beaucoup parler actuellement de deux approches ayant l'air fondamentalement opposées : l'approche

Plus en détail

Analyse et Conception objet du logiciel Analyse et conception objet du logiciel : Méthode de conception objet et notation UML.

Analyse et Conception objet du logiciel Analyse et conception objet du logiciel : Méthode de conception objet et notation UML. Analyse et conception objet du logiciel : Méthode de conception objet et notation UML Rémy Courdier Email : Remy.Courdier@univ-reunion.fr Rémy Courdier V2.1 1 Plan du cours Introduction au Génie Logiciel

Plus en détail

Cours de Génie Logiciel

Cours de Génie Logiciel Cours de Génie Logiciel Sciences-U Lyon Gestion de Projet Informatique http://www.rzo.free.fr Pierre PARREND 1 Mars 2005 Sommaire Gestion de projet informatique Cycle de vie du logiciel Modèles de Méthodes

Plus en détail

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

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

Plus en détail

Délégation GPU des perceptions agents : application aux boids de Reynolds

Délégation GPU des perceptions agents : application aux boids de Reynolds Délégation GPU des perceptions agents : application aux boids de Reynolds JFSMA 2015 LIRMM - Université de Montpellier - CNRS Emmanuel Hermellin, Fabien Michel {hermellin, fmichel}@lirmm.fr Mercredi 1

Plus en détail

Département d'informatique, Université Laval, IFT-63677 SBC V&V : VÉRIFICATION ET VALIDATION DES SBC

Département d'informatique, Université Laval, IFT-63677 SBC V&V : VÉRIFICATION ET VALIDATION DES SBC Assurance qualité logicielle Logiciel conventionnel SBC Fiabilité Facilité d'entretien Facilité des modifications Principales causes d erreur Absence de spécification, manque de conformité (1) Erreurs

Plus en détail