Auction

Name | Auction
Description | Jason basic auction example
Author | Jomi & Rafael
Version |
Prometheus version | 2.3b
Report generation date | 2006-01-17

Goal Overview Diagram

Goals

Goal Announce new auction

Name | Announce new auction
Description |
Subgoals |
OR refinement | No

Goal Bid proposals

Name | Bid proposals
Description |
Subgoals |
OR refinement | No

Goal Identify winner

Name | Identify winner
Description |
Subgoals |
OR refinement | No

Goal Announce winner

Name | Announce winner
Description |
Subgoals |
OR refinement | No

Goal Calculate bid value

Name | Calculate bid value
Description |
Subgoals |
OR refinement | No

Goal Manage auction

Name | Manage auction
Description |
Subgoals | Announce winner, Announce new auction, Identify winner, Bid proposals, Calculate bid value
OR refinement | No

Roles Diagram

Roles

Role Auctioneer

Name | Auctioneer
Description |
Percepts |
Actions |
Information used | current auction number
Information produced |
Goals |

Role Participant

Name | Participant
Description |
Percepts |
Actions |
Information used | winner, default bid
Information produced |
Goals |

System Overview Diagram

Agents

Agent auctioneer agent

Name | auctioneer agent
Description |
Cardinality minimum | 0
Cardinality maximum | 0
Lifetime |
Initialisation |
Demise |
Incoming messages | bid: ag2 --> auctioneer agent
Outgoing messages | new auction: new auction plan --> "Not defined", winner announcement: identify winner plan --> "Not defined"
Internal messages | new auction: new auction plan --> "Not defined", winner announcement: identify winner plan --> "Not defined"
Percepts |
Actions |
Uses data |
Produces data |
Internal data | current auction number
Goals | Manage auction, Announce new auction, Identify winner, Announce winner
Roles | Auctioneer
Protocols | auction
Included plans | new auction plan, identify winner plan
Included capabilities |

Agent ag1

Name | ag1
Description |
Cardinality minimum | 0
Cardinality maximum | 0
Lifetime |
Initialisation |
Demise |
Incoming messages | new auction: "Not defined" --> calculate bid, winner announcement: auctioneer agent --> ag1, ag2, ag3
Outgoing messages | bid: calculate bid --> "Not defined"
Internal messages | new auction: "Not defined" --> calculate bid, bid: calculate bid --> "Not defined"
Percepts |
Actions |
Uses data |
Produces data |
Internal data | default bid, winner
Goals | Bid proposals, Calculate bid value
Roles | Participant
Protocols | auction
Included plans | calculate bid, add belief
Included capabilities |

Agent ag2

Name | ag2
Description |
Cardinality minimum | 0
Cardinality maximum | 0
Lifetime |
Initialisation |
Demise |
Incoming messages | alliance proposal: ag3 --> ag2, winner announcement: auctioneer agent --> ag1, ag2, ag3, new auction: "Not defined" --> calculate bid
Outgoing messages | alliance accepted: ag2 --> ag3, bid: ag2 --> auctioneer agent
Internal messages | new auction: "Not defined" --> calculate bid
Percepts |
Actions |
Uses data |
Produces data |
Internal data | default bid, allies, alliances, winner
Goals |
Roles | Participant
Protocols | alliance, auction
Included plans | calculate bid, decide alliance, add belief
Included capabilities |

Agent ag3

Name | ag3
Description |
Cardinality minimum | 0
Cardinality maximum | 0
Lifetime |
Initialisation |
Demise |
Incoming messages | alliance accepted: ag2 --> ag3, winner announcement: auctioneer agent --> ag1, ag2, ag3, new auction: "Not defined" --> calculate bid
Outgoing messages | alliance proposal: ag3 --> ag2, bid: ag3 --> auctioneer agent
Internal messages | new auction: "Not defined" --> calculate bid
Percepts |
Actions |
Uses data |
Produces data |
Internal data | winner, alliances, default bid, allies
Goals |
Roles | Participant
Protocols | alliance, auction
Included plans | add belief, calculate bid
Included capabilities |

Capabilities

Plans

Plan calculate bid

Name | calculate bid
Description |
Triggers |
Context |
Incoming messages | new auction: "Not defined" --> calculate bid, new auction: "Not defined" --> calculate bid, new auction: "Not defined" --> calculate bid
Outgoing messages | bid: calculate bid --> "Not defined", bid: ag2 --> auctioneer agent, bid: ag3 --> auctioneer agent, alliance proposal: ag3 --> ag2
Percepts |
Actions |
Used data |
Produced data |
Goal | Calculate bid value, Bid proposals
Failure |
Failure recovery |
Procedure |

Plan add belief

Name | add belief
Description |
Triggers |
Context |
Incoming messages | winner announcement: auctioneer agent --> ag1, ag2, ag3, alliance accepted: ag2 --> ag3
Outgoing messages |
Percepts |
Actions |
Used data |
Produced data |
Goal |
Failure |
Failure recovery |
Procedure |

Plan new auction plan

Name | new auction plan
Description |
Triggers |
Context |
Incoming messages |
Outgoing messages | new auction: new auction plan --> "Not defined"
Percepts |
Actions |
Used data |
Produced data |
Goal | Announce new auction
Failure |
Failure recovery |
Procedure |

Plan identify winner plan

Name | identify winner plan
Description |
Triggers | bid: ag2 --> auctioneer agent
Context |
Incoming messages |
Outgoing messages | winner announcement: identify winner plan --> "Not defined"
Percepts |
Actions |
Used data |
Produced data |
Goal | Identify winner, Announce winner
Failure |
Failure recovery |
Procedure |

Plan decide alliance

Name | decide alliance
Description |
Triggers |
Context |
Incoming messages | alliance proposal: ag3 --> ag2
Outgoing messages | alliance accepted: ag2 --> ag3
Percepts |
Actions |
Used data |
Produced data |
Goal |
Failure |
Failure recovery |
Procedure |

Percepts

Actions

Messages

Message new auction

Name | new auction
Description |
Distribution | auctioneer agent --> ag1, ag2, ag3, "Not defined" --> calculate bid, new auction plan --> "Not defined", "Not defined" --> calculate bid, "Not defined" --> calculate bid
Purpose |
Carried information |

Message bid

Name | bid
Description |
Distribution | ag1 --> auctioneer agent, ag2 --> auctioneer agent, ag3 --> auctioneer agent, calculate bid --> "Not defined"
Purpose |
Carried information |

Message alliance proposal

Name | alliance proposal
Description |
Distribution | ag3 --> ag2
Purpose |
Carried information |

Message alliance accepted

Name | alliance accepted
Description |
Distribution | ag2 --> ag3
Purpose |
Carried information |

Message winner announcement

Name | winner announcement
Description |
Distribution | identify winner plan --> "Not defined", auctioneer agent --> ag1, ag2, ag3
Purpose |
Carried information |

Data

Data default bid

Name | default bid
Description | default value for bid
Data type |
Included fields/aspects |
Persistent | No
External to system | No
Connections | default bid read by {calculate bid}, default bid read by {calculate bid}, default bid read by {calculate bid}
Initialisation |
Produced by |
Used by |
Used when |
Produced by |
Used by |

Data winner

Name | winner
Description |
Data type |
Included fields/aspects |
Persistent | Yes
External to system | No
Connections | winner written by {add belief}, winner written by {add belief}, winner written by {add belief} read by {calculate bid}
Initialisation |
Produced by |
Used by |
Used when |
Produced by |
Used by |

Data current auction number

Name | current auction number
Description |
Data type |
Included fields/aspects |
Persistent | Yes
External to system | No
Connections | current auction number written by {new auction plan} read by {new auction plan}
Initialisation |
Produced by |
Used by |
Used when |
Produced by |
Used by |

Data allies

Name | allies
Description |
Data type |
Included fields/aspects |
Persistent | Yes
External to system | No
Connections | allies read by {decide alliance}, allies read by {calculate bid}
Initialisation |
Produced by |
Used by |
Used when |
Produced by |
Used by |

Data alliances

Name | alliances
Description |
Data type |
Included fields/aspects |
Persistent | Yes
External to system | No
Connections | alliances read by {calculate bid}, alliances written by {add belief} read by {calculate bid}
Initialisation |
Produced by |
Used by |
Used when |
Produced by |
Used by |

Protocols

Protocol alliance

Name | alliance
Description |
Included messages | alliance proposal: ag3 --> ag2, alliance accepted: ag2 --> ag3
Scenarios |
Agents | ag2, ag3
Notes |

Protocol auction

Name | auction
Description |
Included messages | new auction: auctioneer agent --> ag1, ag2, ag3, bid: ag1 --> auctioneer agent, bid: ag2 --> auctioneer agent, bid: ag3 --> auctioneer agent, winner announcement: auctioneer agent --> ag1, ag2, ag3
Scenarios |
Agents | ag1, auctioneer agent, ag2, ag3
Notes |

Scenarios

Scenario Manage auction scenario

Name | Manage auction scenario
Description |
Priority | Not Specified
Stakeholders |
Initiated by | System
Trigger |
Steps |
# | Type | Name | Role | Description | Data used | Data produced
1 | Goal | Announce new auction | Auctioneer |  |  |
2 | Goal | Calculate bid value | Participant |  |  |
3 | Goal | Bid proposals | Participant |  |  |
4 | Goal | Identify winner | Auctioneer |  |  |
5 | Goal | Announce winner | Auctioneer |  |  |
Variation |

Stakeholders

Crosscheck

Warnings:

1. The data "default bid" is never written
2. The data "allies" is never written

Errors:

1. The message new auction: auctioneer agent --> ag1, ag2, ag3 in "auction" is not sent by any plan or capability within agent "auctioneer agent".
2. The message bid: ag1 --> auctioneer agent in "auction" is not received by any plan or capability within agent "auctioneer agent".
3. The message new auction: auctioneer agent --> ag1, ag2, ag3 in "auction" is not received by any plan or capability within agent "ag1".
4. The message bid: ag1 --> auctioneer agent in "auction" is not sent by any plan or capability within agent "ag1".
5. The message new auction: auctioneer agent --> ag1, ag2, ag3 in "auction" is not received by any plan or capability within agent "ag2".
6. The message new auction: auctioneer agent --> ag1, ag2, ag3 in "auction" is not received by any plan or capability within agent "ag3".

Dictionary

Listed by name:

add belief | Plan
add belief | Plan
ag1 | Agent
ag1 | Agent
ag2 | Agent
ag2 | Agent
ag3 | Agent
ag3 | Agent
alliance | Protocol
alliance | Protocol
alliance accepted | Message
alliance accepted | Message
alliance proposal | Message
alliance proposal | Message
alliances | Data
alliances | Data
allies | Data
allies | Data
Announce new auction | Goal
Announce new auction | Goal
Announce winner | Goal
Announce winner | Goal
auction | Protocol
auction | Protocol
Auctioneer | Role
Auctioneer | Role
auctioneer agent | Agent
auctioneer agent | Agent
bid | Message
bid | Message
Bid proposals | Goal
Bid proposals | Goal
calculate bid | Plan
calculate bid | Plan
Calculate bid value | Goal
Calculate bid value | Goal
current auction number | Data
current auction number | Data
decide alliance | Plan
decide alliance | Plan
default bid | Data
default bid | Data
Identify winner | Goal
Identify winner | Goal
identify winner plan | Plan
identify winner plan | Plan
Manage auction | Goal
Manage auction | Goal
Manage auction scenario | Scenario
Manage auction scenario | Scenario
new auction | Message
new auction | Message
new auction plan | Plan
new auction plan | Plan
Participant | Role
Participant | Role
winner | Data
winner | Data
winner announcement | Message
winner announcement | Message

Listed by type:

Agent | ag1
Agent | ag1
Agent | ag2
Agent | ag2
Agent | ag3
Agent | ag3
Agent | auctioneer agent
Agent | auctioneer agent
Data | alliances
Data | alliances
Data | allies
Data | allies
Data | current auction number
Data | current auction number
Data | default bid
Data | default bid
Data | winner
Data | winner
Goal | Announce new auction
Goal | Announce new auction
Goal | Announce winner
Goal | Announce winner
Goal | Bid proposals
Goal | Bid proposals
Goal | Calculate bid value
Goal | Calculate bid value
Goal | Identify winner
Goal | Identify winner
Goal | Manage auction
Goal | Manage auction
Message | alliance accepted
Message | alliance accepted
Message | alliance proposal
Message | alliance proposal
Message | bid
Message | bid
Message | new auction
Message | new auction
Message | winner announcement
Message | winner announcement
Plan | add belief
Plan | add belief
Plan | calculate bid
Plan | calculate bid
Plan | decide alliance
Plan | decide alliance
Plan | identify winner plan
Plan | identify winner plan
Plan | new auction plan
Plan | new auction plan
Protocol | alliance
Protocol | alliance
Protocol | auction
Protocol | auction
Role | Auctioneer
Role | Auctioneer
Role | Participant
Role | Participant
Scenario | Manage auction scenario
Scenario | Manage auction scenario