Composing Heterogeneous Software Architecture, 1996. ,
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
The ArchWare Architecture Analysis Language, 2002. ,
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
A Formal Approach to Software Architecture, 1997. ,
Final ArchWare Architecture Analysis Tool by Theorem Proving, ARCHWARE European RTD, 2005. ,
Final Arch- Ware Architecture Animator -Release 1, ArchWare European RTD Project IST, 2001. ,
How to do Things with Words, 1962. ,
Modélisation et simulation orientées objet des systèmes manufacturiers, Thèse de Doctorat en Electronique -Electrotechnique -Automatique, 1996. ,
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
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. ,
ArchWare Architecture Analysis Tool by Model-Checking, ARCHWARE European RTD, 2004. ,
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. ,
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
Archware code synthesiser. ARCHWARE European RTD Project IST-2001-32360 Towards a precise definition of the omg/mda framework, ASE'01, 2001. ,
Tropos : An Agent-Oriented Software Development Methodology, Journal of Autonomous Agent and Multi-Agent Systems, 2004. ,
The ADELFE Methodology For an Intranet System Design, Fourth International Bi-Conference Workshop on Agent- Oriented Information Systems (AOIS-2002 CEUR Workshop Proceedings, 2002. ,
Plans and resource-bounded practical reasoning, Computational Intelligence, vol.2, issue.3, pp.349-355, 1988. ,
DOI : 10.1016/0004-3702(84)90053-5
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
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
Agent UML : A Formalism for Specifying Multiagent Software Systems, The International Journal of Software Engineering and Knowledge Engineering, 2001. ,
The Artistry of Software Architecture. Guest editor's introduction, IEEE Software, 1995. ,
Software Engineering, IEEE Transaction Computers, 1976. ,
A spiral model of software development and enhancement, IEEE Computer, 1988. ,
Conception orientée objets et applications, 1992. ,
JADE -A FIPA compliant agent framework, 4th International Conference and Exhibition on the Practical Application of Intelligent Agents and Multi-Agents, 1999. ,
The Tropos visual modeling language. A MOF 1, 2005. ,
Intention, Plans, and Practical Reason, 1987. ,
Jack intelligent agents -components for intelligent agents in java, AgentLink News Letter, 1999. ,
Le guide de l'utilisateur UML, 2000. ,
A robust layered control system for a mobile robot, IEEE Journal of Robotics and Automation, 1986. ,
Eclipse Modeling Framework, 2003. ,
In Search of a Basic Principle for Model-Driven Engineering, Novatica Journal. Special Issue, 2004. ,
Modelling and Metamodelling Issues in Agent Oriented Software Engineering : The AgentLink AOSE TFG Approach, 2005. ,
Tools and patterns in designing multiagent systems with PASSI, 6th WSEAS International Conference on Telecommunications and Informatics, 2004. ,
Process models for agent-based development, Engineering Applications of Artificial Intelligence, vol.18, issue.2, 2005. ,
DOI : 10.1016/j.engappai.2004.11.015
The Maude 2.0 System, Proc. Rewriting Techniques and Applications, pp.76-87, 2003. ,
DOI : 10.1007/3-540-44881-0_7
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
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
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. ,
Coordination models and languages as software integrators, 1996. ,
The ZEUS agent building toolkit, BT Technology Journal, vol.16, issue.3, 1998. ,
The ArchWare ADL : Definition of the Textual Concrete Syntax, ArchWare European RTD Project IST, 2001. ,
PASSI : a process for specifying and implementing Multi-Agent Systems Using UML, 2001. ,
Modeling Organization in MAS : A comparison of Models, 2005. ,
URL : https://hal.archives-ouvertes.fr/hal-00405550
Agent Modeling Language : Language Specification, 2004. ,
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
Experiencing AUML with the Gaia Methodology, 6th International Conference on Enterprise Information Systems, 2004. ,
Manta : New experimental results on the emergence of (artificial) ant societies. Artificial Societies : the computer simulation of social life, 1995. ,
Voyelles. Mémoire d'habilitation à diriger des recherches, 2001. ,
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. ,
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. ,
A formal specification of dMARS, Agent Theories, Architectures, and Languages, pp.155-176, 1997. ,
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. ,
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
An interface agent for network supervision, Proceedings of ECAI, 1996. ,
Composing Domain-Specific Languages for Wide-Scope Software Engineering Applications, MODELS, 2005. ,
DOI : 10.1007/11557432_6
Towards a Basic Theory to Model Driven Engineering, Workshop on Software Model Engineering, WISME, 2004. ,
Les systèmes multi-agents : vers une intelligence collective, 1995. ,
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
Madkit : A generic multi-agent platform, 4 th International Conference on Autonomous Agents, 2000. ,
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. ,
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. ,
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. ,
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
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
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. ,
Acme, CASCON First Decade High Impact Papers on, CASCON '10, pp.47-68, 1993. ,
DOI : 10.1145/1925805.1925814
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. ,
Domaines réutilisables dirigés par les modèles, Proc. Of Ingénierie dirigée par les modèles, IDM05, 2005. ,
A survey of agentoriented methodologies, Proceeding of the Fifth International Workshop on Agent Theories Architectures, and Languages, 1999. ,
Object-Oriented Software Engineering -a Use Case Driven Approach, 1993. ,
Automated negotiation : prospects, methods and challenge, International Journal of Group Decision and Negotiation (GDN), vol.10, pp.99-215, 2001. ,
Le génie logiciel et l'idm : une approche unificatrice par les modèles. L'ingénierie dirigée par les modèles, 2006. ,
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
Automated negotiation, 5th International Conference on The Practical Application of Intelligent Agent and Multi-Agent Systems(PAAM-2000), 2000. ,
Software Factories : Assembling Applications with Patterns, Models, Frameworks, and Tools, West Sussex, 2004. ,
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. ,
MDA -conception orientée objet guidée par les modèles. NFE114, 2005. ,
Attribute-based architectural styles, 1999. ,
Results on the propositional µ-calculus, Theoretical Computer Science, 1983. ,
T-tool tutorial, 2003. ,
The 4+1 view model of architecture, IEEE Softw, 1995. ,
MDA Explained : The Model Driven Architecture : Practise and Promise, 2003. ,
Analyse des systèmes : de l'approche fonctionnelle à lf'approche objet. InterEditions, 1994. ,
Composing domain-specific design environments, Computer Networks and ISDN Systems, pp.44-51, 2001. ,
ASL : un langage et des outils pour les styles architecturaux. Contribution à la description d'architectures dynamiques, 2004. ,
The OASIS air traffic management system, Proceedings of the Second Pacific Rim International Conference on AI (PRICAI-92), 1992. ,
Understanding the role of negotiation in distributed search among heterogeneous agents, International Joint Conference on Artificial Intelligence (IJCAI-93), 1993. ,
Programming and Deploying Java Mobile Agents with Aglets, 1998. ,
Modeling coordination in organizations and markets, Management science, 1987. ,
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
Self-organisation in agent-based simulation, Proceedings of MAAMW' 97, 1997. ,
A Taxonomy of Model Transformation, Dagstuhl Seminar Proceedings 04101, 2005. ,
DOI : 10.1016/j.entcs.2005.10.021
Specifying distributed software architectures, 1995. ,
DOI : 10.1007/3-540-60406-5_12
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. ,
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. ,
The ArchWare ADL : Definition of the Abstract Syntax and Formal Semantics, ARCHWARE European RTD Project, 2002. ,
Mask : An aeio toolbox to develop multi-agent systems, IOS Series on Frontiers in Artificiel Intelligence and Applications, 2001. ,
Objects and Agents Compared, Journal of Object Technology, 2002. ,
MDA GUIDE Version 1.0.1. document number omg, 2003. ,
MOF QVT Final Adopted Specification. OMG document, 2005. ,
Meta Object Facility Core Specification version 2.0. OMG Document, 2006. ,
The ArchWare Refinement Language. Deliverable D6.1b, ArchWare European RTD Project. IST, 2001. ,
Ingenias : Développement dirigé par modèles des systèmes multi-agents, 2006. ,
Jadex : A bdi reasoning engine, chapter of multi-agent programming, 2005. ,
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
Méthodologie de développement de systèmes multiagents adaptatifs et conception de logiciels à fonctionnalité émergente, 2004. ,
Agent-Oriented Modeling by Interleaving Formal and Informal Specification, 2003. ,
DOI : 10.1007/978-3-540-24620-6_3
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
Non-merchant Economy and Multi-agent System: An Analysis of Structuring Exchanges, pp.111-123, 1998. ,
DOI : 10.1007/10692956_8
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. ,
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. ,
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. ,
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. ,