towards an integration test architecture for open mas luiz fernando rodrigues gustavo robichez de...

21
Towards an Integration Test Architecture for Open MAS Luiz Fernando Rodrigues Gustavo Robichez de Carvalho Rodrigo de Barros Paes Carlos José Pereira de Lucena 03/10/2005 {lfr,guga,rbp,lucena}@inf.puc-rio.br

Upload: michelle-neal

Post on 27-Mar-2015

217 views

Category:

Documents


2 download

TRANSCRIPT

Page 1: Towards an Integration Test Architecture for Open MAS Luiz Fernando Rodrigues Gustavo Robichez de Carvalho Rodrigo de Barros Paes Carlos José Pereira de

Towards an Integration Test Architecture for Open MAS

Luiz Fernando Rodrigues

Gustavo Robichez de Carvalho

Rodrigo de Barros Paes

Carlos José Pereira de Lucena

03/10/2005

{lfr,guga,rbp,lucena}@inf.puc-rio.br

Page 2: Towards an Integration Test Architecture for Open MAS Luiz Fernando Rodrigues Gustavo Robichez de Carvalho Rodrigo de Barros Paes Carlos José Pereira de

Luiz Fernando Rodrigues <[email protected]>

Outline

• Motivation– The integration problem

• Integration Test Architecture

• Related Work– Diagnosis Based Adaptability

• Conclusions

• Next Steps

Page 3: Towards an Integration Test Architecture for Open MAS Luiz Fernando Rodrigues Gustavo Robichez de Carvalho Rodrigo de Barros Paes Carlos José Pereira de

Luiz Fernando Rodrigues <[email protected]>

Motivation

• MAS pros

– Use of distributed resources

– Towards multiple goals in parallel

– Reduce risk of a single point of failure

• MAS con

– Complex environment rules

• Incorrect assumptions

• Failure to act on incorrect assumptions

– Degraded performance

– Incorrect results

– System Halt (worst case)

Page 4: Towards an Integration Test Architecture for Open MAS Luiz Fernando Rodrigues Gustavo Robichez de Carvalho Rodrigo de Barros Paes Carlos José Pereira de

Luiz Fernando Rodrigues <[email protected]>

Motivation Example

• TAC– Trade Agent Competition

– Interaction rules must be respected

• New developed agent– How to ensure correct interaction with the system?

– How to observe agent’s malfunctions?

– How to detect causes of malfunctions?

Page 5: Towards an Integration Test Architecture for Open MAS Luiz Fernando Rodrigues Gustavo Robichez de Carvalho Rodrigo de Barros Paes Carlos José Pereira de

Luiz Fernando Rodrigues <[email protected]>

Integration Test Architecture

• Open MAS approach

• System observation

• Report generation

• XMLaw based

Page 6: Towards an Integration Test Architecture for Open MAS Luiz Fernando Rodrigues Gustavo Robichez de Carvalho Rodrigo de Barros Paes Carlos José Pereira de

Luiz Fernando Rodrigues <[email protected]>

XMLaw

• Enforcement language

• Environment

– Structural model

• Relations among law elements

– Dynamic model

• Event-driven architecture

• Communication among elements

• Central Server

– Mediator Agent blocks “out-law” messages

Paes, R., Carvalho, G., Lucena, C., Alencar, P., Almeida, H., and da Silva, V. T. (2005). Specifying laws in open multi-agent systems. In Agents, Norms and Institutions for Regulated Multiagent Systems - ANIREM, Utrecht, The Netherlands.

Page 7: Towards an Integration Test Architecture for Open MAS Luiz Fernando Rodrigues Gustavo Robichez de Carvalho Rodrigo de Barros Paes Carlos José Pereira de

Luiz Fernando Rodrigues <[email protected]>

XMLaw – Structural Model

Page 8: Towards an Integration Test Architecture for Open MAS Luiz Fernando Rodrigues Gustavo Robichez de Carvalho Rodrigo de Barros Paes Carlos José Pereira de

Luiz Fernando Rodrigues <[email protected]>

XMLaw Example

Page 9: Towards an Integration Test Architecture for Open MAS Luiz Fernando Rodrigues Gustavo Robichez de Carvalho Rodrigo de Barros Paes Carlos José Pereira de

Luiz Fernando Rodrigues <[email protected]>

Observing the System

• Assertions establishment

• Observation Points

– Time to live

– Cardinality

– Agent Type

– Agent Role

– Entrance State

– Execution Trace

– Execution Context

– Evolution Logic

– …

Page 10: Towards an Integration Test Architecture for Open MAS Luiz Fernando Rodrigues Gustavo Robichez de Carvalho Rodrigo de Barros Paes Carlos José Pereira de

Luiz Fernando Rodrigues <[email protected]>

Observation Points

Page 11: Towards an Integration Test Architecture for Open MAS Luiz Fernando Rodrigues Gustavo Robichez de Carvalho Rodrigo de Barros Paes Carlos José Pereira de

Luiz Fernando Rodrigues <[email protected]>

Integration Test Architecture

• Collector Agent

– Subscribe to all events (1)

– Store Events (2)

– Block / Unblock operation mode (3)

• Report Engine

– Templates Definition

– Reports Generation (4)

• New Agent

– Send Interaction Messages

– A new Agent to be integrated

Page 12: Towards an Integration Test Architecture for Open MAS Luiz Fernando Rodrigues Gustavo Robichez de Carvalho Rodrigo de Barros Paes Carlos José Pereira de

Luiz Fernando Rodrigues <[email protected]>

Integration Test Architecture

Page 13: Towards an Integration Test Architecture for Open MAS Luiz Fernando Rodrigues Gustavo Robichez de Carvalho Rodrigo de Barros Paes Carlos José Pereira de

Related Work

Horling, Bryan, Lesser, Victor, Vincent, Regis, Bazzan, Ana, and Xuan, Ping. Diagnosis as an Integral Part of Multi-Agent Adaptability. Proceedings of DARPA Information Survivability Conference and Exposition, IEEE Computer Society, pp. 211-219. January 2000

Page 14: Towards an Integration Test Architecture for Open MAS Luiz Fernando Rodrigues Gustavo Robichez de Carvalho Rodrigo de Barros Paes Carlos José Pereira de

Luiz Fernando Rodrigues <[email protected]>

Related Work

• Diagnosis Based Adaptability

– Expectation and Assumptions• Knowledge about the agent's expected operational behavior

• TAEMS

– Detecting Possible Failures• Methods for detecting deviations from expectations

– Performing the Diagnosis• Faculties for diagnosing these deviations when they are found

• Causal Model

Page 15: Towards an Integration Test Architecture for Open MAS Luiz Fernando Rodrigues Gustavo Robichez de Carvalho Rodrigo de Barros Paes Carlos José Pereira de

Luiz Fernando Rodrigues <[email protected]>

Expectations and Assumptions - TAEMS

Page 16: Towards an Integration Test Architecture for Open MAS Luiz Fernando Rodrigues Gustavo Robichez de Carvalho Rodrigo de Barros Paes Carlos José Pereira de

Luiz Fernando Rodrigues <[email protected]>

Performing the Diagnosis – Causal Model

Page 17: Towards an Integration Test Architecture for Open MAS Luiz Fernando Rodrigues Gustavo Robichez de Carvalho Rodrigo de Barros Paes Carlos José Pereira de

Conclusion and Next Steps

Page 18: Towards an Integration Test Architecture for Open MAS Luiz Fernando Rodrigues Gustavo Robichez de Carvalho Rodrigo de Barros Paes Carlos José Pereira de

Luiz Fernando Rodrigues <[email protected]>

Comparing both approaches

• Diagnosis Based Adaptability– Expected Behavior

• Agent Property• TAEMS

– Abnormal method results• Quality, cost and duration

– Diagnosis• Causal Model

• Integration Test Architecture– Expected Behavior

• System Property• XMLaw

– Abnormal method results• Observation points

– Diagnosis• Human Report Interpretation

Page 19: Towards an Integration Test Architecture for Open MAS Luiz Fernando Rodrigues Gustavo Robichez de Carvalho Rodrigo de Barros Paes Carlos José Pereira de

Luiz Fernando Rodrigues <[email protected]>

Conclusion

• Law approach

– Single point of control

– Expected Behavior

• Diagnosis Approach

– Diagnose Model

– Diagnose Automation

• Report Generation

– Information filter

– Human Interpretation

Page 20: Towards an Integration Test Architecture for Open MAS Luiz Fernando Rodrigues Gustavo Robichez de Carvalho Rodrigo de Barros Paes Carlos José Pereira de

Luiz Fernando Rodrigues <[email protected]>

Next Steps and Future Work

• Next Steps

– Study of Diagnose Techniques• Model-based

• Symptom-direct

• Collaborative

– Use a diagnose technique in the integration test architecture

Page 21: Towards an Integration Test Architecture for Open MAS Luiz Fernando Rodrigues Gustavo Robichez de Carvalho Rodrigo de Barros Paes Carlos José Pereira de

Questions?