Skip to content

Commit

Permalink
up packages name
Browse files Browse the repository at this point in the history
  • Loading branch information
jomifred committed Oct 21, 2024
1 parent 94a5da5 commit e888aec
Show file tree
Hide file tree
Showing 9 changed files with 36 additions and 36 deletions.
24 changes: 12 additions & 12 deletions doc/tutorials/coordination/readme.adoc
Original file line number Diff line number Diff line change
Expand Up @@ -54,9 +54,9 @@ mas auction_ag {
--------------------------------------------------------------------------------
+auction(service, D)[source(A)] <- .send(A,tell,bid(D, math.random * 100 + 10)).
{ include("$jacamoJar/templates/common-cartago.asl") }
{ include("$jacamoJar/templates/common-moise.asl") }
{ include("$jacamoJar/templates/org-obedient.asl") }
{ include("$jacamo/templates/common-cartago.asl") }
{ include("$jacamo/templates/common-moise.asl") }
{ include("$moise/templates/org-obedient.asl") }
--------------------------------------------------------------------------------

By this plan, each time the participant gets an event corresponding to
Expand Down Expand Up @@ -287,9 +287,9 @@ mas auction_env {
?best_bid(V);
.print("Winner for ", S, " is ",W," with ", V).
{ include("$jacamoJar/templates/common-cartago.asl") }
{ include("$jacamoJar/templates/common-moise.asl") }
{ include("$jacamoJar/templates/org-obedient.asl") }
{ include("$jacamo/templates/common-cartago.asl") }
{ include("$jacamo/templates/common-moise.asl") }
{ include("$moise/templates/org-obedient.asl") }
------------------------------------------------------

and the `participant.asl` is:
Expand All @@ -300,9 +300,9 @@ and the `participant.asl` is:
+winner(W) : .my_name(W) <- .print("I Won!").
{ include("$jacamoJar/templates/common-cartago.asl") }
{ include("$jacamoJar/templates/common-moise.asl") }
{ include("$jacamoJar/templates/org-obedient.asl") }
{ include("$jacamo/templates/common-cartago.asl") }
{ include("$jacamo/templates/common-moise.asl") }
{ include("$moise/templates/org-obedient.asl") }
--------------------------------------------------------

Notice that operations and observable properties of the
Expand Down Expand Up @@ -497,9 +497,9 @@ changed to achieve organisational goals:
+winner(W) : .my_name(W) <- .print("I Won!").
{ include("$jacamoJar/templates/common-cartago.asl") }
{ include("$jacamoJar/templates/common-moise.asl") }
{ include("$jacamoJar/templates/org-obedient.asl") }
{ include("$jacamo/templates/common-cartago.asl") }
{ include("$jacamo/templates/common-moise.asl") }
{ include("$moise/templates/org-obedient.asl") }
------

*4.* The execution output is:
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -52,6 +52,6 @@
// TODO: implement a block list artifact
admCommand("goalSatisfied(bid)")[artifact_id(AId)]. // go on in the scheme....

{ include("$jacamoJar/templates/common-cartago.asl") }
{ include("$jacamoJar/templates/common-moise.asl") }
{ include("$jacamoJar/templates/org-obedient.asl") }
{ include("$jacamo/templates/common-cartago.asl") }
{ include("$jacamo/templates/common-moise.asl") }
{ include("$moise/templates/org-obedient.asl") }
6 changes: 3 additions & 3 deletions doc/tutorials/coordination/solutions/exercise3a.asl.txt
Original file line number Diff line number Diff line change
Expand Up @@ -27,6 +27,6 @@

+winner(W) : .my_name(W) <- .print("I Won!").

{ include("$jacamoJar/templates/common-cartago.asl") }
{ include("$jacamoJar/templates/common-moise.asl") }
{ include("$jacamoJar/templates/org-obedient.asl") }
{ include("$jacamo/templates/common-cartago.asl") }
{ include("$jacamo/templates/common-moise.asl") }
{ include("$moise/templates/org-obedient.asl") }
6 changes: 3 additions & 3 deletions doc/tutorials/coordination/solutions/exercise3b.asl.txt
Original file line number Diff line number Diff line change
Expand Up @@ -34,6 +34,6 @@
// so the second agent trying to commit to this role fails.


{ include("$jacamoJar/templates/common-cartago.asl") }
{ include("$jacamoJar/templates/common-moise.asl") }
{ include("$jacamoJar/templates/org-obedient.asl") }
{ include("$jacamo/templates/common-cartago.asl") }
{ include("$jacamo/templates/common-moise.asl") }
{ include("$moise/templates/org-obedient.asl") }
6 changes: 3 additions & 3 deletions doc/tutorials/coordination/solutions/participant.asl.txt
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
+auction(service, D)[source(A)] <- .broadcast(tell,bid(D, math.random * 100 + 10)).

{ include("$jacamoJar/templates/common-cartago.asl") }
{ include("$jacamoJar/templates/common-moise.asl") }
{ include("$jacamoJar/templates/org-obedient.asl") }
{ include("$jacamo/templates/common-cartago.asl") }
{ include("$jacamo/templates/common-moise.asl") }
{ include("$moise/templates/org-obedient.asl") }
Original file line number Diff line number Diff line change
Expand Up @@ -13,6 +13,6 @@
.print("Winner for ", Service, " is ",W," with ", V, ". Options=",L);
.broadcast(tell, winner(Service,W)).

{ include("$jacamoJar/templates/common-cartago.asl") }
{ include("$jacamoJar/templates/common-moise.asl") }
{ include("$jacamoJar/templates/org-obedient.asl") }
{ include("$jacamo/templates/common-cartago.asl") }
{ include("$jacamo/templates/common-moise.asl") }
{ include("$moise/templates/org-obedient.asl") }
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
+bid(S,P) <- .wait(1000); .broadcast(tell,bid(S, P*0.9)); .print("Bid ",P*0.9, " for ",S).

{ include("$jacamoJar/templates/common-cartago.asl") }
{ include("$jacamoJar/templates/common-moise.asl") }
{ include("$jacamoJar/templates/org-obedient.asl") }
{ include("$jacamo/templates/common-cartago.asl") }
{ include("$jacamo/templates/common-moise.asl") }
{ include("$moise/templates/org-obedient.asl") }
Original file line number Diff line number Diff line change
Expand Up @@ -7,6 +7,6 @@
.broadcast(tell,bid(S, MV*0.9));
.print("Bid ",MV*0.9, " for ",S).

{ include("$jacamoJar/templates/common-cartago.asl") }
{ include("$jacamoJar/templates/common-moise.asl") }
{ include("$jacamoJar/templates/org-obedient.asl") }
{ include("$jacamo/templates/common-cartago.asl") }
{ include("$jacamo/templates/common-moise.asl") }
{ include("$moise/templates/org-obedient.asl") }
6 changes: 3 additions & 3 deletions doc/tutorials/hello-world/solutions/e1a.txt
Original file line number Diff line number Diff line change
Expand Up @@ -7,6 +7,6 @@ msg(us,"Good morning").

+!start : country(C) & msg(C,M) <- .print(M).

{ include("$jacamoJar/templates/common-cartago.asl") }
{ include("$jacamoJar/templates/common-moise.asl") }
{ include("$jacamoJar/templates/org-obedient.asl") }
{ include("$jacamo/templates/common-cartago.asl") }
{ include("$jacamo/templates/common-moise.asl") }
{ include("$moise/templates/org-obedient.asl") }

0 comments on commit e888aec

Please sign in to comment.