XVIII Table of Contents 3.4 LAN and Parallel Computing Implementations: The First and Second Generation :::::::::::::::::::::::::::::::::: Open

Transcript

1 Table of Contents Part I. Coordination Models and Languages: State of the Art Introduction :::::::::::::::::::::::::::::::::::::::::::::::::: 3 1. Coordination Models: A Guided Tour Nadia Busi, Paolo Ciancarini, Roberto Gorrieri, and Gianluigi Zavattaro ::::::::::::::::::::::::::::::::::::::::::::::::::: Introduction and Motivation ::::::::::::::::::::::::::::: The Starting Point: The Dataspace Model for Coordinating Agents :::::::::::::::::::::::::::::::::::::::::::::::: Extending the Coordination Primitives :::::::::::::::::::: Reshaping the Coordination Media ::::::::::::::::::::::: Programming the Coordination Rules ::::::::::::::::::::: Conclusions :::::::::::::::::::::::::::::::::::::::::::: Models and Technologies for the Coordination of Internet Agents: A Survey George A. Papadopoulos :::::::::::::::::::::::::::::::::::::: Introduction ::::::::::::::::::::::::::::::::::::::::::: Basic Coordination Infrastructure :::::::::::::::::::::::: Coordination Frameworks ::::::::::::::::::::::::::::::: Logical Coordination :::::::::::::::::::::::::::::::::::: Conclusions :::::::::::::::::::::::::::::::::::::::::::: 54 Part II. Basic Enabling Technologies Introduction :::::::::::::::::::::::::::::::::::::::::::::::::: Run-Time Systems for Coordination Antony Rowstron :::::::::::::::::::::::::::::::::::::::::::: Introduction ::::::::::::::::::::::::::::::::::::::::::: Coordination Systems in General ::::::::::::::::::::::::: Taxonomy oftuple-based Run-time Systems ::::::::::::::: 64

2 XVIII Table of Contents 3.4 LAN and Parallel Computing Implementations: The First and Second Generation :::::::::::::::::::::::::::::::::: Open Implementation Techniques ::::::::::::::::::::::::: Adding Explicit Information to Linda Programs :::::::::::: From LAN to WAN: The Third Generation :::::::::::::::: The Future: The Tuple Mega-Server? ::::::::::::::::::::: Conclusions :::::::::::::::::::::::::::::::::::::::::::: Tuple-based Technologies for Coordination Davide Rossi, Giacomo Cabri, and Enrico Denti ::::::::::::::::: The Origins :::::::::::::::::::::::::::::::::::::::::::: Towards Open Distributed Systems: A Taxonomy for Lindaderived Systems :::::::::::::::::::::::::::::::::::::::: Systems Extending Primitives :::::::::::::::::::::::::::: Systems Adding Programmability :::::::::::::::::::::::: Systems Modifying the Model :::::::::::::::::::::::::::: Conclusions :::::::::::::::::::::::::::::::::::::::::::: Middleware Technologies: CORBA and Mobile Agents Paolo Bellavista and Thomas Magedanz :::::::::::::::::::::::: Middleware Technologies for Open and Global Distributed Systems ::::::::::::::::::::::::::::::::::::::::::::::: Common Object Request Broker Architecture (CORBA) :::: Mobile Agents ::::::::::::::::::::::::::::::::::::::::: Middleware Technologies: the Integration of MA and CORBA CORBA/MA Integrated Supports: Grasshopper and SOMA : Concluding Remarks :::::::::::::::::::::::::::::::::::: Agent Coordination via Scripting Languages Jean-Guy Schneider, Markus Lumpe, and Oscar Nierstrasz :::::::: Introduction ::::::::::::::::::::::::::::::::::::::::::: A Conceptual Framework for Software Composition ::::::::: Scripting Languages at a Glance ::::::::::::::::::::::::: Scripting in Practice :::::::::::::::::::::::::::::::::::: Summary, Conclusions :::::::::::::::::::::::::::::::::: 174

3 Table of Contents XIX Part III. High-Level Enabling Coordination Technologies Introduction :::::::::::::::::::::::::::::::::::::::::::::::::: Coordinating Agents using Agent Communication Languages Conversations R. Scott Cost, Yannis Labrou, and Tim Finin ::::::::::::::::::: Introduction ::::::::::::::::::::::::::::::::::::::::::: From Agent Communication Languages to Conversation Protocols :::::::::::::::::::::::::::::::::::::::::::::: Coordination using Conversation Protocols :::::::::::::::: Modeling Conversation Protocols with Colored Petri Nets ::: Advantages for Coordination when using CPN-described Conversations :::::::::::::::::::::::::::::::::::::::::: Related Work :::::::::::::::::::::::::::::::::::::::::: Conclusions :::::::::::::::::::::::::::::::::::::::::::: Brokering and Matchmaking for Coordination of Agent Societies: A Survey Matthias Klusch and Katia Sycara ::::::::::::::::::::::::::::: Introduction ::::::::::::::::::::::::::::::::::::::::::: Coordination of Agent Societies via Middle-Agents ::::::::: Examples of Coordination via Service Matchmaking and Brokering ::::::::::::::::::::::::::::::::::::::::::::: Conclusions :::::::::::::::::::::::::::::::::::::::::::: Agent Naming and Coordination: Actor Based Models and Infrastructures Gul Agha, Nadeem Jamali, and Carlos Varela ::::::::::::::::::: Introduction ::::::::::::::::::::::::::::::::::::::::::: Actors and Agents :::::::::::::::::::::::::::::::::::::: Naming in Open Systems :::::::::::::::::::::::::::::::: World Wide Computer Prototype::::::::::::::::::::::::: Multiagent Coordination :::::::::::::::::::::::::::::::: Discussion ::::::::::::::::::::::::::::::::::::::::::::: 245

4 XX Table of Contents Part IV. Emerging Issues of Coordination Introduction :::::::::::::::::::::::::::::::::::::::::::::::::: Coordination and Mobility Gruia-Catalin Roman, Amy L. Murphy, and Gian Pietro Picco ::: Introduction ::::::::::::::::::::::::::::::::::::::::::: Mobility Issues ::::::::::::::::::::::::::::::::::::::::: Coordination Constructs :::::::::::::::::::::::::::::::: Conclusions :::::::::::::::::::::::::::::::::::::::::::: Coordination and Security on the Internet Ciarán Bryce and Marco Cremonini ::::::::::::::::::::::::::: Introduction ::::::::::::::::::::::::::::::::::::::::::: A Reference Architecture for Secure Coordination :::::::::: Security Policies :::::::::::::::::::::::::::::::::::::::: Cryptographic Protocols in Coordination Models ::::::::::: Security in Existing Coordination Systems ::::::::::::::::: Conclusions :::::::::::::::::::::::::::::::::::::::::::: Scalability in Linda-like Coordination Systems Ronaldo Menezes, Robert Tolksdorf, and Alan M. Wood ::::::::: Introduction ::::::::::::::::::::::::::::::::::::::::::: Domain Awareness ::::::::::::::::::::::::::::::::::::: Location and Distance Awareness :::::::::::::::::::::::: Fluctuation Awareness :::::::::::::::::::::::::::::::::: Failure Awareness :::::::::::::::::::::::::::::::::::::: Conclusions :::::::::::::::::::::::::::::::::::::::::::: 318 Part V. Applications of Coordination Technology Introduction :::::::::::::::::::::::::::::::::::::::::::::::::: Agent-Oriented Software Engineering for Internet Applications Franco Zambonelli, Nicholas R. Jennings, Andrea Omicini, and Michael J. Wooldridge ::::::::::::::::::::::::::::::::::::::: Introduction ::::::::::::::::::::::::::::::::::::::::::: Engineering Multi-Agent Systems on the Internet ::::::::::: Software Engineering Methodologies for MAS :::::::::::::: Exploiting a Coordination Model ::::::::::::::::::::::::: 339

5 Table of Contents XXI 13.5 Toward a Coordination-oriented Methodology :::::::::::::: Conclusions and Future Work :::::::::::::::::::::::::::: Reusable Patterns for Agent Coordination Dwight Deugo, Michael Weiss, and Elizabeth Kendall:::::::::::: Software Patterns :::::::::::::::::::::::::::::::::::::: Global Forces of Coordination :::::::::::::::::::::::::::: Blackboard Pattern ::::::::::::::::::::::::::::::::::::: Meeting Pattern :::::::::::::::::::::::::::::::::::::::: Market Maker Pattern :::::::::::::::::::::::::::::::::: Master-Slave Pattern ::::::::::::::::::::::::::::::::::: Negotiating Agents Pattern :::::::::::::::::::::::::::::: Summary :::::::::::::::::::::::::::::::::::::::::::::: Inter Organizational Workflows for Enterprise Coordination Monica Divitini, Chihab Hanachi, and Christophe Sibertin Blanc : Inter-Organizational Coordination :::::::::::::::::::::::: Overview of Main Concepts of Workflow ::::::::::::::::::: Inter-Organizational Workflow Requirements: A Framework for Studying IOW :::::::::::::::::::::::::::::::::::::: Two Comprehensive Approaches for IOW ::::::::::::::::: Conclusions :::::::::::::::::::::::::::::::::::::::::::: Constraints Solving as the Coordination of Inference Engines Eric Monfroy and Farhad Arbab :::::::::::::::::::::::::::::: A Generic Approach to Coordination-based Constraint Solving :::::::::::::::::::::::::::::::::::::::::::::: A Solver Cooperation Language :::::::::::::::::::::::::: Design of a Constraint Solver :::::::::::::::::::::::::::: Conclusion :::::::::::::::::::::::::::::::::::::::::::: 419 Part VI. Visions Introduction :::::::::::::::::::::::::::::::::::::::::::::::::: A Market-Based Model for Resource Allocation in Agent Systems Jonathan Bredin, David Kotz, Daniela Rus, Rajiv T. Maheswaran, Cο agri Imer, and Tamer Baοsar ::::::::::::::::::::::::::::::::: Introduction ::::::::::::::::::::::::::::::::::::::::::: Markets ::::::::::::::::::::::::::::::::::::::::::::::: 427

6 XXII Table of Contents 17.3 Secure Transactions ::::::::::::::::::::::::::::::::::::: Allocation Mechanism ::::::::::::::::::::::::::::::::::: Simulation ::::::::::::::::::::::::::::::::::::::::::::: Related Work :::::::::::::::::::::::::::::::::::::::::: Conclusions :::::::::::::::::::::::::::::::::::::::::::: Coordination and Control in Computational Ecosystems: A Vision of the Future Rune Gustavsson and Martin Fredriksson :::::::::::::::::::::: Introduction ::::::::::::::::::::::::::::::::::::::::::: Towards Computational Ecosystems :::::::::::::::::::::: Smart E-Services to Achieve Customer Satisfaction ::::::::: Coordination and Control in Ecosystems :::::::::::::::::: Methodological Issues and the Engineering of Ecosystems :::: ORA: Merging of the Real and Virtual :::::::::::::::::::: SOLACE: A Layered ORA Architecture ::::::::::::::::::: Conclusions :::::::::::::::::::::::::::::::::::::::::::: 469 References :::::::::::::::::::::::::::::::::::::::::::::::::::: 471 About the Authors ::::::::::::::::::::::::::::::::::::::::::: 509 List of Contributors :::::::::::::::::::::::::::::::::::::::::: 519

7