. [. Bibliographie and . Abd-allah, Composing Heterogeneous Software Architecture, 1996.

R. [. Abowd, D. Allen, and . Garlan, Formalizing style to understand descriptions of software architecture, Abr91] J.R. Abrial. The B Method for Large Software Specification, Design and Coding. S. Prehn and W.J. Toetenel. Eds. VDM'91 : Formal Software Development Methods, pp.319-364, 1991.
DOI : 10.1145/226241.226244

H. [. Alloui, R. Garavel, F. Mateescue, and . Oquendo, The ArchWare Architecture Analysis Language, 2002.

M. [. Azaiez, F. Huget, and . Oquendo, Approach for Multi- Agent Metamodelling. Multi-Agent and Grid Systems, Special Issue on Agent-Oriented Software Development Methodology, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00512554

[. Allen, A Formal Approach to Software Architecture, 1997.

F. [. Azaiez and . Oquendo, Final ArchWare Architecture Analysis Tool by Theorem Proving, ARCHWARE European RTD, 2005.

F. [. Azaiez, H. Pourraz, F. Verjus, and . Oquendo, Final Arch- Ware Architecture Animator -Release 1, ArchWare European RTD Project IST, 2001.

]. J. Aus62 and . Austin, How to do Things with Words, 1962.

]. M. Bak96 and . Bakalem, Modélisation et simulation orientées objet des systèmes manufacturiers, Thèse de Doctorat en Electronique -Electrotechnique -Automatique, 1996.

J. [. Le-bars, S. Attonaty, and . Pinson, An Agent-based simulation for water sharing between different users, Proceedings of the first international joint conference on Autonomous agents and multiagent systems part 1, AAMAS '02, pp.211-213, 2002.
DOI : 10.1145/544741.544792

]. J. Bbb-+-05, M. Bézivin, M. Blay, J. Bouzhegoub, J. M. Estublier et al., Rapport de Synthèse de l'AS CNRS sur le MDA (Model Driven Architecture) Rapport CNRS, janvier Towards a new software development process for MDA, Proceedings of the European Workshop on Milestones, Models and Mappings for Model- Driven Architecture, 2005.

D. Bergamini, D. Champelovier, N. Descoubes, H. Garavel, R. Mateescu et al., ArchWare Architecture Analysis Tool by Model-Checking, ARCHWARE European RTD, 2004.

M. P. Gleizes, P. Turci, F. [. Zambonelli, P. Bass, R. Clements et al., A study of some Multi-Agent Meta-Models Software architecture in practice, Proceedings of the fourth international workshop on software engineering for large-scale multi-agent systems Cossentino, and J. Pavon. An Overview of Current Trends in European AOSE Research. Informatica (Slovenia ) Demazeau. ASIC : An Architecture for Social and Individual Control and its Application to Computer Vision. MAAMAW, pp.379-390, 1994.

P. Boulet, J. Dekeyser, C. Dumoulin, . Ph, . Kajfasz et al., Sophocles : Cyber-Enterprise for System- On-Chip Distributed Simulation. LIFL02 Modélisation pour la simulation d'un système d'aide au pilotage industriel, Thèse de Doctorat en Génie Industriel, 2000.
URL : https://hal.archives-ouvertes.fr/inria-00565177

P. [. Balasubramaniam, R. Fabriani, F. Dindeleux, and . Pourraz, Archware code synthesiser. ARCHWARE European RTD Project IST-2001-32360 Towards a precise definition of the omg/mda framework, ASE'01, 2001.

. Bgg-+-04b-]-p, P. Bresciani, F. Giorgini, J. Giunchiglia, A. Mylopoulos et al., Tropos : An Agent-Oriented Software Development Methodology, Journal of Autonomous Agent and Multi-Agent Systems, 2004.

M. [. Bernon, G. Gleizes, P. Picard, and . Glize, The ADELFE Methodology For an Intranet System Design, Fourth International Bi-Conference Workshop on Agent- Oriented Information Systems (AOIS-2002 CEUR Workshop Proceedings, 2002.

D. [. Bratman, M. E. Israel, and . Pollack, Plans and resource-bounded practical reasoning, Computational Intelligence, vol.2, issue.3, pp.349-355, 1988.
DOI : 10.1016/0004-3702(84)90053-5

B. [. Brazier, N. Dunin-keplicz, J. Jennings, and . Treur, Desire: Modelling Multi-Agent Systems in a Compositional Formal Framework, International Journal of Cooperative Information Systems, vol.06, issue.01, 1997.
DOI : 10.1142/S0218843097000069

M. [. Bottoni, F. Koch, G. Parisi-presicce, and . Taentzer, Consistency Checking and Visualization of OCL Constraints, The Unified Modeling Language Advancing the strandard, third international conference, pp.294-308, 2000.
DOI : 10.1007/3-540-40011-7_21

J. [. Bauer, J. Muller, and . Odell, Agent UML : A Formalism for Specifying Multiagent Software Systems, The International Journal of Software Engineering and Knowledge Engineering, 2001.

]. M. Boa95 and . Boasson, The Artistry of Software Architecture. Guest editor's introduction, IEEE Software, 1995.

]. B. Boe76 and . Boehm, Software Engineering, IEEE Transaction Computers, 1976.

]. B. Boe88 and . Boehm, A spiral model of software development and enhancement, IEEE Computer, 1988.

]. G. Boo92 and . Booch, Conception orientée objets et applications, 1992.

A. [. Bellifemmine, G. Poggi, and . Rimassa, JADE -A FIPA compliant agent framework, 4th International Conference and Exhibition on the Practical Application of Intelligent Agents and Multi-Agents, 1999.

A. [. Bertolini, A. Perini, H. Susi, and . Mouratidis, The Tropos visual modeling language. A MOF 1, 2005.

. [. Bratman, Intention, Plans, and Practical Reason, 1987.

. [. Bibliographie, R. Busetta, A. Ronnquist, A. Hodgson, and . Lucas, Jack intelligent agents -components for intelligent agents in java, AgentLink News Letter, 1999.

J. [. Booch, I. Rumbaugh, and . Jacobson, Le guide de l'utilisateur UML, 2000.

]. R. Bro86 and . Brooks, A robust layered control system for a mobile robot, IEEE Journal of Robotics and Automation, 1986.

. Bse-+-03-]-f, D. Budinsky, R. Steinberg, E. Ellersick, S. A. Merkes et al., Eclipse Modeling Framework, 2003.

]. J. Béz04 and . Bézivin, In Search of a Basic Principle for Model-Driven Engineering, Novatica Journal. Special Issue, 2004.

C. [. Cossentino, J. Bernon, and . Pavón, Modelling and Metamodelling Issues in Agent Oriented Software Engineering : The AgentLink AOSE TFG Approach, 2005.

M. [. Chella, L. Cossentino, and . Sabatucci, Tools and patterns in designing multiagent systems with PASSI, 6th WSEAS International Conference on Telecommunications and Informatics, 2004.

M. [. Cernuzzi, F. Cossentino, and . Zambonelli, Process models for agent-based development, Engineering Applications of Artificial Intelligence, vol.18, issue.2, 2005.
DOI : 10.1016/j.engappai.2004.11.015

M. Clavel, F. Duran, S. Eker, P. Lincoln, N. Marti-oliet et al., The Maude 2.0 System, Proc. Rewriting Techniques and Applications, pp.76-87, 2003.
DOI : 10.1007/3-540-44881-0_7

S. [. Cossentino, A. Gaglio, V. Garro, and . Seidita, Method fragments for agent design methodologies: from standardisation to research, International Journal of Agent-Oriented Software Engineering, vol.1, issue.1, 2007.
DOI : 10.1504/IJAOSE.2007.013266

S. [. Cossentino, L. Gaglio, V. Sabatucci, and . Seidita, The PASSI and Agile PASSI MAS Meta-models Compared with a Unifying Proposal, Proceeding of the CEEMAS' 05 Conference, pp.183-192, 2005.
DOI : 10.1007/11559221_19

S. [. Czarnecki and . Helsen, Classification of model transformation approaches The entity relationship model -towards a unified view of data, OOPSLA'03 Workshop on Generative Techniques in the Context of Model-Driven Architecture, pp.9-36, 1976.

]. P. Cia96 and . Ciancarini, Coordination models and languages as software integrators, 1996.

D. [. Collis, H. S. Ndumu, L. C. Nwana, and . Lee, The ZEUS agent building toolkit, BT Technology Journal, vol.16, issue.3, 1998.

F. S. Cimpan, D. Oquendo, G. Balasubramaniam, R. Kirby, and . Morrison, The ArchWare ADL : Definition of the Textual Concrete Syntax, ArchWare European RTD Project IST, 2001.

C. [. Cossentino and . Potts, PASSI : a process for specifying and implementing Multi-Agent Systems Using UML, 2001.

J. [. Coutinho, O. Sichman, and . Boissier, Modeling Organization in MAS : A comparison of Models, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00405550

I. [. Cervenka and . Trencansky, Agent Modeling Language : Language Specification, 2004.

I. [. Cervenka, M. Trencansky, D. Calisti, and . Greenwood, AML: Agent Modeling Language Toward Industry-Grade Agent-Based Modeling, Agent-Oriented Software Engineering V : 5th International Workshop, 2004.
DOI : 10.1007/978-3-540-30578-1_3

F. [. Cernuzzi and . Zambonelli, Experiencing AUML with the Gaia Methodology, 6th International Conference on Enterprise Information Systems, 2004.

B. [. Drogoul, D. Corbara, and . Fresneau, Manta : New experimental results on the emergence of (artificial) ant societies. Artificial Societies : the computer simulation of social life, 1995.

]. Y. Dem01 and . Demazeau, Voyelles. Mémoire d'habilitation à diriger des recherches, 2001.

]. P. Des00 and . Desfray, UML Profiles Versus Metamodel Extensions : An Ongoing Debate, OMG's UMLWorkshops : UML in the .com Enterprise : Modeling CORBA, Components, XML/XMI and Metadata Workshop, 2000.

[. Bibliographie, O. Dinh, H. Gerbé, . Sahraouidk75-]-f, H. Deremer et al., Un métamétamodèle pour la gestion de modèles Programming-in-the large versus programming-in-the-small, IDM 06 Actes des Proceeding of the International Conference on Reliable software, pp.114-121, 1975.

D. Inverno, M. Kinny, M. Luck, and . Wooldridge, A formal specification of dMARS, Agent Theories, Architectures, and Languages, pp.155-176, 1997.

]. A. Dro93 and . Drogoul, De la simulation multi-agents à la résolution collective de problèmes Une étude de l' émergence de structures d'organisation dans les systèmes multi-agents, 1993.

M. [. Dam and . Winikoff, Comparing Agent-Oriented Methodologies, Fifth International Bi- Conference Workshop on Agent-Oriented Information Systems (AOIS-2003), pp.78-93, 2003.
DOI : 10.1007/978-3-540-25943-5_6

D. [. Esfandiari and . Quinqueton, An interface agent for network supervision, Proceedings of ECAI, 1996.

G. [. Estublier, A. Vega, and . Ionita, Composing Domain-Specific Languages for Wide-Scope Software Engineering Applications, MODELS, 2005.
DOI : 10.1007/11557432_6

[. Favre, Towards a Basic Theory to Model Driven Engineering, Workshop on Software Model Engineering, WISME, 2004.

[. Ferber, Les systèmes multi-agents : vers une intelligence collective, 1995.

O. [. Ferber and . Gutknecht, A meta-model for the analysis and design of organizations in multi-agent systems, Proceedings International Conference on Multi Agent Systems (Cat. No.98EX160), 1998.
DOI : 10.1109/ICMAS.1998.699041

O. [. Ferber and . Gutknecht, Madkit : A generic multi-agent platform, 4 th International Conference on Autonomous Agents, 2000.

O. [. Ferber, F. Gutknecht, R. Michel, J. Fuentes, J. Gómez-sanz et al., From agents to organizations : An organizational view of multi-agent systems Towards requirements elicitation in multi-agent systemsSoftware Agents An organizational view of distributed systems, AOSE Proc. Of the 17th European Meeting on Cybernetics and Systems Research FIPA Association IEEE Transactions on Systems, pp.214-23070, 1981.

H. Garavel, [. Georgé, M. Gleizes, and P. Glize, What is style ? Basic approach to emergent programming -feasibility study for engineering adaptive systems using self-organizing instruction-agents, 1989. [Gar95] D. Garlan Proceedings of Dagshtul Workshop on Software Architecture, 1995.

M. Greaves, H. Holmback, and J. Bradshaw, What is a conversation policy ? Issues in Agent Communication, The Third International Workshop on Engineering Self-Organising Applications (ESOA'05) at the Fourth International Joint Conference on Autonomous Agents & Multi-Agent Systems (AAMAS05) LNAI 1916 Jazayeri, and D. Mandrioli. Fundamentals of Software Engineering. Second Edition, pp.16-30, 2000.

P. Giorgini, M. Kolp, J. Mylopoulos, M. P. Pistore-[-gl87-]-m, A. L. Georgeff et al., The Tropos Methodology, Methodologies and Software Engineering for Agent Systems Proceedings of the Sixth National Conference on Artificial Intelligence (AAAI-87), pp.677-682, 1987.
DOI : 10.1007/1-4020-8058-1_7

P. Giorgini, F. Massacci, J. Mylopoulos, and N. Zannone, Filling the Gap between Requirements Engineering and Public Key/Trust Management Infrastructures, Proceedings of the 1st European PKI Workshop : Research and Applications (1st EuroPKI ), 2004.
DOI : 10.1007/978-3-540-25980-0_8

. [. Bibliographie, J. Giunchiglia, A. Mylopoulos, T. Perini-gleizes, G. Millan et al., The tropos software development methodology : Processes, models and diagrams, AOSE 02 ADELFE : Using SPEM Notation to Unify Agent Engineering Processes and Methodology . Rapport interne IRIT/2003-10-R, Institut de Recherche en Informatique de Toulouse (IRIT), pp.162-173, 2002.

D. Garlan, R. T. Monroe, D. W. Garlan, and M. Shaw, Acme, CASCON First Decade High Impact Papers on, CASCON '10, pp.47-68, 1993.
DOI : 10.1145/1925805.1925814

M. Huget, S. Pralus, J. Azaiez, K. Tounsi, M. Tamani et al., Modélisation système multi-agents (sma) du processus de pilotage d'un système de fusion d'informations appliqué à un système de production Technical report, laboratoire LIS- TIC The AUML Approach Spécification structurelle , fonctionnelle et déontique d'organisations dans les systèmes multi-agents. JFIADSMA 02 Coevolution of Models, Metamodels and Transformations, Huget. Agent Communication. In Intelligent Decision Support Systems in Agent-Mediated Environments. Frontiers in Artificial Intelligence and Applications. Gloria Phillips-Wren and, 2002.

J. [. Ionita, G. Estublier, and . Vega, Domaines réutilisables dirigés par les modèles, Proc. Of Ingénierie dirigée par les modèles, IDM05, 2005.

M. [. Iglesias, J. C. Garijo, and . Gonzalez, A survey of agentoriented methodologies, Proceeding of the Fifth International Workshop on Agent Theories Architectures, and Languages, 1999.

]. I. Jac93 and . Jacobson, Object-Oriented Software Engineering -a Use Case Driven Approach, 1993.

. R. Jfl-+-01-]-n, P. Jennings, A. R. Faratin, S. Lomuscio, C. Parsons et al., Automated negotiation : prospects, methods and challenge, International Journal of Group Decision and Negotiation (GDN), vol.10, pp.99-215, 2001.

[. Jézéquel, S. Gérard, and B. Baudry, Le génie logiciel et l'idm : une approche unificatrice par les modèles. L'ingénierie dirigée par les modèles, 2006.

I. [. Jouault and . Kurtev, On the architectural alignment of ATL and QVT, Proceedings of the 2006 ACM symposium on Applied computing , SAC '06, 2006.
DOI : 10.1145/1141277.1141561

URL : https://hal.archives-ouvertes.fr/hal-00483592

S. [. Jennings, C. Parsons, P. Sierra, and . Faratin, Automated negotiation, 5th International Conference on The Practical Application of Intelligent Agent and Multi-Agent Systems(PAAM-2000), 2000.

K. [. Jack, S. Short, S. Cook, and . Kent, Software Factories : Assembling Applications with Patterns, Models, Frameworks, and Tools, West Sussex, 2004.

M. [. Jonkers, L. Steen, D. Heerink, and . Van-leeu-wen, From Business Process Design to Code : Model-Driven Development of Enterprise Applications, JSW98] N. R. Jennings, K. Sycara, and M. Wooldridge. A Roadmap of Agent Research and Development. Journal of Autonomous Agents and Multi-Agent Systems, 1998.

]. H. Kad05 and . Kadima, MDA -conception orientée objet guidée par les modèles. NFE114, 2005.

R. [. Klein and . Kazman, Attribute-based architectural styles, 1999.

]. D. Koz83 and . Kozen, Results on the propositional µ-calculus, Theoretical Computer Science, 1983.

. [. Bibliographie, M. Kazhamiakin, M. Pistore, and . Roveri, T-tool tutorial, 2003.

]. P. Kru95 and . Kruchten, The 4+1 view model of architecture, IEEE Softw, 1995.

J. [. Kleppe, W. Wagner, and . Bast, MDA Explained : The Model Driven Architecture : Practise and Promise, 2003.

]. P. Lar94 and . Larvet, Analyse des systèmes : de l'approche fonctionnelle à lf'approche objet. InterEditions, 1994.

]. A. Lbm-+-01, A. Ledeczi, M. Bakay, P. Maroti, G. Volgyesi et al., Composing domain-specific design environments, Computer Networks and ISDN Systems, pp.44-51, 2001.

]. F. Ley04 and . Leymonerie, ASL : un langage et des outils pour les styles architecturaux. Contribution à la description d'architectures dynamiques, 2004.

A. [. Ljunberg and . Lucas, The OASIS air traffic management system, Proceedings of the Second Pacific Rim International Conference on AI (PRICAI-92), 1992.

R. [. Lander and . Lesser, Understanding the role of negotiation in distributed search among heterogeneous agents, International Joint Conference on Artificial Intelligence (IJCAI-93), 1993.

M. [. Lange and . Oshima, Programming and Deploying Java Mobile Agents with Aglets, 1998.

]. T. Mal87 and . Malone, Modeling coordination in organizations and markets, Management science, 1987.

E. [. Marrow, F. Bonsma, C. Wang, and . Hoile, DIET -A Scalable , Robust and Adaptable Multi-Agent Platform for Information Management, BT Technology Journal, vol.21, issue.4, pp.130-137, 2003.
DOI : 10.1023/A:1027395807322

S. [. Marcenac and . Calderoni, Self-organisation in agent-based simulation, Proceedings of MAAMW' 97, 1997.

K. [. Mens, P. Czarnecki, and . Van-gorp, A Taxonomy of Model Transformation, Dagstuhl Seminar Proceedings 04101, 2005.
DOI : 10.1016/j.entcs.2005.10.021

N. [. Magee, S. Dulay, J. Eisenbach, and . Kramer, Specifying distributed software architectures, 1995.
DOI : 10.1007/3-540-60406-5_12

]. K. Meg04 and . Megzari, REFINER : environnement logiciel pour le raffinement d'architectures logicielles fondé sur une logique de réécriture, Thèse de Doctorat de l'Université de Savoie, 2004.

M. , R. T. Monroe, A. Kompanek, R. Melton, D. P. Garlanmül02-]-j et al., Architectural styles, design patterns, and objects Des systèmes autonomes aux systèmes multiagents : Interaction, émergence et systèmes complexes Towards an interaction-based design of behaviors Engineering jade agents with gaia methodology Modeling software architectures in the unified modeling language A language and environment for architecture-based software development and evolution A classification and comparison framework for software architecture description languages, Proceedings of the IEEE Transactions on Software Enginering The Third European Workshop on Multi-Agent Systems Agent Technologies, Infrastructures , Tools, and Applications for E-Services Proceedings of the 21st International Conference on Software Engineering (ICSE'99) Medvidovic and R. N. Taylor. A classification and comparison framework for software architecture description languages. IEEE Transactions on Software EngineeringNR99] E. Di Nitto and D. Rosenblum. Exploiting ADLs to Specify Architectural Styles Induced by Middleware Infrastructures. Proceedings of the 21st International Conference on Software Engineering (ICSE'99), pp.77-92, 1997.

F. Oquendo, I. Alloui, S. Cîmpan, and H. Verjus, The ArchWare ADL : Definition of the Abstract Syntax and Formal Semantics, ARCHWARE European RTD Project, 2002.

C. [. Occello, Y. Baeijs, J. L. Demazeau, and . Koning, Mask : An aeio toolbox to develop multi-agent systems, IOS Series on Frontiers in Artificiel Intelligence and Applications, 2001.

]. J. Bibliographie-[-ode02 and . Odell, Objects and Agents Compared, Journal of Object Technology, 2002.

[. Omg, MDA GUIDE Version 1.0.1. document number omg, 2003.

[. Omg, MOF QVT Final Adopted Specification. OMG document, 2005.

[. Omg, Meta Object Facility Core Specification version 2.0. OMG Document, 2006.

]. F. Oqu03 and . Oquendo, The ArchWare Refinement Language. Deliverable D6.1b, ArchWare European RTD Project. IST, 2001.

J. Pavón, Ingenias : Développement dirigé par modèles des systèmes multi-agents, 2006.

L. [. Pokahr, W. Braubach, and . Lamersdorf, Jadex : A bdi reasoning engine, chapter of multi-agent programming, 2005.

J. [. Pavon and . Gomez-sanz, Agent Oriented Software Engineering with INGENIAS, 3rd Central and Eastern European Conference on Multi-Agent Systems (CEEMAS'03), 2003.
DOI : 10.1007/3-540-45023-8_38

]. G. Pic04 and . Picard, Méthodologie de développement de systèmes multiagents adaptatifs et conception de logiciels à fonctionnalité émergente, 2004.

M. [. Perini, M. Pistore, A. Roveri, and . Susi, Agent-Oriented Modeling by Interleaving Formal and Informal Specification, 2003.
DOI : 10.1007/978-3-540-24620-6_3

D. E. Perry and A. L. Wolf, Foundations for the study of software architecture, ACM SIGSOFT Software Engineering Notes, vol.17, issue.4, pp.40-52, 1992.
DOI : 10.1145/141874.141884

F. [. Rouchier and . Bousquet, Non-merchant Economy and Multi-agent System: An Analysis of Structuring Exchanges, pp.111-123, 1998.
DOI : 10.1007/10692956_8

M. J. Rumbaugh, F. Blaha, W. Eddy, W. Premerlani, . Lorensen et al., Modélisation et conception orientées objet Masson Paris and Prentice Hall London, Magique : Agents, compétences et hiérarchies. Revue de Technique et Science Informatiques (TSI) Modélisation d'un agent autonome : Approche constructiviste de l'architecture de contrôle et de la représentation de connaissances, 1994.

J. Sudeikat, L. Braubach, A. Pokahr, W. Lamersdorf, A. Sturm et al., Validation of BDI Agents Single-model method for specifying multi-agent systems Speech acts The contract net protocol : High-level communication and control in a distributed problem solver The Z Notation : A Reference Manual Simple and minimum-cost satisfiabilityfor goal models A comparative study of multi-agent systems development methodologies, The Fifth International Workshop on Programming Multiagent Systems Proceedings of AAMAS'03 UK, 1969. [Sei03] E. Seidewitz. What models mean. IEEE Software Prentice Hall International Series in Computer Science. Proceedings of the 16th Conference On AdvancedInformation Systems Engineering (CAiSE 04) Second Workshop on Software Engineering for Agent- Oriented Systems Fifth International Bi-Conference Workshop on Agent-Oriented Information Systems (AOIS- 2003), pp.357-366, 1988.

]. E. Bibliographie-[-str95, . J. Le-strugeon-[-tbh07-], J. Tounsi, G. Boissière, and . Habchi, Une méthodologie d'auto-adaptation d'un système multi-agents cognitifs Modélisation pour la simulation des fonctions de management de la chaine logistique globale dans un environnement de production PME Mécatronique, Thèse de doctoratVes92] S. Vestal. Metah reference manualVes94] S. Vestal. Mode changes in real-time architecture description language Proceedings of the Second International Workshop on Configurable Distributed Systems, 1992.

V. [. Vazquez-salceda, F. Dignum, R. Dignum, . J. Hilliard-[-wjk00-]-m, N. R. Wooldridge et al., Organizing multiagent systems The Gaia Methodology for Agent-Oriented Analysis and Design. In Autonomous Agents and Multi-Agent systemsThe Netherlands Agent-Oriented Modeling and Agent-Based Simulation Towards Modelling Strategic Actor Relationships for Information Systems Development -With Examples from Business Process Reengineering Developing multiagent systems : The Gaia methodology, WICSA 2005. 5th Working IEEE/IFIP Conference Proceedings of 5th Int. Workshop on Agent-Oriented Information Systems (AOIS-2003), ER2003 Workshops Proceedings of the 4th Workshop on Information Technologies and SystemsZMZY05] W. Zhang, H. Meiand, H. Zhao, and J. Yang. Transformation from CIM to PIM : A Feature-Oriented Component-Based Approach . In Model Driven Engineering Languages and Systems 8th Intenational Conference MoDELS, pp.243-246, 1994.