Package it.unito.di.logic.commit

Examples of it.unito.di.logic.commit.Commitment


     proposal.setRoleReceiver(initiator);
     proposal.setPerformative(ACLMessage.PROPOSE);
    send(proposal);
   
    try {
      createCommitment(new Commitment(participant, new RoleId(INITIATOR_ROLE, RoleId.GENERIC_ROLE), "accept", new CompositeExpression(
          LogicalOperatorType.OR, new Fact("done"), new Fact("failure"))));
      assertFact(new Fact("propose", participant, prop));
      logger.trace("OPERATION PERFORMED: PROPOSE by "+participant);
    } catch (MissingOperandException e) {
      // TODO Auto-generated catch block
View Full Code Here


public class InitiatorRequirements extends Type {
 
  public InitiatorRequirements() throws MissingOperandException, WrongOperandsNumberException {
    super(new Commitment[]{
      new Commitment(CNPArtifactTimerMaxPart.INITIATOR_ROLE, CNPArtifactTimerMaxPart.PARTICIPANT_ROLE, "propose", new CompositeExpression(
          LogicalOperatorType.OR, new Fact("accept"), new Fact("reject")))
    });
 
View Full Code Here

public class TypeInitiator extends Type {

  public TypeInitiator() throws MissingOperandException, WrongOperandsNumberException {
   
    super(new Commitment[]
        {new Commitment(CNPArtifactTimerMaxPart.INITIATOR_ROLE, CNPArtifactTimerMaxPart.PARTICIPANT_ROLE, "propose", new CompositeExpression(
          LogicalOperatorType.OR, new Fact("accept"), new Fact("reject")))
        });
  }
View Full Code Here

public class TypeOneParticipant extends Type {

  public TypeOneParticipant() throws MissingOperandException, WrongOperandsNumberException {
 
    super(new Commitment[]{
        new Commitment(CNPArtifactTimerMaxPart.PARTICIPANT_ROLE, CNPArtifactTimerMaxPart.INITIATOR_ROLE, "accept", new CompositeExpression(
              LogicalOperatorType.OR, new Fact("done"), new Fact("failure")))
    });
  }
View Full Code Here

public class ParticipantRequirements extends Type {
 
  public ParticipantRequirements() throws MissingOperandException, WrongOperandsNumberException {     
    super(new Commitment[]{
        new Commitment(CNPArtifact.PARTICIPANT_ROLE, CNPArtifact.INITIATOR_ROLE, "accept", new CompositeExpression(
              LogicalOperatorType.OR, new Fact("done"), new Fact("failure")))
        });
   
  }
View Full Code Here

 
  @Override
  public void handleEvent(SocialEvent e, Object... args) {
    //logger.debug("Participant Handle by: "+participant.getRoleId()+"\n"+e);
    if (e.getElementChanged().getElType() == SocialStateElementType.COMMITMENT) {
      Commitment c = (Commitment) e.getElementChanged();
      if (c.getLifeCycleStatus() == LifeCycleState.CONDITIONAL) {
        try {
          if (c.getCreditor().equals(participant.getRoleId())
              && c.getDebtor().equals(
                  new RoleId(
                      CNPArtifactTimerMaxPart.INITIATOR_ROLE,
                      RoleId.GENERIC_ROLE))
              && c.getConsequent().equals(
                  new CompositeExpression(
                      LogicalOperatorType.OR,
                      new Fact("accept"), new Fact(
                          "reject")))) {
            myAgent.addBehaviour(commitToDoneOrFailureIfAccept());
          }
        } catch (MissingOperandException
            | WrongOperandsNumberException e1) {
          // TODO Auto-generated catch block
          e1.printStackTrace();
        }
      }

      else if (c.getLifeCycleStatus() == LifeCycleState.DETACHED) {
        try {
          if (c.getDebtor().equals(participant.getRoleId())
              && c.getCreditor().equals(
                  new RoleId(
                      CNPArtifactTimerMaxPart.INITIATOR_ROLE,
                      RoleId.GENERIC_ROLE))
              && c.getConsequent().equals(
                  new CompositeExpression(
                      LogicalOperatorType.OR,
                      new Fact("done"), new Fact(
                          "failure")))) {
            myAgent.addBehaviour(fulfilledCommitToAcceptOrReject());
View Full Code Here

      // poiche siamo in un ambiente distribuito. Quindi ci vanno meccanismi di matching sullo stato sociale:
      // la release ad es. viene fatta creando un nuovo commitment, quello che si vuole porre in stato released.
     
      // togliere new commitment e mettere i singoli paramtri di costruzione
     
      createCommitment(new Commitment(initiator, dest, "propose", new CompositeExpression(
          LogicalOperatorType.OR, new Fact("accept"), new Fact("reject"))));
      assertFact(new Fact("cfp", initiator, task));
      logger.trace("OPERATION PERFORMED: CFP by "+initiator);
    } catch (MissingOperandException e) {
      // TODO Auto-generated catch block
View Full Code Here

     reject.setRoleReceiver(dest);
     reject.setPerformative(ACLMessage.REJECT_PROPOSAL);
    send(reject);
   
    try {
      releaseCommitment(new Commitment(proposal.getRoleId(), initiator, "accept", new CompositeExpression(
          LogicalOperatorType.OR, new Fact("done"), new Fact("failure"))));
      logger.trace("OPERATION PERFORMED: REJECT by "+initiator);
    } catch (MissingOperandException e) {
      // TODO Auto-generated catch block
      e.printStackTrace();
View Full Code Here

     proposal.setRoleReceiver(initiator);
     proposal.setPerformative(ACLMessage.PROPOSE);
    send(proposal);
   
    try {
      createCommitment(new Commitment(participant, new RoleId(INITIATOR_ROLE, RoleId.GENERIC_ROLE), "accept", new CompositeExpression(
          LogicalOperatorType.OR, new Fact("done"), new Fact("failure"))));
      assertFact(new Fact("propose", participant, prop));
      logger.trace("OPERATION PERFORMED: PROPOSE by "+participant);
    } catch (MissingOperandException e) {
      // TODO Auto-generated catch block
View Full Code Here

    refusal.setRoleReceiver(initiator);
    refusal.setPerformative(ACLMessage.REFUSE);
    send(refusal);
   
    try {
      releaseCommitment(new Commitment(initiator, participant, "propose", new CompositeExpression(
          LogicalOperatorType.OR, new Fact("accept"), new Fact("reject"))));
      assertFact(new Fact("refuse", participant));
      logger.trace("OPERATION PERFORMED: REFUSE by "+participant);
    } catch (MissingOperandException e) {
      // TODO Auto-generated catch block
View Full Code Here

TOP

Related Classes of it.unito.di.logic.commit.Commitment

Copyright © 2018 www.massapicom. All rights reserved.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.