tropospl: tropos for prolog implementations

TroposPL: Tropos for Prolog Implementations

TroposPL: Tropos for Prolog Implementations

MOTIVATION 1

To test our learning about Tropos

To put in practice an Agent-Oriented software developed initiative

To participate in the 1rst Computational Logic for Multi-Agent System Contest (2005)

TroposPL: Tropos for Prolog Implementations

MOTIVATION 2

To test our approach in a virtual environment

To put in practice some knowledge reuse at RE

To participate in the 2nd Computational Logic for Multi-Agent System Contest (2006)

TroposPL: Tropos for Prolog Implementations

The CLIMA 2005 Contest problem

To tackle the gap among AOSE methodologies and implementations

Goal

Means

The Contest

A agent community collaborating for collecting (artificial) food

The Problem

TroposPL: Tropos for Prolog Implementations

TroposPL: Tropos for Prolog Implementations

TroposPL: Tropos for Prolog Implementations

TroposPL: Tropos for Prolog Implementations

TroposPL: Tropos for Prolog Implementations

TroposPL: Tropos for Prolog Implementations

Transforming the DD to Prolog Code

TroposPL: Tropos for Prolog Implementations

Transforming the DD to Prolog Code

TroposPL: Tropos for Prolog Implementations

Transforming the DD to Prolog Code

TroposPL: Tropos for Prolog Implementations

TroposPL: Tropos for Prolog Implementations

The CLIMA 2006 Contest problem

To do a test about different Engineering-Implementation approaches

Goal

Means

The 2nd Contest

A set of games where TWO agent teams are competing for (artificial) gold nuggets collection.

The Problem

TroposPL: Tropos for Prolog Implementations

TroposPL: Tropos for Prolog Implementations

TroposPL: Tropos for Prolog Implementations

TroposPL: Tropos for Prolog Implementations

The Contest Results:

CLIMA 2005

TroposPL: Tropos for Prolog Implementations

The Contest Results:

CLIMA 2006

TroposPL: Tropos for Prolog Implementations

CONCLUSIONS

The approach seems to work !