Agent-Oriented Software Engineering III: Third International Workshop, AOSE 2002, Bologna, Italy, July 15, 2002, Revised Papers and Invited Contributions

Modeling, Specification, and Validation.- Specifying Electronic Societies with the Causal Calculator.- Modeling Agents and Their Environment.- Validation of Multiagent Systems by Symbolic Model Checking.- Patterns,Architectures,and Reuse.- Patterns in Agent-Oriented Software Engineering.- Concurrent Architecture for a Multi-agent Platform.- Re-use of Interaction Protocols for Agent-Based Control Applications.- Architecting for Reuse: A Software Framework for Automated Negotiation.- Multi-agent and Software Architectures: A Comparative Case Study.- UML and Agent Systems.- Using UML State Machine Models for More Precise and Flexible JADE Agent Behaviors.- Generating Machine Processable Representations of Textual Representations of AUML.- A UML Profile for External Agent-Object-Relationship (AOR) Models.- Extending Agent UML Sequence Diagrams.- Methodologies and Tools.- The Tropos Software Development Methodology: Processes, Models and Diagrams.- Prometheus: A Methodology for Developing Intelligent Agents.- Tool-Supported Process Analysis and Design for the Development of Multi-agent Systems.- Assembling Agent Oriented Software Engineering Methodologies from Features.- Positions and Perspectives.- Agent-Oriented Software Technologies: Flaws and Remedies.