MOCA : Un modèle componentiel dynamique pour les systèmes multi-agents organisationnels

[1]  Michael Wooldridge,et al.  Model checking multi-agent systems with MABLE , 2002, AAMAS '02.

[2]  Jacques Ferber,et al.  Organization models and behavioural requirements specification for multi-agent systems , 2000, Proceedings Fourth International Conference on MultiAgent Systems.

[3]  Kyo Chul Kang,et al.  Formalization and verification of safety properties of Statechart specifications , 1996, Proceedings 1996 Asia-Pacific Software Engineering Conference.

[4]  Nicholas R. Jennings,et al.  Modelling Sociality in the BDI Framework , 1999 .

[5]  H. Van Dyke Parunak,et al.  Representing Social Structures in UML , 2001, AOSE.

[6]  Roger Duke,et al.  Object-Z: a specification language advocated for the description of standards , 1995 .

[7]  Olivier Boissier,et al.  Spécification structurelle, fonctionnelle et déontique d'organisations dans les SMA , 2002, JFSMA.

[8]  Amal El Fallah Seghrouchni,et al.  Open protocol design for complex interactions in multi-agent systems , 2002, AAMAS '02.

[9]  Pierre-Michel Ricordel.  Programmation orientée multi-agents : développement et déploiement de systèmes multi-agents voyelles , 2001 .

[10]  Nicholas R. Jennings,et al.  The Gaia Methodology for Agent-Oriented Analysis and Design , 2000, Autonomous Agents and Multi-Agent Systems.

[11]  Otto Haas,et al.  Formal protocol specification based on attribute grammars , 1985, PSTV.

[12]  Abraham Silberschatz,et al.  Operatlng system concepts - alternate edition , 1988 .

[13]  Vincent Hilaire.  Vers une approche de specification, de prototypage et de verification de systemes multi-agents , 2000 .

[14]  Catholijn M. Jonker,et al.  Formalization of a Cooperation Model Based on Joint Intentions , 1996, ATAL.

[15]  Nicholas R. Jennings,et al.  DESIRE: Modelling Multi-Agent Systems in a Compositional Formal Framework , 1997, Int. J. Cooperative Inf. Syst..

[16]  Jacques Ferber,et al.  A meta-model for the analysis and design of organizations in multi-agent systems , 1998, Proceedings International Conference on Multi Agent Systems (Cat. No.98EX160).

[17]  Thomas Meurisse,et al.  Une approche à base de composants pour la conception d'agents (A component-based approach for agent construction) , 2001, Tech. Sci. Informatiques.

[18]  Francis Van Aeken.  Les systèmes multi-agents minimaux , 1999 .

[19]  Thomas Meurisse,et al.  Mise en oeuvre d'une approche componentielle pour la conception d'agents , 1999, JFIADSMA.

[20]  Amal El Fallah Seghrouchni,et al.  A Recursive Model for Distributed Planning , 1996 .

[21]  Victor R. Lesser,et al.  An Agent Infrastructure to Build and Evaluate Multi-Agent Systems: The Java Agent Framework and Multi-Abent System Simulator , 2000, Agents Workshop on Infrastructure for Multi-Agent Systems.

[22]  Hamza Mazouzi.  Ingénierie des protocoles d'interaction : des systèmes distribués aux systèmes multi-agents , 2001 .

[23]  István Majzik,et al.  Quantitative analysis of dependability critical systems based on UML statechart models , 2000, HASE.

[24]  Elizabeth A. Kendall,et al.  Role modelling for agent system analysis, design, and implementation , 1999, Proceedings. First and Third International Symposium on Agent Systems Applications, and Mobile Agents.

[25]  José Luis Fernández Alemán,et al.  Can intuition become rigorous? Foundations for UML model verification tools , 2000, Proceedings 11th International Symposium on Software Reliability Engineering. ISSRE 2000.

[26]  Min-Jung Yoo.  Une approche componentielle pour la modélisation d'agents coopératifs et leur validation , 1999 .

[27]  Correa E Silva Fernandes,et al.  Systemes multi-agents hybrides : une approche pour la conception de systemes complexes , 2001 .

[28]  Andrea Bondavalli,et al.  Automated dependability analysis of UML designs , 1999, Proceedings 2nd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'99) (Cat. No.99-61702).

[29]  Marc Lhuillier.  Une approche a base de composants logiciels pour la conception d'agents. Principes et mise en uvre a travers la plate-forme maleva , 1998 .

[30]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[31]  Amnon Naamad,et al.  The STATEMATE semantics of statecharts , 1996, TSEM.

[32]  Jean-Christophe Soulié.  Vers une approche multi-environnements pour les agents , 2001 .

[33]  Diego Latella,et al.  Towards a Formal Operational Semantics of UML Statechart Diagrams , 1999, FMOODS.

[34]  Francesca Levi,et al.  Compositional Verification of Timed Statecharts , 2000 .

[35]  Peter Scholz,et al.  Formal Verification and Hardware Design with Statecharts , 1998, Prospects for Hardware Foundations.

[36]  Catholijn M. Jonker,et al.  Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic , 1998, J. Log. Lang. Inf..

[37]  Rolf Pfeifer,et al.  Understanding intelligence , 2020, Inequality by Design.

[38]  Raphaël Duboz,et al.  Utilisation du formalisme DEVS pour la spécification de systèmes d'agents réactifs , 2002, JFSMA.

[39]  Rik Eshuis,et al.  Requirements Level Semantics for UML Statecharts , 2000, FMOODS.

[40]  John Anil Saldhana.  UML Diagrams to Object Petri Net Models: An Approach for Modeling and Analysis , 2000 .

[41]  Arnaud Dury.  Modélisation des interactions dans les systèmes multi-agents , 2000 .

[42]  N. P. Chapman.  Defining, analysing and implementing communication protocols using attribute grammars , 2005, Formal Aspects of Computing.

[43]  Scott A. Smolka,et al.  A Compositional Semantics for Statecharts using Labeled Transition Systems , 1994, CONCUR.

[44]  Jacques Ferber,et al.  Operational Semantics of a Role-based Agent Architecture , 1999 .

[45]  Nabil Hameurlain.  Composition et substitution d'agents : sémantique et préservation de propriétés , 2001, JFIADSMA.

[46]  Bruce Edmonds,et al.  Sociology and Social Theory in Agent Based Social Simulation: A Symposium , 2001, Comput. Math. Organ. Theory.

[47]  Mihai Barbuceanu,et al.  Coordinating with obligations , 1998, AGENTS '98.

[48]  Olivier Gutknecht.  Proposition d'un modèle organisationnel générique de systèmes multi-agents et examen de ses conséquences formelles, implémentatoires et méthologiques. (Proposal for a generic organization model for multi-agent systems. Study of its methodological, formal and implementation consequences) , 2001 .

[49]  José-Antonio Báez-Barranco,et al.  La plate-forme MOCA : Réification de la notion d'organisation au-dessus de MadKit (démonstration) , 2001, JFIADSMA.

[50]  Hans-Dieter Burkhard,et al.  Liveness and Fairness Properties in Multi-Agent Systems , 1993, IJCAI.

[51]  Benoit Durand.  Simulation multi-agents et epidemiologie operationnelle. Etude d'epizooties de fievre aphteuse , 1996 .