Class AchieveREInitiator
-
- All Implemented Interfaces:
Serializable,Serializable
- Direct Known Subclasses:
BaseInitiator,IteratedAchieveREInitiator
public class AchieveREInitiator extends FSMBehaviour
This is a single homogeneous and effective implementation of all the FIPA-Request-like interaction protocols defined by FIPA, that is all those protocols where the initiator sends a single message (i.e. it performs a single communicative act) within the scope of an interaction protocol in order to verify if the RE (Rational Effect) of the communicative act has been achieved or not. This implementation works both for 1:1 and 1:N conversation.FIPA has already specified a number of these interaction protocols, like FIPA-Request, FIPA-query, FIPA-Request-When, FIPA-recruiting, FIPA-brokering, that allows the initiator to verify if the expected rational effect of a single communicative act has been achieved.
The structure of these protocols is equal. The initiator sends a message (in general it performs a communicative act).
The responder can then reply by sending a
not-understood, or arefuseto achieve the rational effect of the communicative act, or also anagreemessage to communicate the agreement to perform (possibly in the future) the communicative act. This first category of reply messages has been here identified as a response.The responder performs the action and, finally, must respond with an
informof the result of the action (eventually just that the action has been done) or with afailureif anything went wrong. This second category of reply messages has been here identified as a result notification.Notice that we have extended the protocol to make optional the transmission of the agree message. Infact, in most cases performing the action takes so short time that sending the agree message is just an useless and uneffective overhead; in such cases, the agree to perform the communicative act is subsumed by the reception of the following message in the protocol.
Read carefully the section of the JADE programmer's guide that describes the usage of this class.
Known bugs: The handler
handleAllResponsesis not called if theagreemessage is skipped and theinformmessage is received instead.
One message for every receiver is sent instead of a single message for all the receivers.- Version:
- $Date$ $Revision$
- Author:
- Giovanni Caire - TILab, Fabio Bellifemine - TILab, Tiziana Trucco - TILab
- See Also:
- Serialized Form
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from class jade.core.behaviours.Behaviour
Behaviour.RunnableChangedEvent
-
-
Field Summary
Fields Modifier and Type Field Description protected StringALL_INITIATIONS_KStringALL_REQUESTS_KEYkey to retrieve from the DataStore of the behaviour the vector of ACLMessage objects that have been sent.StringALL_RESPONSES_KEYkey to retrieve from the DataStore of the behaviour the vector of ACLMessage objects that have been received as response.StringALL_RESULT_NOTIFICATIONS_KEYkey to retrieve from the DataStore of the behaviour the vector of ACLMessage objects that have been received as result notifications.protected static StringCHECK_AGAINprotected static StringCHECK_IN_SEQprotected static StringCHECK_SESSIONSprotected static StringDUMMY_FINALprotected static StringHANDLE_AGREEprotected static StringHANDLE_ALL_RESPONSESprotected static StringHANDLE_ALL_RESULT_NOTIFICATIONSprotected static StringHANDLE_FAILUREprotected static StringHANDLE_INFORMprotected static StringHANDLE_NOT_UNDERSTOODprotected static StringHANDLE_OUT_OF_SEQprotected static StringHANDLE_REFUSEprotected StringINITIATION_Kprotected static StringPREPARE_INITIATIONSprotected static StringRECEIVE_REPLYprotected StringREPLY_KStringREPLY_KEYkey to retrieve from the DataStore of the behaviour the last ACLMessage object that has been received (null if the timeout expired).protected MsgReceiverreplyReceiverprotected MessageTemplatereplyTemplateStringREQUEST_KEYkey to retrieve from the DataStore of the behaviour the ACLMessage object passed in the constructor of the class.protected static StringSEND_INITIATIONSprotected Mapsessions-
Fields inherited from class jade.core.behaviours.FSMBehaviour
currentName, lastStates
-
Fields inherited from class jade.core.behaviours.CompositeBehaviour
currentExecuted
-
Fields inherited from class jade.core.behaviours.Behaviour
myAgent, myEvent, NOTIFY_DOWN, NOTIFY_UP, parent, STATE_BLOCKED, STATE_READY, STATE_RUNNING
-
-
Constructor Summary
Constructors Constructor Description AchieveREInitiator(Agent a, ACLMessage msg)Construct anAchieveREInitiatorwith an empty DataStoreAchieveREInitiator(Agent a, ACLMessage msg, DataStore store)Construct anAchieveREInitiatorwith a given DataStore
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description protected voidadjustReplyTemplate(ACLMessage msg)protected booleancheckInSequence(ACLMessage reply)Check whether a reply is in-sequence and update the appropriate Sessionprotected intcheckSessions(ACLMessage reply)Check the status of the sessions after the reception of the last reply or the expiration of the timeoutprotected StringcreateConvId(Vector msgs)Create a new conversation identifier to begin a new interaction.protected jade.proto.Initiator.ProtocolSessiongetSession(ACLMessage msg, int sessionIndex)Return a ProtocolSession object to manage replies to a given initiation messageprotected String[]getToBeReset()Return the states that must be reset before they are visited again.protected voidhandleAgree(ACLMessage agree)This method is called every time anagreemessage is received, which is not out-of-sequence according to the protocol rules.protected voidhandleAllResponses(Vector responses)This method is called when all the responses have been collected or when the timeout is expired.protected voidhandleAllResultNotifications(Vector resultNotifications)This method is called when all the result notification messages have been collected.protected voidhandleFailure(ACLMessage failure)This method is called every time afailuremessage is received, which is not out-of-sequence according to the protocol rules.protected voidhandleInform(ACLMessage inform)This method is called every time ainformmessage is received, which is not out-of-sequence according to the protocol rules.protected voidhandleNotUnderstood(ACLMessage notUnderstood)This method is called every time anot-understoodmessage is received, which is not out-of-sequence according to the protocol rules.protected voidhandleOutOfSequence(ACLMessage msg)This method is called every time a message is received, which is out-of-sequence according to the protocol rules.protected voidhandleRefuse(ACLMessage refuse)This method is called every time arefusemessage is received, which is not out-of-sequence according to the protocol rules.protected voidinitializeDataStore(ACLMessage msg)Initialize the data store.voidonStart()Override the onStart() method to initialize the vectors that will keep all the replies in the data store.protected VectorprepareInitiations(ACLMessage initiation)Specialize (if necessary) the initiation message for each receiverprotected VectorprepareRequests(ACLMessage request)This method must return the vector of ACLMessage objects to be sent.voidregisterHandleAgree(Behaviour b)This method allows to register a user definedBehaviourin the HANDLE_AGREE state.voidregisterHandleAllResponses(Behaviour b)This method allows to register a user definedBehaviourin the HANDLE_ALL_RESPONSES state.voidregisterHandleAllResultNotifications(Behaviour b)This method allows to register a user definedBehaviourin the HANDLE_ALL_RESULT_NOTIFICATIONS state.voidregisterHandleFailure(Behaviour b)This method allows to register a user definedBehaviourin the HANDLE_FAILURE state.voidregisterHandleInform(Behaviour b)This method allows to register a user definedBehaviourin the HANDLE_INFORM state.voidregisterHandleNotUnderstood(Behaviour b)This method allows to register a user definedBehaviourin the HANDLE_NOT_UNDERSTOOD state.voidregisterHandleOutOfSequence(Behaviour b)This method allows to register a user definedBehaviourin the HANDLE_OUT_OF_SEQ state.voidregisterHandleRefuse(Behaviour b)This method allows to register a user definedBehaviourin the HANDLE_REFUSE state.protected voidregisterPrepareInitiations(Behaviour b)Attach a behaviour to thePrepare-initiationsprotocol state.voidregisterPrepareRequests(Behaviour b)This method allows to register a user definedBehaviourin the PREPARE_REQUESTS state.protected voidreinit()reset this behaviourvoidreset()reset this behaviour by putting a null ACLMessage as message to be sentvoidreset(ACLMessage msg)reset this behaviourprotected voidsendInitiations(Vector initiations)Create and initialize the Sessions and sends the initiation messagesvoidsetDataStore(DataStore ds)Override the setDataStore() method to propagate this setting to all children.-
Methods inherited from class jade.core.behaviours.FSMBehaviour
checkTermination, deregisterDefaultTransition, deregisterState, deregisterTransition, forceTransitionTo, getChildren, getCurrent, getLastExitValue, getName, getPrevious, getState, handleInconsistentFSM, handleStateEntered, hasDefaultTransition, onEnd, registerDefaultTransition, registerDefaultTransition, registerFirstState, registerLastState, registerState, registerTransition, registerTransition, resetStates, scheduleFirst, scheduleNext, stringifyTransitionTable
-
Methods inherited from class jade.core.behaviours.SerialBehaviour
handle
-
Methods inherited from class jade.core.behaviours.CompositeBehaviour
action, done, handleBlockEvent, handleRestartEvent, registerAsChild, resetChildren, setAgent
-
Methods inherited from class jade.core.behaviours.Behaviour
actionWrapper, block, block, getAgent, getBehaviourName, getDataStore, getExecutionState, getParent, getRestartCounter, isRunnable, restart, root, setBehaviourName, setExecutionState
-
-
-
-
Field Detail
-
REQUEST_KEY
public final String REQUEST_KEY
key to retrieve from the DataStore of the behaviour the ACLMessage object passed in the constructor of the class.
-
ALL_REQUESTS_KEY
public final String ALL_REQUESTS_KEY
key to retrieve from the DataStore of the behaviour the vector of ACLMessage objects that have been sent.
-
REPLY_KEY
public final String REPLY_KEY
key to retrieve from the DataStore of the behaviour the last ACLMessage object that has been received (null if the timeout expired).
-
ALL_RESPONSES_KEY
public final String ALL_RESPONSES_KEY
key to retrieve from the DataStore of the behaviour the vector of ACLMessage objects that have been received as response.
-
ALL_RESULT_NOTIFICATIONS_KEY
public final String ALL_RESULT_NOTIFICATIONS_KEY
key to retrieve from the DataStore of the behaviour the vector of ACLMessage objects that have been received as result notifications.
-
HANDLE_AGREE
protected static final String HANDLE_AGREE
- See Also:
- Constant Field Values
-
HANDLE_REFUSE
protected static final String HANDLE_REFUSE
- See Also:
- Constant Field Values
-
HANDLE_INFORM
protected static final String HANDLE_INFORM
- See Also:
- Constant Field Values
-
HANDLE_ALL_RESPONSES
protected static final String HANDLE_ALL_RESPONSES
- See Also:
- Constant Field Values
-
HANDLE_ALL_RESULT_NOTIFICATIONS
protected static final String HANDLE_ALL_RESULT_NOTIFICATIONS
- See Also:
- Constant Field Values
-
CHECK_AGAIN
protected static final String CHECK_AGAIN
- See Also:
- Constant Field Values
-
INITIATION_K
protected final String INITIATION_K
-
ALL_INITIATIONS_K
protected final String ALL_INITIATIONS_K
-
REPLY_K
protected final String REPLY_K
-
PREPARE_INITIATIONS
protected static final String PREPARE_INITIATIONS
- See Also:
- Constant Field Values
-
SEND_INITIATIONS
protected static final String SEND_INITIATIONS
- See Also:
- Constant Field Values
-
RECEIVE_REPLY
protected static final String RECEIVE_REPLY
- See Also:
- Constant Field Values
-
CHECK_IN_SEQ
protected static final String CHECK_IN_SEQ
- See Also:
- Constant Field Values
-
HANDLE_NOT_UNDERSTOOD
protected static final String HANDLE_NOT_UNDERSTOOD
- See Also:
- Constant Field Values
-
HANDLE_FAILURE
protected static final String HANDLE_FAILURE
- See Also:
- Constant Field Values
-
HANDLE_OUT_OF_SEQ
protected static final String HANDLE_OUT_OF_SEQ
- See Also:
- Constant Field Values
-
CHECK_SESSIONS
protected static final String CHECK_SESSIONS
- See Also:
- Constant Field Values
-
DUMMY_FINAL
protected static final String DUMMY_FINAL
- See Also:
- Constant Field Values
-
sessions
protected Map sessions
-
replyReceiver
protected MsgReceiver replyReceiver
-
replyTemplate
protected MessageTemplate replyTemplate
-
-
Constructor Detail
-
AchieveREInitiator
public AchieveREInitiator(Agent a, ACLMessage msg)
Construct anAchieveREInitiatorwith an empty DataStore
-
AchieveREInitiator
public AchieveREInitiator(Agent a, ACLMessage msg, DataStore store)
Construct anAchieveREInitiatorwith a given DataStore- Parameters:
a- The agent performing the protocolmsg- The message that must be used to initiate the protocol. Notice that the default implementation of theprepareRequest()method returns an array composed of only this message. The values of the slotreply-withis ignored and a different value is assigned automatically by this class for each receiver.store- TheDataStorethat will be used by thisAchieveREInitiator
-
-
Method Detail
-
prepareInitiations
protected Vector prepareInitiations(ACLMessage initiation)
Specialize (if necessary) the initiation message for each receiver
-
checkInSequence
protected boolean checkInSequence(ACLMessage reply)
Check whether a reply is in-sequence and update the appropriate Session
-
checkSessions
protected int checkSessions(ACLMessage reply)
Check the status of the sessions after the reception of the last reply or the expiration of the timeout
-
getToBeReset
protected String[] getToBeReset()
Return the states that must be reset before they are visited again. Note that resetting a state before visiting it again is required only if - The onStart() method is redefined - The state has an "internal memory"
-
prepareRequests
protected Vector prepareRequests(ACLMessage request)
This method must return the vector of ACLMessage objects to be sent. It is called in the first state of this protocol. This default implementation just returns the ACLMessage object passed in the constructor. Programmers might prefer to override this method in order to return a vector of objects for 1:N conversations or also to prepare the messages during the execution of the behaviour.- Parameters:
request- the ACLMessage object passed in the constructor- Returns:
- a Vector of ACLMessage objects.
The values of the slot
reply-withis ignored and a different value is assigned automatically by this class for each receiver.
-
handleAgree
protected void handleAgree(ACLMessage agree)
This method is called every time anagreemessage is received, which is not out-of-sequence according to the protocol rules. This default implementation does nothing; programmers might wish to override the method in case they need to react to this event.- Parameters:
agree- the received agree message
-
handleRefuse
protected void handleRefuse(ACLMessage refuse)
This method is called every time arefusemessage is received, which is not out-of-sequence according to the protocol rules. This default implementation does nothing; programmers might wish to override the method in case they need to react to this event.- Parameters:
refuse- the received refuse message
-
handleInform
protected void handleInform(ACLMessage inform)
This method is called every time ainformmessage is received, which is not out-of-sequence according to the protocol rules. This default implementation does nothing; programmers might wish to override the method in case they need to react to this event.- Parameters:
inform- the received inform message
-
handleAllResponses
protected void handleAllResponses(Vector responses)
This method is called when all the responses have been collected or when the timeout is expired. The used timeout is the minimum value of the slotreplyByof all the sent messages. By response message we intend here all theagree, not-understood, refusereceived messages, which are not not out-of-sequence according to the protocol rules. This default implementation does nothing; programmers might wish to override the method in case they need to react to this event by analysing all the messages in just one call.- Parameters:
responses- the Vector of ACLMessage objects that have been received
-
handleAllResultNotifications
protected void handleAllResultNotifications(Vector resultNotifications)
This method is called when all the result notification messages have been collected. By result notification message we intend here all theinform, failurereceived messages, which are not not out-of-sequence according to the protocol rules. This default implementation does nothing; programmers might wish to override the method in case they need to react to this event by analysing all the messages in just one call.- Parameters:
resultNodifications- the Vector of ACLMessage object received
-
registerPrepareRequests
public void registerPrepareRequests(Behaviour b)
This method allows to register a user definedBehaviourin the PREPARE_REQUESTS state. This behaviour would override the homonymous method. This method also set the data store of the registeredBehaviourto the DataStore of this current behaviour. It is responsibility of the registered behaviour to put the Vector of ACLMessage objects to be sent into the datastore at theALL_REQUESTS_KEYkey. The values of the slotreply-withis ignored and a different value is assigned automatically by this class for each receiver.- Parameters:
b- the Behaviour that will handle this state
-
registerHandleAgree
public void registerHandleAgree(Behaviour b)
This method allows to register a user definedBehaviourin the HANDLE_AGREE state. This behaviour would override the homonymous method. This method also set the data store of the registeredBehaviourto the DataStore of this current behaviour. The registered behaviour can retrieve theagreeACLMessage object received from the datastore at theREPLY_KEYkey.- Parameters:
b- the Behaviour that will handle this state
-
registerHandleInform
public void registerHandleInform(Behaviour b)
This method allows to register a user definedBehaviourin the HANDLE_INFORM state. This behaviour would override the homonymous method. This method also set the data store of the registeredBehaviourto the DataStore of this current behaviour. The registered behaviour can retrieve theinformACLMessage object received from the datastore at theREPLY_KEYkey.- Parameters:
b- the Behaviour that will handle this state
-
registerHandleRefuse
public void registerHandleRefuse(Behaviour b)
This method allows to register a user definedBehaviourin the HANDLE_REFUSE state. This behaviour would override the homonymous method. This method also set the data store of the registeredBehaviourto the DataStore of this current behaviour. The registered behaviour can retrieve therefuseACLMessage object received from the datastore at theREPLY_KEYkey.- Parameters:
b- the Behaviour that will handle this state
-
registerHandleAllResponses
public void registerHandleAllResponses(Behaviour b)
This method allows to register a user definedBehaviourin the HANDLE_ALL_RESPONSES state. This behaviour would override the homonymous method. This method also set the data store of the registeredBehaviourto the DataStore of this current behaviour. The registered behaviour can retrieve the vector of ACLMessage objects, received as a response, from the datastore at theALL_RESPONSES_KEYkey.- Parameters:
b- the Behaviour that will handle this state
-
registerHandleAllResultNotifications
public void registerHandleAllResultNotifications(Behaviour b)
This method allows to register a user definedBehaviourin the HANDLE_ALL_RESULT_NOTIFICATIONS state. This behaviour would override the homonymous method. This method also set the data store of the registeredBehaviourto the DataStore of this current behaviour. The registered behaviour can retrieve the Vector of ACLMessage objects, received as a result notification, from the datastore at theALL_RESULT_NOTIFICATIONS_KEYkey.- Parameters:
b- the Behaviour that will handle this state
-
reinit
protected void reinit()
reset this behaviour
-
initializeDataStore
protected void initializeDataStore(ACLMessage msg)
Initialize the data store.
-
getSession
protected jade.proto.Initiator.ProtocolSession getSession(ACLMessage msg, int sessionIndex)
Return a ProtocolSession object to manage replies to a given initiation message
-
sendInitiations
protected void sendInitiations(Vector initiations)
Create and initialize the Sessions and sends the initiation messages
-
handleNotUnderstood
protected void handleNotUnderstood(ACLMessage notUnderstood)
This method is called every time anot-understoodmessage is received, which is not out-of-sequence according to the protocol rules. This default implementation does nothing; programmers might wish to override the method in case they need to react to this event.- Parameters:
notUnderstood- the received not-understood message
-
handleFailure
protected void handleFailure(ACLMessage failure)
This method is called every time afailuremessage is received, which is not out-of-sequence according to the protocol rules. This default implementation does nothing; programmers might wish to override the method in case they need to react to this event.- Parameters:
failure- the received failure message
-
handleOutOfSequence
protected void handleOutOfSequence(ACLMessage msg)
This method is called every time a message is received, which is out-of-sequence according to the protocol rules. This default implementation does nothing; programmers might wish to override the method in case they need to react to this event.- Parameters:
msg- the received message
-
registerPrepareInitiations
protected void registerPrepareInitiations(Behaviour b)
Attach a behaviour to thePrepare-initiationsprotocol state.- Parameters:
b- The behaviour object to be executed in thePrepare-initiationsstate.
-
registerHandleNotUnderstood
public void registerHandleNotUnderstood(Behaviour b)
This method allows to register a user definedBehaviourin the HANDLE_NOT_UNDERSTOOD state. This behaviour would override the homonymous method. This method also set the data store of the registeredBehaviourto the DataStore of this current behaviour. The registered behaviour can retrieve thenot-understoodACLMessage object received from the datastore at theREPLY_KEYkey.- Parameters:
b- the Behaviour that will handle this state
-
registerHandleFailure
public void registerHandleFailure(Behaviour b)
This method allows to register a user definedBehaviourin the HANDLE_FAILURE state. This behaviour would override the homonymous method. This method also set the data store of the registeredBehaviourto the DataStore of this current behaviour. The registered behaviour can retrieve thefailureACLMessage object received from the datastore at theREPLY_KEYkey.- Parameters:
b- the Behaviour that will handle this state
-
registerHandleOutOfSequence
public void registerHandleOutOfSequence(Behaviour b)
This method allows to register a user definedBehaviourin the HANDLE_OUT_OF_SEQ state. This behaviour would override the homonymous method. This method also set the data store of the registeredBehaviourto the DataStore of this current behaviour. The registered behaviour can retrieve theout of sequenceACLMessage object received from the datastore at theREPLY_KEYkey.- Parameters:
b- the Behaviour that will handle this state
-
reset
public void reset()
reset this behaviour by putting a null ACLMessage as message to be sent- Overrides:
resetin classFSMBehaviour
-
reset
public void reset(ACLMessage msg)
reset this behaviour- Parameters:
msg- is the ACLMessage to be sent
-
onStart
public void onStart()
Override the onStart() method to initialize the vectors that will keep all the replies in the data store.
-
setDataStore
public void setDataStore(DataStore ds)
Override the setDataStore() method to propagate this setting to all children.- Overrides:
setDataStorein classBehaviour- Parameters:
ds- theDataStorethat thisBehaviourwill use as its private data store
-
createConvId
protected String createConvId(Vector msgs)
Create a new conversation identifier to begin a new interaction.- Parameters:
msgs- A vector of ACL messages. If the first one has a non-empty:conversation-idslot, its value is used, else a new conversation identifier is generated.
-
adjustReplyTemplate
protected void adjustReplyTemplate(ACLMessage msg)
-
-