Auction

NameAuction
DescriptionJason basic auction example
AuthorJomi & Rafael
Version 
Prometheus version2.3b
Report generation date2006-01-17



Goal Overview Diagram




Goals




Goal Announce new auction

NameAnnounce new auction
Description 
Subgoals 
OR refinementNo



Goal Bid proposals

NameBid proposals
Description 
Subgoals 
OR refinementNo



Goal Identify winner

NameIdentify winner
Description 
Subgoals 
OR refinementNo



Goal Announce winner

NameAnnounce winner
Description 
Subgoals 
OR refinementNo



Goal Calculate bid value

NameCalculate bid value
Description 
Subgoals 
OR refinementNo



Goal Manage auction

NameManage auction
Description 
SubgoalsAnnounce winner, Announce new auction, Identify winner, Bid proposals, Calculate bid value
OR refinementNo



Roles Diagram




Roles




Role Auctioneer

NameAuctioneer
Description 
Percepts 
Actions 
Information usedcurrent auction number
Information produced 
Goals 



Role Participant

NameParticipant
Description 
Percepts 
Actions 
Information usedwinner, default bid
Information produced 
Goals 



System Overview Diagram




Agents




Agent auctioneer agent

Nameauctioneer agent
Description 
Cardinality minimum0
Cardinality maximum0
Lifetime 
Initialisation 
Demise 
Incoming messagesbid: ag2 --> auctioneer agent
Outgoing messagesnew auction: new auction plan --> "Not defined", winner announcement: identify winner plan --> "Not defined"
Internal messagesnew auction: new auction plan --> "Not defined", winner announcement: identify winner plan --> "Not defined"
Percepts 
Actions 
Uses data 
Produces data 
Internal datacurrent auction number
GoalsManage auction, Announce new auction, Identify winner, Announce winner
RolesAuctioneer
Protocolsauction
Included plansnew auction plan, identify winner plan
Included capabilities 



Agent ag1

Nameag1
Description 
Cardinality minimum0
Cardinality maximum0
Lifetime 
Initialisation 
Demise 
Incoming messagesnew auction: "Not defined" --> calculate bid, winner announcement: auctioneer agent --> ag1, ag2, ag3
Outgoing messagesbid: calculate bid --> "Not defined"
Internal messagesnew auction: "Not defined" --> calculate bid, bid: calculate bid --> "Not defined"
Percepts 
Actions 
Uses data 
Produces data 
Internal datadefault bid, winner
GoalsBid proposals, Calculate bid value
RolesParticipant
Protocolsauction
Included planscalculate bid, add belief
Included capabilities 



Agent ag2

Nameag2
Description 
Cardinality minimum0
Cardinality maximum0
Lifetime 
Initialisation 
Demise 
Incoming messagesalliance proposal: ag3 --> ag2, winner announcement: auctioneer agent --> ag1, ag2, ag3, new auction: "Not defined" --> calculate bid
Outgoing messagesalliance accepted: ag2 --> ag3, bid: ag2 --> auctioneer agent
Internal messagesnew auction: "Not defined" --> calculate bid
Percepts 
Actions 
Uses data 
Produces data 
Internal datadefault bid, allies, alliances, winner
Goals 
RolesParticipant
Protocolsalliance, auction
Included planscalculate bid, decide alliance, add belief
Included capabilities 



Agent ag3

Nameag3
Description 
Cardinality minimum0
Cardinality maximum0
Lifetime 
Initialisation 
Demise 
Incoming messagesalliance accepted: ag2 --> ag3, winner announcement: auctioneer agent --> ag1, ag2, ag3, new auction: "Not defined" --> calculate bid
Outgoing messagesalliance proposal: ag3 --> ag2, bid: ag3 --> auctioneer agent
Internal messagesnew auction: "Not defined" --> calculate bid
Percepts 
Actions 
Uses data 
Produces data 
Internal datawinner, alliances, default bid, allies
Goals 
RolesParticipant
Protocolsalliance, auction
Included plansadd belief, calculate bid
Included capabilities 



Capabilities




Plans




Plan calculate bid

Namecalculate bid
Description 
Triggers 
Context 
Incoming messagesnew auction: "Not defined" --> calculate bid, new auction: "Not defined" --> calculate bid, new auction: "Not defined" --> calculate bid
Outgoing messagesbid: calculate bid --> "Not defined", bid: ag2 --> auctioneer agent, bid: ag3 --> auctioneer agent, alliance proposal: ag3 --> ag2
Percepts 
Actions 
Used data 
Produced data 
GoalCalculate bid value, Bid proposals
Failure 
Failure recovery 
Procedure 



Plan add belief

Nameadd belief
Description 
Triggers 
Context 
Incoming messageswinner 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

Namenew auction plan
Description 
Triggers 
Context 
Incoming messages 
Outgoing messagesnew auction: new auction plan --> "Not defined"
Percepts 
Actions 
Used data 
Produced data 
GoalAnnounce new auction
Failure 
Failure recovery 
Procedure 



Plan identify winner plan

Nameidentify winner plan
Description 
Triggersbid: ag2 --> auctioneer agent
Context 
Incoming messages 
Outgoing messageswinner announcement: identify winner plan --> "Not defined"
Percepts 
Actions 
Used data 
Produced data 
GoalIdentify winner, Announce winner
Failure 
Failure recovery 
Procedure 



Plan decide alliance

Namedecide alliance
Description 
Triggers 
Context 
Incoming messagesalliance proposal: ag3 --> ag2
Outgoing messagesalliance accepted: ag2 --> ag3
Percepts 
Actions 
Used data 
Produced data 
Goal 
Failure 
Failure recovery 
Procedure 



Percepts




Actions




Messages




Message new auction

Namenew auction
Description 
Distributionauctioneer 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

Namebid
Description 
Distributionag1 --> auctioneer agent, ag2 --> auctioneer agent, ag3 --> auctioneer agent, calculate bid --> "Not defined"
Purpose 
Carried information 



Message alliance proposal

Namealliance proposal
Description 
Distributionag3 --> ag2
Purpose 
Carried information 



Message alliance accepted

Namealliance accepted
Description 
Distributionag2 --> ag3
Purpose 
Carried information 



Message winner announcement

Namewinner announcement
Description 
Distributionidentify winner plan --> "Not defined", auctioneer agent --> ag1, ag2, ag3
Purpose 
Carried information 



Data




Data default bid

Namedefault bid
Descriptiondefault value for bid
Data type 
Included fields/aspects 
PersistentNo
External to systemNo
Connectionsdefault 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

Namewinner
Description 
Data type 
Included fields/aspects 
PersistentYes
External to systemNo
Connectionswinner 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

Namecurrent auction number
Description 
Data type 
Included fields/aspects 
PersistentYes
External to systemNo
Connectionscurrent 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

Nameallies
Description 
Data type 
Included fields/aspects 
PersistentYes
External to systemNo
Connectionsallies read by {decide alliance}, allies read by {calculate bid}
Initialisation 
Produced by 
Used by 
Used when 
Produced by 
Used by 



Data alliances

Namealliances
Description 
Data type 
Included fields/aspects 
PersistentYes
External to systemNo
Connectionsalliances 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

Namealliance
Description 
Included messagesalliance proposal: ag3 --> ag2, alliance accepted: ag2 --> ag3
Scenarios 
Agentsag2, ag3
Notes 



Protocol auction

Nameauction
Description 
Included messagesnew 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 
Agentsag1, auctioneer agent, ag2, ag3
Notes 



Scenarios




Scenario Manage auction scenario

NameManage auction scenario
Description 
PriorityNot Specified
Stakeholders 
Initiated bySystem
Trigger 
Steps
#TypeNameRoleDescriptionData usedData produced
1GoalAnnounce new auctionAuctioneer   
2GoalCalculate bid valueParticipant   
3GoalBid proposalsParticipant   
4GoalIdentify winnerAuctioneer   
5GoalAnnounce winnerAuctioneer   
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 beliefPlan
add beliefPlan
ag1Agent
ag1Agent
ag2Agent
ag2Agent
ag3Agent
ag3Agent
allianceProtocol
allianceProtocol
alliance acceptedMessage
alliance acceptedMessage
alliance proposalMessage
alliance proposalMessage
alliancesData
alliancesData
alliesData
alliesData
Announce new auctionGoal
Announce new auctionGoal
Announce winnerGoal
Announce winnerGoal
auctionProtocol
auctionProtocol
AuctioneerRole
AuctioneerRole
auctioneer agentAgent
auctioneer agentAgent
bidMessage
bidMessage
Bid proposalsGoal
Bid proposalsGoal
calculate bidPlan
calculate bidPlan
Calculate bid valueGoal
Calculate bid valueGoal
current auction numberData
current auction numberData
decide alliancePlan
decide alliancePlan
default bidData
default bidData
Identify winnerGoal
Identify winnerGoal
identify winner planPlan
identify winner planPlan
Manage auctionGoal
Manage auctionGoal
Manage auction scenarioScenario
Manage auction scenarioScenario
new auctionMessage
new auctionMessage
new auction planPlan
new auction planPlan
ParticipantRole
ParticipantRole
winnerData
winnerData
winner announcementMessage
winner announcementMessage

Listed by type:

Agentag1
Agentag1
Agentag2
Agentag2
Agentag3
Agentag3
Agentauctioneer agent
Agentauctioneer agent
Dataalliances
Dataalliances
Dataallies
Dataallies
Datacurrent auction number
Datacurrent auction number
Datadefault bid
Datadefault bid
Datawinner
Datawinner
GoalAnnounce new auction
GoalAnnounce new auction
GoalAnnounce winner
GoalAnnounce winner
GoalBid proposals
GoalBid proposals
GoalCalculate bid value
GoalCalculate bid value
GoalIdentify winner
GoalIdentify winner
GoalManage auction
GoalManage auction
Messagealliance accepted
Messagealliance accepted
Messagealliance proposal
Messagealliance proposal
Messagebid
Messagebid
Messagenew auction
Messagenew auction
Messagewinner announcement
Messagewinner announcement
Planadd belief
Planadd belief
Plancalculate bid
Plancalculate bid
Plandecide alliance
Plandecide alliance
Planidentify winner plan
Planidentify winner plan
Plannew auction plan
Plannew auction plan
Protocolalliance
Protocolalliance
Protocolauction
Protocolauction
RoleAuctioneer
RoleAuctioneer
RoleParticipant
RoleParticipant
ScenarioManage auction scenario
ScenarioManage auction scenario