Agent-Oriented Software Engineering X
10th International Workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009, Revised Selected Papers
Published on 21. February 2011
XII, 229 pages
978-3-642-19208-1 (ISBN)
Description
This volume constitutes the thoroughly refereed post-conference proceedings of the 10th International Workshop on Agent-Oriented Software Engineering, AOSE 2009, held in Budapest, Hungary, in May 2009 as part of AAMAS 2009, the 8th International Conference on Autonomous Agents and Multiagent Systems.
The 10 revised full papers presented were carefully selected from numerous initial submissions during two rounds of reviewing and improvement. The papers have been organized into three sections on multi-agent organizations, concrete development techniques, and - one step higher - going beyond the concrete technique and proposing a development method for designing concrete types of systems.
This state-of-the-art survey is rounded off by five additional lectures addressing key areas in development: agent-oriented modelling languages, implementation of MAS, testing of MAS, software processes, and formal methods for the development of MAS. They permit analysis of the current state in the generation of specifications of MAS, the way these specifications can be implemented, how they can be validated, and
what steps are necessary to do so.
More details
Other editions
Additional editions
Marie-Pierre Gleizes | Jorge J. Gomez-Sanz
Agent-Oriented Software Engineering X
10th International Workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009, Revised Selected Papers
Book
03/2011
1st Edition
Springer
€53.49
Shipment within 7-9 days
Content
- 6038
- Preface
- Organization
- Table of Contents
- Part I Organizations
- Exploiting Reusable Organizations to Reduce Complexity in Multiagent System Design
- Introduction
- Related Work
- Organizational Model
- Service Model
- Services
- Operations and Connectors
- Connection Points
- Service Providers
- Service Consumer
- Composition of Services
- Goal Model Composition
- Role Model Composition
- Organization Composition
- Case Study
- The Cleaning Service
- The Cooperative Robotic for Airport Management Organization
- The Composition Process
- Implementation Overview
- Conclusion and Future Work
- References
- A Formal Specification for Organizational Adaptation
- Introduction
- Background
- The ALIVE Project
- A Formal Model for Organizations
- A Methodological Context
- Forms of Organizational Structure Adaptation
- Towards a Formal Interpretation
- Formal Organization Model
- Reorganization Analysis
- Related Work
- Conclusions and Future Work
- References
- GORMAS: An Organizational-Oriented Methodological Guideline for Open MAS
- Introduction
- GORMAS
- Mission Analysis
- Service Analysis
- Organizational Design
- Organization Dynamics Design
- Design of Control Policies.
- Design of the Reward System.
- Related Work
- Conclusions
- References
- Part II Development Techniques
- Model Transformations for Improving Multi-agent System Development in INGENIAS
- Introduction
- MTBE in INGENIAS and the MTGenerator Tool
- The MTBE Algorithm
- Transformations in the INGENIAS Development Process
- Transformations for Realizing Use Case Behaviors
- Transformation for Skill Definition
- Evaluation of the Use of Transformations on an AOSE Methodology
- Related Work
- Conclusions
- References
- Automated Testing for Intelligent Agent Systems
- Introduction
- Testing Process Overview
- Test Case Generation
- Test Case Execution
- Implementation
- Discussion and Conclusion
- References
- Qualitative Modeling of MAS Dynamics
- Introduction
- Systemic Modeling of Collective Agent Behavior
- Systematic Examination of Qualitative MAS Dynamics
- Design Preprocessing
- Systemic Model Construction
- Behavior Analysis
- Case Study: Examining Marsworld Dynamics
- The Marsworld Design
- Examining the Marsworld Dynamics
- Discussion
- Related Work
- Conclusions
- References
- Part III Development Method Proposals
- Methodology for Engineering Affective Social Applications
- Introduction
- Background
- Appraisal Theory
- Communicative Acts
- Koko
- Methodology
- Evaluation
- Configuring booST
- Discussion
- References
- Automatic Generation of Executable Behavior: A Protocol-Driven Approach
- Introduction
- Domain Specific Modeling Language for Multiagent Systems
- Interaction View
- Behavioral View
- Example: Contract Net Protocol
- Model-Driven Methodology to Generate Executable Code
- From Interaction Protocol to Behaviors
- From Behaviors to JACK
- Related Work
- Conclusion
- References
- On the Development of Multi-agent Systems Product Lines: A Domain Engineering Process
- Introduction
- Existing MAS-PL Approaches
- A Domain Engineering Process for MAS-PL
- Process Overview
- Method Fragments Incorporated to Our Process
- Domain Analysis
- Domain Design
- Domain Realization
- Conclusions and Future Work
- References
- Developing Virtual Heritage Applications as Normative Multiagent Systems
- Introduction
- Virtual Institutions
- Virtual Institutions Methodology
- Deployment
- City of Uruk: Virtual Institutions in Cultural Heritage
- Significance of Uruk
- The Prototype
- Development of the Prototype
- Conclusion
- References
- Part IV State-of-the-Art Survey
- Modelling with Agents
- Introduction
- Semantic Perspective
- Syntactic Perspective
- Operational Perspective
- Discussion and Conclusions
- References
- A Survey on the Implementation of Agent Oriented Specifications
- Introduction
- Dealing with the Gap from Specification to Code
- Assisted Translation
- Automatic Translation
- Agent Oriented Methodologies
- Agent Oriented Modeling Languages
- Conclusions
- References
- Testing in Multi-Agent Systems
- Introduction
- Classification Dimensions
- MAS Testing Approaches
- Unit Level
- Agent Level
- Integration Level
- Multiple Testing Levels
- Simulation-Based Design Validation
- Open Issues
- References
- Processes Engineering and AOSE
- Software Processes
- Software Processes Engineering
- Situational Method Engineering
- Fragment Definition
- Fragment Repository
- Tools
- AOSE Software Processes Engineering
- AOSE Situational Method Engineering
- Fragment Definition
- Fragment Repository and Tools
- AOSE Meta-model
- Agent-Oriented Design Processes
- Roadmap
- Conclusion
- References
- Formal Methods in Agent-Oriented Software Engineering
- Introduction
- Formal Specification and Tools
- Formal Specification
- Tools for Verification
- Developing with Formal Methods
- Related Work
- Conclusions
- References
- Author Index
