Supporting Self-Adaptation in Multi- Agent Systems (In Action)

Self-Adaptation x Feature Model Reasoning self-configuration (automatic configuration according to a specified policy) –Find Solution –Filter self-optimization –Find Optimal Solution self-healing (detecting defects and failures, and taking corrective actions) –Debug –Filter self-protection Camila Nunes, Elder Cirilo e Ingrid Nunes © LES/PUC-Rio

Working Example I - Self-healing Georisc Input  Factors to be analyzed –Different data sources File Data Base Camila Nunes, Elder Cirilo e Ingrid Nunes © LES/PUC-Rio Slope Factors FileDataBase Rain FileDataBase Vegetation FileDataBase c:\\GeoRisco\\dados\\rain.shp jdbc:mysql://localhost/olis...

Working Example I- public class Rain extends CyclicBehaviour { private GeoRiscAgent geoRiscAgent; private String dataSource =... public class Rain extends CyclicBehaviour { private GeoRiscAgent geoRiscAgent; private String dataSource =... } Camila Nunes, Elder Cirilo e Ingrid Nunes © LES/PUC-Rio Analyzer Camila Nunes, Elder Cirilo e Ingrid Nunes © LES/PUC-Rio Factors Rain FileDataBase x Factors Rain FileDataBase Feature Model Reconfiguration “file://c:\\GeoRisco\\dados\\rain.shp“; GenArch Derive a set of Tasks “db://jdbc:mysql://localhost/rain“; Failure(Rain,DataSource)

Approach Overview Camila Nunes, Elder Cirilo e Ingrid Nunes © LES/PUC-Rio IDWNNPI Interpolation Spline VegetationSlopeRain Factors GeoRisc 1 Event 2 Analyze and System Reconfiguration Feature Model Reconfiguration IDWNNPI Interpolation Spline VegetationSlopeRain Factors GeoRisc 3 Feature Model Constraint Validation Adaptation selection 4 Structural Constraint Validation 5 Derive a set of Adaptation Tasks 6 System Reconfiguration Interpolation Agent Runtime system Architectural Models

Approach Overview Camila Nunes, Elder Cirilo e Ingrid Nunes © LES/PUC-Rio IDWNNPI Interpolation Spline VegetationSlopeRain Factors GeoRisc 1 Event 2 Analyze and System Reconfiguration Feature Model Reconfiguration IDWNNPI Interpolation Spline VegetationSlopeRain Factors GeoRisc 3 Feature Model Constraint Validation Adaptation selection 4 Structural Constraint Validation 5 Derive a set of Adaptation Tasks 6 System Reconfiguration Interpolation Agent Runtime system Architectural Models

Event-based Feature Reconfiguration Events are associated with Features and have a context –Ev(feature,context) Events implies in a set of Feature Model Reconfiguration regulated by a set of conditions –Ev -> Ra –Ra -> S({f}) \/ Ds({f}) Camila Nunes, Elder Cirilo e Ingrid Nunes © LES/PUC-Rio

Self-healing Algorithm 1.Calculate Feature sub-tree 2. Repair Feature sub-tree 3.Check Feature Model configuration based on new sub-tree configuration 4.Derivate a set of adaptation actions Camila Nunes, Elder Cirilo e Ingrid Nunes © LES/PUC-Rio

Management Server Agent Management Interfaces –Standardized means for monitoring and manage agents –Set of @Observable Management Server –Container for Management Interfaces –Namespace management –Monitor Camila Nunes, Elder Cirilo e Ingrid Nunes © LES/PUC-Rio

Management Server Architecture Camila Nunes, Elder Cirilo e Ingrid Nunes © LES/PUC-Rio Monitor Analyzer Server ServerDeploy Service FeatureModel jade.osgi.managementjade.osgi. br.pucrio.inf.les.genarch.remote OSGi Deployment GR

Contributions Reconfiguration actions can be automatically derived using feature model reasoning techniques - Incomplete specification Architectural Models enables the definition of complex adaption rules and automatically derivate concrete reconfiguration actions Trace links enable deeper analysis of changes: –Impact –Soundness –Viability Camila Nunes, Elder Cirilo e Ingrid Nunes © LES/PUC-Rio - Filter - Best configuration - Debug - Filter - Best configuration - Debug

Supporting Self-Adaptation in Multi- Agent Systems