-
objectiser made 1 file-release changes.
2009-12-17 09:36:01 UTC in RiftSaw
-
This is the same behaviour that I was seeing.
2009-12-15 08:55:57 UTC in Pi Calculus for SOA
-
The TravelAgencyValid.scn and TravelAgencyValid1.scn both look like they may be bugs.
Just to make sure I am seeing what you see - in both cases, the response from the Airline, in the finalizeHandler (either confirm or cancel) shows red - but all other nodes are green.
Could you raise a bug request attaching the cdm and scn files.
Thanks.
2009-12-14 16:20:29 UTC in Pi Calculus for SOA
-
Hi
I'll comment on each scenario separately. Firstly on TravelAgencyInvalid.scn.
The issue with the TravelAgencyInvalid scenario is that the choreography raises an exception on the SendTicketInvalid (in both the sender and receiver), which are the TravelAgency and Airline participants.
However this exception is not raised in the Customer, and so it does not know that the other...
2009-12-14 16:13:50 UTC in Pi Calculus for SOA
-
objectiser committed revision 1273 to the Pi Calculus for Scribble SVN repository, changing 1 files.
2009-12-09 21:32:12 UTC in Pi Calculus for Scribble
-
objectiser committed revision 189 to the Pi Calculus for SOA SVN repository, changing 16 files.
2009-12-05 10:33:24 UTC in Pi Calculus for SOA
-
objectiser committed revision 1272 to the Pi Calculus for Scribble SVN repository, changing 34 files.
2009-12-01 21:41:34 UTC in Pi Calculus for Scribble
-
Hi
Sorry for the long delay.
The first problem is that the choreography has highlighted an issue/bug with the simulation, although I think it is actually a general issue with choreography. To explain:
The 'while' loop has a choice with three paths - the first path has a silent action, the other two have interactions initiated by the Buyer.
As there are no conditions defined to...
2009-11-30 11:01:51 UTC in Pi Calculus for SOA
-
objectiser committed revision 188 to the Pi Calculus for SOA SVN repository, changing 1 files.
2009-11-26 22:29:26 UTC in Pi Calculus for SOA
-
The first place to look is: https://sourceforge.net/apps/trac/pi4soa/wiki/doc.developer.runtime.monitoring
This section explains how to embed the monitor into a java application. You will also need to look at other section, e.g. https://sourceforge.net/apps/trac/pi4soa/wiki/doc.developer.runtime.descgen to create the endpoint (service) description.
2009-11-25 19:13:33 UTC in Pi Calculus for SOA
