default

Namedefault
Description 
Author 
Version 
Prometheus version2.5f
Report generation date2007-01-26



Goal Overview Diagram




Goals




Goal There are no offerings

NameThere are no offerings
DescriptionGoal of having no offering
Subgoals 
OR refinementNo
Hide/Unhide Notesdisplay



Goal There are bids

NameThere are bids
DescriptionGoal that there are more bids
SubgoalsCheck other bids
OR refinementNo
Hide/Unhide Notesdisplay



Goal Assign maximum bidder

NameAssign maximum bidder
DescriptionGoal of assigning the maximum bidder
Subgoals 
OR refinementNo
Hide/Unhide Notesdisplay



Goal Bid for the object

NameBid for the object
DescriptionGoal of bidding
Subgoals 
OR refinementNo
Hide/Unhide Notesdisplay



Goal Check utility

NameCheck utility
DescriptionGoal of checking utility of buyers
SubgoalsCheck happiness
OR refinementNo
Hide/Unhide Notesdisplay



Goal Check happiness

NameCheck happiness
DescriptionCheck the happiness of buyers
SubgoalsBuyer is going to bid, Buyer is passing
OR refinementNo
Hide/Unhide Notesdisplay



Goal Check other bids

NameCheck other bids
DescriptionGoal of checking bids of other buyers
SubgoalsAssign maximum bidder
OR refinementNo
Hide/Unhide Notesdisplay



Goal Check price

NameCheck price
DescriptionGoal of checking a price
SubgoalsBroadcast offer
OR refinementNo
Hide/Unhide Notesdisplay



Goal Broadcast offer

NameBroadcast offer
DescriptionGoal of broadcasting an offer
SubgoalsCheck utility, There are bids, There are no offerings, There is a winner
OR refinementNo
Hide/Unhide Notesdisplay



Goal Buyer is going to bid

NameBuyer is going to bid
DescriptionGoal of the buyer of going for bidding
SubgoalsBid for the object
OR refinementNo
Hide/Unhide Notesdisplay



Goal Buyer is passing

NameBuyer is passing
DescriptionGoal of a buyer to pass
Subgoals 
OR refinementNo
Hide/Unhide Notesdisplay



Goal There is a winner

NameThere is a winner
DescriptionGoal of having a winner
SubgoalsCheck the history of bids
OR refinementNo
Hide/Unhide Notesdisplay



Goal Check the history of bids

NameCheck the history of bids
DescriptionGoal of checking the history of bids
SubgoalsDeliver the object
OR refinementNo
Hide/Unhide Notesdisplay



Goal Deliver the object

NameDeliver the object
DescriptionRole of finishing an auction
SubgoalsPay, Update happiness
OR refinementNo
Hide/Unhide Notesdisplay



Goal Update happiness

NameUpdate happiness
DescriptionGoal of updating happiness
Subgoals 
OR refinementNo
Hide/Unhide Notesdisplay



Goal Update money

NameUpdate money
DescriptionGoal of updating the money
Subgoals 
OR refinementNo
Hide/Unhide Notesdisplay



Goal Pay

NamePay
DescriptionGoal of paying
SubgoalsUpdate money
OR refinementNo
Hide/Unhide Notesdisplay



Roles Diagram




Roles




Role Process offer

NameProcess offer
DescriptionRole of processing a bid
PerceptsAuctioneer offers
Actions 
Information used 
Information producedBid history
GoalsBid for the object, Check utility, Check happiness
Hide/Unhide Notesdisplay



Role Process bid

NameProcess bid
DescriptionRole of processing a bid
PerceptsBuyer bids
Actions 
Information used 
Information producedUtility matrix
GoalsAssign maximum bidder, Check other bids
Hide/Unhide Notesdisplay



Role Make an offer

NameMake an offer
Descriptionrole of making an offer
PerceptsThere are things to sell
Actions 
Information used 
Information producedPrice list, Object list
GoalsCheck price, Broadcast offer
Hide/Unhide Notesdisplay



Role Finish the auction

NameFinish the auction
Description 
PerceptsAuction finishes
Actions 
Information used 
Information producedObject list
GoalsCheck the history of bids, Deliver the object, Update money
Hide/Unhide Notesdisplay



Role Receive an object

NameReceive an object
DescriptionRole of receiving an object
PerceptsObject arrives
Actions 
Information usedObject list
Information produced 
GoalsPay, Update happiness
Hide/Unhide Notesdisplay



System Overview Diagram




Agents




Agent Auctioneer

NameAuctioneer
DescriptionIt«s an individual with the need or desire of selling some goods, at the highest price possible.
Cardinality minimum0
Cardinality maximum0
Lifetime 
Initialisation 
Demise 
Incoming messagesBid: Buyer --> Auctioneer, Pass: Buyer --> Auctioneer
Outgoing messagesOffer: Auctioneer --> Buyer, Deliver: Auctioneer --> Buyer
Internal messages 
PerceptsThere are things to sell, Buyer bids, Auction finishes
Actions 
Uses data 
Produces data 
Internal dataBid history
GoalsCheck price, Broadcast offer, Assign maximum bidder, Check other bids
RolesMake an offer, Process bid
Protocols 
Included plans 
Included capabilitiesOfferCapability, DeliverCapability, updateBidHistoryCapability
Hide/Unhide Notesdisplay



Agent Buyer

NameBuyer
DescriptionIt«s an individual with the need or desire to adquire some goods at the lowest price possible.
Cardinality minimum0
Cardinality maximum0
Lifetime 
Initialisation 
Demise 
Incoming messagesOffer: Auctioneer --> Buyer, Deliver: Auctioneer --> Buyer
Outgoing messagesBid: Buyer --> Auctioneer, Pass: Buyer --> Auctioneer
Internal messages 
PerceptsAuctioneer offers, Object arrives
Actions 
Uses data 
Produces data 
Internal data 
GoalsBid for the object, Check utility, Check happiness
RolesProcess offer
Protocols 
Included plans 
Included capabilitiesBidCapability, PassCapability, ReceiveCapability
Hide/Unhide Notesdisplay



Capabilities




Capability BidCapability

NameBidCapability
Descriptionits the capability of a Buyer agent of making an bid for the current item on auction.
Goals 
Processes 
Protocols 
Incoming messagesBid: Buyer --> Auctioneer
Outgoing messagesBid: Buyer --> Auctioneer
Internal messages 
PerceptsBuyer bids, Auctioneer offers
Actions 
Read data: Internal 
Read data: Imported 
Written data: Internal 
Written data: Exported 
Included plans 
Included capabilities 
Notes 
Hide/Unhide Notesdisplay



Capability PassCapability

NamePassCapability
DescriptionIs the ability that a Buyer agent has of refusing an item.
Goals 
Processes 
Protocols 
Incoming messagesPass: Buyer --> Auctioneer
Outgoing messagesPass: Buyer --> Auctioneer
Internal messages 
PerceptsBuyer bids, Auctioneer offers
Actions 
Read data: Internal 
Read data: Imported 
Written data: Internal 
Written data: Exported 
Included plans 
Included capabilities 
Notes 
Hide/Unhide Notesdisplay



Capability OfferCapability

NameOfferCapability
DescriptionThe capability of an Auctioneer of offering an item for sale.
Goals 
Processes 
Protocols 
Incoming messages 
Outgoing messagesOffer: Auctioneer --> Buyer
Internal messages 
PerceptsThere are things to sell
Actions 
Read data: Internal 
Read data: Imported 
Written data: Internal 
Written data: Exported 
Included plans 
Included capabilities 
Notes 
Hide/Unhide Notesdisplay



Capability DeliverCapability

NameDeliverCapability
DescriptionIts the capability of an auctioneer agent if delivering a good, once the auction is over.
Goals 
Processes 
Protocols 
Incoming messages 
Outgoing messagesDeliver: Auctioneer --> Buyer
Internal messages 
PerceptsAuction finishes
Actions 
Read data: Internal 
Read data: Imported 
Written data: Internal 
Written data: Exported 
Included plans 
Included capabilities 
Notes 
Hide/Unhide Notesdisplay



Capability ReceiveCapability

NameReceiveCapability
DescriptionIs the ability of receiving a delivered good, when an auction is won.
Goals 
Processes 
Protocols 
Incoming messagesDeliver: Auctioneer --> Buyer
Outgoing messages 
Internal messages 
PerceptsAuctioneer offers
Actions 
Read data: Internal 
Read data: Imported 
Written data: Internal 
Written data: Exported 
Included plans 
Included capabilities 
Notes 
Hide/Unhide Notesdisplay



Capability updateBidHistoryCapability

NameupdateBidHistoryCapability
DescriptionIs the capacity of the Auctioneer of recording all the bid that have beed offered for the current item.
Goals 
Processes 
Protocols 
Incoming messages 
Outgoing messages 
Internal messages 
PerceptsBuyer bids
Actions 
Read data: Internal 
Read data: Imported 
Written data: Internal 
Written data: ExportedBid history
Included plans 
Included capabilities 
Notes 
Hide/Unhide Notesdisplay



Plans




Percepts




Percept Auctioneer offers

NameAuctioneer offers
DescriptionPerception of the Auctioneer offers
Information carried 
Knowledge updated 
Source 
Processing 
Agents respondingBuyer
Expected frequency 
Hide/Unhide Notesdisplay



Percept Buyer bids

NameBuyer bids
DescriptionBuyer bids as perceived by the Auctioneer
Information carried 
Knowledge updated 
Source 
Processing 
Agents respondingAuctioneer
Expected frequency 
Hide/Unhide Notesdisplay



Percept There are things to sell

NameThere are things to sell
DescriptionPercept of things to sell
Information carried 
Knowledge updated 
Source 
Processing 
Agents respondingAuctioneer
Expected frequency 
Hide/Unhide Notesdisplay



Percept Auction finishes

NameAuction finishes
DescriptionPercept of the end of the auction
Information carried 
Knowledge updated 
Source 
Processing 
Agents respondingAuctioneer
Expected frequency 
Hide/Unhide Notesdisplay



Percept Object arrives

NameObject arrives
DescriptionPercept of a new object that is for sale
Information carried 
Knowledge updated 
Source 
Processing 
Agents respondingBuyer
Expected frequency 
Hide/Unhide Notesdisplay



Actions




Messages




Message Offer

NameOffer
DescriptionMakes an offer to buyers
DistributionAuctioneer --> Buyer
Purpose 
Carried information 
Hide/Unhide Notesdisplay



Message Bid

NameBid
DescriptionTells about a new bid by a Buyer
DistributionBuyer --> Auctioneer
Purpose 
Carried information 
Hide/Unhide Notesdisplay



Message Pass

NamePass
DescriptionTells that a buyer refrains from further bidding
DistributionBuyer --> Auctioneer
Purpose 
Carried information 
Hide/Unhide Notesdisplay



Message Deliver

NameDeliver
DescriptionDelivers the goods to the highest bidder
DistributionAuctioneer --> Buyer
Purpose 
Carried information 
Hide/Unhide Notesdisplay



Data




Data Utility matrix

NameUtility matrix
DescriptionRepresents the belief a Buyer agent has, about the expected utilities that other agents have for each item.
Data type 
Included fields/aspects 
PersistentYes
External to systemNo
Connections 
Initialisation 
Produced by 
Used by 
Used when 
Hide/Unhide Notesdisplay
Produced by 
Used by 



Data Price list

NamePrice list
DescriptionStores the prices of each item in the ObjectList
Data type 
Included fields/aspects 
PersistentYes
External to systemNo
Connections 
Initialisation 
Produced by 
Used by 
Used when 
Hide/Unhide Notesdisplay
Produced by 
Used by 



Data Bid history

NameBid history
DescriptionIts the record of bids in the current auction. It is used by the Auctioneer agent for determining the highest bidding Buyer agent.
Data typeData source
Included fields/aspectstime of the bid, bidding agent,item being sold, for how much.
PersistentYes
External to systemNo
ConnectionsBid history written by {updateBidHistoryCapability}
InitialisationEmpty
Produced byupdateBidHistoryCapability
Used by 
Used when 
Hide/Unhide Notesdisplay
Produced by 
Used byupdateBidHistoryCapability



Data Object list

NameObject list
DescriptionIs the set of goods an agent wants to buy or sell.
Data type 
Included fields/aspects 
PersistentYes
External to systemNo
Connections 
Initialisation 
Produced by 
Used by 
Used when 
Hide/Unhide Notesdisplay
Produced by 
Used by 



Protocols




Scenarios




Scenario Initial offer scenario

NameInitial offer scenario
DescriptionScenario of the initial offer
PriorityNot Specified
Actors 
Initiated bySystem
Trigger 
Steps
#TypeNameRoleDescriptionData usedData produced
Variation 



Scenario Buyer reaction scenario

NameBuyer reaction scenario
DescriptionScenario of the buyer reaction
PriorityNot Specified
Actors 
Initiated bySystem
Trigger 
Steps
#TypeNameRoleDescriptionData usedData produced
Variation 



Scenario Buyer is going to bid scenario

NameBuyer is going to bid scenario
DescriptionScenario of the buyer that is going to bid
PriorityNot Specified
Actors 
Initiated bySystem
Trigger 
Steps
#TypeNameRoleDescriptionData usedData produced
Variation 



Scenario Buyer is passing scenario

NameBuyer is passing scenario
DescriptionA bidder leaves
PriorityNot Specified
Actors 
Initiated bySystem
Trigger 
Steps
#TypeNameRoleDescriptionData usedData produced
Variation 



Scenario There is a winner scenario

NameThere is a winner scenario
DescriptionAuction has come to end
PriorityNot Specified
Actors 
Initiated bySystem
Trigger 
Steps
#TypeNameRoleDescriptionData usedData produced
Variation 



Actors




Crosscheck

Warnings:

  1. The data "Utility matrix" is never read
  2. The data "Utility matrix" is never written
  3. The data "Price list" is never read
  4. The data "Price list" is never written
  5. The data "Bid history" is never read
  6. The data "Object list" is never read
  7. The data "Object list" is never written
  8. The role "Finish the auction" is not used within an agent.
  9. The role "Receive an object" is not used within an agent.
  10. The goal "There are no offerings" is not used within an agent.
  11. The goal "There are bids" is not used within an agent.
  12. The goal "Buyer is going to bid" is not used within an agent.
  13. The goal "Buyer is passing" is not used within an agent.
  14. The goal "There is a winner" is not used within an agent.
  15. The goal "Check the history of bids" is not used within an agent.
  16. The goal "Deliver the object" is not used within an agent.
  17. The goal "Update happiness" is not used within an agent.
  18. The goal "Update money" is not used within an agent.
  19. The goal "Pay" is not used within an agent.
  20. The scenario "Initial offer scenario" is empty.
  21. The scenario "Buyer reaction scenario" is empty.
  22. The scenario "Buyer is going to bid scenario" is empty.
  23. The scenario "Buyer is passing scenario" is empty.
  24. The scenario "There is a winner scenario" is empty.
  25. The percept "Buyer bids" is received by "BidCapability" but is not received by agent "Buyer".
  26. The percept "Buyer bids" is received by "PassCapability" but is not received by agent "Buyer".

Errors:

  1. The message "Bid: Buyer --> Auctioneer" is not received by any plan or capability within agent "Auctioneer".
  2. The message "Pass: Buyer --> Auctioneer" is not received by any plan or capability within agent "Auctioneer".
  3. The message "Offer: Auctioneer --> Buyer" is not received by any plan or capability within agent "Buyer".
  4. The percept "Object arrives" is not received by any plan or capability within agent "Buyer".
  5. The message "Bid: Buyer --> Auctioneer" is not received by any plan or capability within capability "BidCapability".
  6. The message "Bid: Buyer --> Auctioneer" is not sent by any plan or capability within capability "BidCapability".
  7. The percept "Buyer bids" is not received by any plan or capability within capability "BidCapability".
  8. The percept "Auctioneer offers" is not received by any plan or capability within capability "BidCapability".
  9. The message "Pass: Buyer --> Auctioneer" is not received by any plan or capability within capability "PassCapability".
  10. The message "Pass: Buyer --> Auctioneer" is not sent by any plan or capability within capability "PassCapability".
  11. The percept "Buyer bids" is not received by any plan or capability within capability "PassCapability".
  12. The percept "Auctioneer offers" is not received by any plan or capability within capability "PassCapability".
  13. The message "Offer: Auctioneer --> Buyer" is not sent by any plan or capability within capability "OfferCapability".
  14. The percept "There are things to sell" is not received by any plan or capability within capability "OfferCapability".
  15. The message "Deliver: Auctioneer --> Buyer" is not sent by any plan or capability within capability "DeliverCapability".
  16. The percept "Auction finishes" is not received by any plan or capability within capability "DeliverCapability".
  17. The message "Deliver: Auctioneer --> Buyer" is not received by any plan or capability within capability "ReceiveCapability".
  18. The percept "Auctioneer offers" is not received by any plan or capability within capability "ReceiveCapability".
  19. The data "Bid history" is not written by any plan or capability within capability "updateBidHistoryCapability".
  20. The percept "Buyer bids" is not received by any plan or capability within capability "updateBidHistoryCapability".



Dictionary

Listed by name:

Assign maximum bidderGoal
Assign maximum bidderGoal
Auction finishesPercept
Auction finishesPercept
AuctioneerAgent
AuctioneerAgent
Auctioneer offersPercept
Auctioneer offersPercept
BidMessage
BidMessage
Bid for the objectGoal
Bid for the objectGoal
Bid historyData
Bid historyData
BidCapabilityCapability
BidCapabilityCapability
Broadcast offerGoal
Broadcast offerGoal
BuyerAgent
BuyerAgent
Buyer bidsPercept
Buyer bidsPercept
Buyer is going to bidGoal
Buyer is going to bidGoal
Buyer is going to bid scenarioScenario
Buyer is going to bid scenarioScenario
Buyer is passingGoal
Buyer is passingGoal
Buyer is passing scenarioScenario
Buyer is passing scenarioScenario
Buyer reaction scenarioScenario
Buyer reaction scenarioScenario
Check happinessGoal
Check happinessGoal
Check other bidsGoal
Check other bidsGoal
Check priceGoal
Check priceGoal
Check the history of bidsGoal
Check the history of bidsGoal
Check utilityGoal
Check utilityGoal
DeliverMessage
DeliverMessage
Deliver the objectGoal
Deliver the objectGoal
DeliverCapabilityCapability
DeliverCapabilityCapability
Finish the auctionRole
Finish the auctionRole
Initial offer scenarioScenario
Initial offer scenarioScenario
Make an offerRole
Make an offerRole
Object arrivesPercept
Object arrivesPercept
Object listData
Object listData
OfferMessage
OfferMessage
OfferCapabilityCapability
OfferCapabilityCapability
PassMessage
PassMessage
PassCapabilityCapability
PassCapabilityCapability
PayGoal
PayGoal
Price listData
Price listData
Process bidRole
Process bidRole
Process offerRole
Process offerRole
Receive an objectRole
Receive an objectRole
ReceiveCapabilityCapability
ReceiveCapabilityCapability
There are bidsGoal
There are bidsGoal
There are no offeringsGoal
There are no offeringsGoal
There are things to sellPercept
There are things to sellPercept
There is a winnerGoal
There is a winnerGoal
There is a winner scenarioScenario
There is a winner scenarioScenario
Update happinessGoal
Update happinessGoal
Update moneyGoal
Update moneyGoal
updateBidHistoryCapabilityCapability
updateBidHistoryCapabilityCapability
Utility matrixData
Utility matrixData

Listed by type:

AgentAuctioneer
AgentAuctioneer
AgentBuyer
AgentBuyer
CapabilityBidCapability
CapabilityBidCapability
CapabilityDeliverCapability
CapabilityDeliverCapability
CapabilityOfferCapability
CapabilityOfferCapability
CapabilityPassCapability
CapabilityPassCapability
CapabilityReceiveCapability
CapabilityReceiveCapability
CapabilityupdateBidHistoryCapability
CapabilityupdateBidHistoryCapability
DataBid history
DataBid history
DataObject list
DataObject list
DataPrice list
DataPrice list
DataUtility matrix
DataUtility matrix
GoalAssign maximum bidder
GoalAssign maximum bidder
GoalBid for the object
GoalBid for the object
GoalBroadcast offer
GoalBroadcast offer
GoalBuyer is going to bid
GoalBuyer is going to bid
GoalBuyer is passing
GoalBuyer is passing
GoalCheck happiness
GoalCheck happiness
GoalCheck other bids
GoalCheck other bids
GoalCheck price
GoalCheck price
GoalCheck the history of bids
GoalCheck the history of bids
GoalCheck utility
GoalCheck utility
GoalDeliver the object
GoalDeliver the object
GoalPay
GoalPay
GoalThere are bids
GoalThere are bids
GoalThere are no offerings
GoalThere are no offerings
GoalThere is a winner
GoalThere is a winner
GoalUpdate happiness
GoalUpdate happiness
GoalUpdate money
GoalUpdate money
MessageBid
MessageBid
MessageDeliver
MessageDeliver
MessageOffer
MessageOffer
MessagePass
MessagePass
PerceptAuction finishes
PerceptAuction finishes
PerceptAuctioneer offers
PerceptAuctioneer offers
PerceptBuyer bids
PerceptBuyer bids
PerceptObject arrives
PerceptObject arrives
PerceptThere are things to sell
PerceptThere are things to sell
RoleFinish the auction
RoleFinish the auction
RoleMake an offer
RoleMake an offer
RoleProcess bid
RoleProcess bid
RoleProcess offer
RoleProcess offer
RoleReceive an object
RoleReceive an object
ScenarioBuyer is going to bid scenario
ScenarioBuyer is going to bid scenario
ScenarioBuyer is passing scenario
ScenarioBuyer is passing scenario
ScenarioBuyer reaction scenario
ScenarioBuyer reaction scenario
ScenarioInitial offer scenario
ScenarioInitial offer scenario
ScenarioThere is a winner scenario
ScenarioThere is a winner scenario