pi4soa-model-analysis Mailing List for Pi Calculus for SOA
Status: Beta
Brought to you by:
objectiser
Menu
▾
▴
pi4soa-model-analysis — Model analysis discussions
You can subscribe to this list here.
| 2005 |
Jan
|
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
|
Aug
|
Sep
|
Oct
|
Nov
|
Dec
(1) |
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 2006 |
Jan
|
Feb
|
Mar
(5) |
Apr
|
May
|
Jun
|
Jul
|
Aug
|
Sep
|
Oct
|
Nov
|
Dec
|
| 2008 |
Jan
|
Feb
|
Mar
|
Apr
|
May
(2) |
Jun
|
Jul
|
Aug
|
Sep
|
Oct
|
Nov
|
Dec
|
|
From: Gary B. <ga...@pi...> - 2008-05-28 08:06:29
|
If you want to try the BPEL or Java generation, it is best to download the relevant examples for those tasks. If you enable BPEL or Java generation on a choreography, it will perform additional validation specific to the selected target, to ensure the choreography can be generated successfully. Therefore not all choreographies will be able to generate to those targets, such as the choreography you have tried. The example you downloaded was purely intended to provide an example of the choreography description. You can fix the errors if you really want to try generating Java or BPEL from it. BTW - in future, could you use the pi4soa help forum for these types of questions - we are not currently using the mailing list, but it is intended to be used for discussions regarding model analysis. Regards Gary On Wed, May 28, 2008 at 8:12 AM, Dong Zhang <don...@ad...> wrote: > Hi, > > I am a beginner with pi4soa wscdl plugin. > I installed the pi4soa example downloaded from > http://pi4soa.wiki.sourceforge.net/space/showimage/pi4soa-examples.zip > and installed in my eclipse. > I adjusted the properties for that project and by right click > ->choreography > ->generate->generated WSDL, wsdl files for the BuyerSellerCDL.cdm were > generated. . But I can't use it to generate java files nor BPEL as the > program > tells me: Choreography Description has errors, so cannot be generated." > The following are error messages: > > Severity and Description Path Resource Location > Creation Time Id > [Java] Behavior 'BuyerBehavior' must define an interface for use in > locating a > relevant service Examples/examples/primer BuyerSellerCDL.cdm > Unknown > 1211955339964 633 > [Java] Behavior 'BuyerBehavior' must define an interface for use in > locating a > relevant service SimpleProj/primer BuyerSellerCDL.cdm > Unknown 1211954694483 189 > [Java] Behavior 'CreditCheckerBehavior' must define an interface for use in > locating a relevant service Examples/examples/primer > BuyerSellerCDL.cdm > Unknown 1211955339966 634 > [Java] Behavior 'CreditCheckerBehavior' must define an interface for use in > locating a relevant service SimpleProj/primer BuyerSellerCDL.cdm > Unknown > 1211954694484 190 > [Java] Behavior 'SellerBehavior' must define an interface for use in > locating a > relevant service Examples/examples/primer BuyerSellerCDL.cdm > Unknown > 1211955339966 635 > [Java] Behavior 'SellerBehavior' must define an interface for use in > locating a > relevant service SimpleProj/primer BuyerSellerCDL.cdm > Unknown 1211954694485 191 > [Java] Behavior 'ShipperBehavior' must define an interface for use in > locating a > relevant service Examples/examples/primer BuyerSellerCDL.cdm > Unknown > 1211955339967 636 > [Java] Behavior 'ShipperBehavior' must define an interface for use in > locating a > relevant service SimpleProj/primer BuyerSellerCDL.cdm > Unknown 1211954694486 192 > [Java] Choice has non-observable path within participant 'Buyer' and > therefore > must receive a subsequent interaction to indicate the end of the choice > Examples/examples/primer BuyerSellerCDL.cdm Unknown > 1211955339972 645 > [Java] Choice has non-observable path within participant 'Buyer' and > therefore > must receive a subsequent interaction to indicate the end of the choice > SimpleProj/primer BuyerSellerCDL.cdm Unknown 1211954694494 201 > [Java] Participant type 'Buyer' predicate extension requires the 'name' > and/or > 'description' fields to be specified Examples/examples/primer > BuyerSellerCDL.cdm Unknown 1211955339971 643 > [Java] Participant type 'Buyer' predicate extension requires the 'name' > and/or > 'description' fields to be specified Examples/examples/primer > BuyerSellerCDL.cdm Unknown 1211955339971 644 > [Java] Participant type 'Buyer' predicate extension requires the 'name' > and/or > 'description' fields to be specified SimpleProj/primer > BuyerSellerCDL.cdm > Unknown 1211954694492 199 > [Java] Participant type 'Buyer' predicate extension requires the 'name' > and/or > 'description' fields to be specified SimpleProj/primer > BuyerSellerCDL.cdm > Unknown 1211954694493 200 > [Java] Participant type 'CreditChecker' predicate extension requires the > 'name' > and/or 'description' fields to be specified Examples/examples/primer > BuyerSellerCDL.cdm Unknown 1211955339982 656 > [Java] Participant type 'CreditChecker' predicate extension requires the > 'name' > and/or 'description' fields to be specified SimpleProj/primer > BuyerSellerCDL.cdm Unknown 1211954694511 212 > [WS-BPEL] 'while' re-evaluate condition must be 'true()' > Examples/examples/primer BuyerSellerCDL.cdm Unknown > 1211955339998 681 > [WS-BPEL] 'while' re-evaluate condition must be 'true()' > SimpleProj/primer > BuyerSellerCDL.cdm Unknown 1211954694541 237 > [WS-BPEL] A unique 'description' is required to maintain an association > between > the Choreography Description and the generated WS-BPEL > Examples/examples/primer BuyerSellerCDL.cdm Unknown > 1211955339999 682 > [WS-BPEL] A unique 'description' is required to maintain an association > between > the Choreography Description and the generated WS-BPEL > Examples/examples/primer BuyerSellerCDL.cdm Unknown > 1211955340000 683 > [WS-BPEL] A unique 'description' is required to maintain an association > between > the Choreography Description and the generated WS-BPEL > Examples/examples/primer BuyerSellerCDL.cdm Unknown > 1211955340001 684 > [WS-BPEL] A unique 'description' is required to maintain an association > between > the Choreography Description and the generated WS-BPEL SimpleProj/primer > BuyerSellerCDL.cdm Unknown 1211954694541 238 > [WS-BPEL] A unique 'description' is required to maintain an association > between > the Choreography Description and the generated WS-BPEL SimpleProj/primer > BuyerSellerCDL.cdm Unknown 1211954694542 239 > [WS-BPEL] A unique 'description' is required to maintain an association > between > the Choreography Description and the generated WS-BPEL SimpleProj/primer > BuyerSellerCDL.cdm Unknown 1211954694543 240 > Reference 'Activities' must have at least 1 Activity instance associated > with it Examples/examples My.cdm Unknown 1211872474113 5 > Reference 'Reference Token' must be specified Examples/examples > My.cdm > Unknown 1211872474110 3 > Reference 'Role Type' must be specified Examples/examples My.cdm > Unknown > 1211872474112 4 > [Java] Activity within participant type 'Buyer' does not have a required > extension point - Java generation must be performed > Examples/examples/primer > BuyerSellerCDL.cdm Unknown 1211955339973 646 > [Java] Activity within participant type 'Buyer' does not have a required > extension point - Java generation must be performed > Examples/examples/primer > BuyerSellerCDL.cdm Unknown 1211955339973 647 > [Java] Activity within participant type 'Buyer' does not have a required > extension point - Java generation must be performed > Examples/examples/primer > BuyerSellerCDL.cdm Unknown 1211955339974 648 > [Java] Activity within participant type 'Buyer' does not have a required > extension point - Java generation must be performed > Examples/examples/primer > BuyerSellerCDL.cdm Unknown 1211955339974 649 > [Java] Activity within participant type 'Buyer' does not have a required > extension point - Java generation must be performed > Examples/examples/primer > BuyerSellerCDL.cdm Unknown 1211955339975 650 > [Java] Activity within participant type 'Buyer' does not have a required > extension point - Java generation must be performed > Examples/examples/primer > BuyerSellerCDL.cdm Unknown 1211955339975 651 > [Java] Activity within participant type 'Buyer' does not have a required > extension point - Java generation must be performed > Examples/examples/primer > BuyerSellerCDL.cdm Unknown 1211955339976 652 > [Java] Activity within participant type 'Buyer' does not have a required > extension point - Java generation must be performed > Examples/examples/primer > BuyerSellerCDL.cdm Unknown 1211955339981 653 > [Java] Activity within participant type 'Buyer' does not have a required > extension point - Java generation must be performed > Examples/examples/primer > BuyerSellerCDL.cdm Unknown 1211955339981 654 > [Java] Activity within participant type 'Buyer' does not have a required > extension point - Java generation must be performed > Examples/examples/primer > BuyerSellerCDL.cdm Unknown 1211955339982 655 > [Java] Activity within participant type 'Buyer' does not have a required > extension point - Java generation must be performed > Examples/examples/scenarios/simplerfq simplerfq.cdm Unknown > 1211949863063 11 > [Java] Activity within participant type 'Buyer' does not have a required > extension point - Java generation must be performed > Examples/examples/scenarios/simplerfq simplerfq.cdm Unknown > 1211949863066 12 > [Java] Activity within participant type 'Buyer' does not have a required > extension point - Java generation must be performed > Examples/examples/scenarios/simplerfq simplerfq.cdm Unknown > 1211949863069 13 > [Java] Activity within participant type 'Buyer' does not have a required > extension point - Java generation must be performed > Examples/examples/scenarios/simplerfq simplerfq.cdm Unknown > 1211949863073 14 > [Java] Activity within participant type 'Buyer' does not have a required > extension point - Java generation must be performed > Examples/examples/scenarios/simplerfq simplerfq.cdm Unknown > 1211949863074 15 > [Java] Activity within participant type 'Buyer' does not have a required > extension point - Java generation must be performed > Examples/examples/scenarios/simplerfq simplerfq.cdm Unknown > 1211949863075 16 > [Java] Activity within participant type 'Buyer' does not have a required > extension point - Java generation must be performed > Examples/examples/scenarios/simplerfq simplerfq.cdm Unknown > 1211949863080 17 > [Java] Activity within participant type 'Buyer' does not have a required > extension point - Java generation must be performed SimpleProj/primer > BuyerSellerCDL.cdm Unknown 1211954694495 202 > [Java] Activity within participant type 'Buyer' does not have a required > extension point - Java generation must be performed SimpleProj/primer > BuyerSellerCDL.cdm Unknown 1211954694495 203 > [Java] Activity within participant type 'Buyer' does not have a required > extension point - Java generation must be performed SimpleProj/primer > BuyerSellerCDL.cdm Unknown 1211954694496 204 > [Java] Activity within participant type 'Buyer' does not have a required > extension point - Java generation must be performed SimpleProj/primer > BuyerSellerCDL.cdm Unknown 1211954694498 205 > [Java] Activity within participant type 'Buyer' does not have a required > extension point - Java generation must be performed SimpleProj/primer > BuyerSellerCDL.cdm Unknown 1211954694499 206 > [Java] Activity within participant type 'Buyer' does not have a required > extension point - Java generation must be performed SimpleProj/primer > BuyerSellerCDL.cdm Unknown 1211954694500 207 > [Java] Activity within participant type 'Buyer' does not have a required > extension point - Java generation must be performed SimpleProj/primer > BuyerSellerCDL.cdm Unknown 1211954694501 208 > [Java] Activity within participant type 'Buyer' does not have a required > extension point - Java generation must be performed SimpleProj/primer > BuyerSellerCDL.cdm Unknown 1211954694502 209 > [Java] Activity within participant type 'Buyer' does not have a required > extension point - Java generation must be performed SimpleProj/primer > BuyerSellerCDL.cdm Unknown 1211954694508 210 > [Java] Activity within participant type 'Buyer' does not have a required > extension point - Java generation must be performed SimpleProj/primer > BuyerSellerCDL.cdm Unknown 1211954694510 211 > [Java] Activity within participant type 'Buyer' has multiple paths > associated > with the same message 'operation=deliveryDetails channel=DeliveryDetailsC' > Examples/examples/primer BuyerSellerCDL.cdm Unknown > 1211955339970 640 > [Java] Activity within participant type 'Buyer' has multiple paths > associated > with the same message 'operation=deliveryDetails channel=DeliveryDetailsC' > SimpleProj/primer BuyerSellerCDL.cdm Unknown 1211954694490 196 > [Java] Activity within participant type 'Buyer' has multiple paths > associated > with the same message 'operation=quoteAccept channel=Buyer2SellerC' > Examples/examples/primer BuyerSellerCDL.cdm Unknown > 1211955339968 638 > [Java] Activity within participant type 'Buyer' has multiple paths > associated > with the same message 'operation=quoteAccept channel=Buyer2SellerC' > Examples/examples/primer BuyerSellerCDL.cdm Unknown > 1211955339970 641 > [Java] Activity within participant type 'Buyer' has multiple paths > associated > with the same message 'operation=quoteAccept channel=Buyer2SellerC' > SimpleProj/primer BuyerSellerCDL.cdm Unknown 1211954694488 194 > [Java] Activity within participant type 'Buyer' has multiple paths > associated > with the same message 'operation=quoteAccept channel=Buyer2SellerC' > SimpleProj/primer BuyerSellerCDL.cdm Unknown 1211954694491 197 > [Java] Activity within participant type 'Buyer' has multiple paths > associated > with the same message 'operation=quoteUpdate channel=Buyer2SellerC' > Examples/examples/primer BuyerSellerCDL.cdm Unknown > 1211955339969 639 > [Java] Activity within participant type 'Buyer' has multiple paths > associated > with the same message 'operation=quoteUpdate channel=Buyer2SellerC' > Examples/examples/primer BuyerSellerCDL.cdm Unknown > 1211955339971 642 > [Java] Activity within participant type 'Buyer' has multiple paths > associated > with the same message 'operation=quoteUpdate channel=Buyer2SellerC' > SimpleProj/primer BuyerSellerCDL.cdm Unknown 1211954694488 195 > [Java] Activity within participant type 'Buyer' has multiple paths > associated > with the same message 'operation=quoteUpdate channel=Buyer2SellerC' > SimpleProj/primer BuyerSellerCDL.cdm Unknown 1211954694492 198 > [Java] Activity within participant type 'CreditChecker' does not have a > required > extension point - Java generation must be performed > Examples/examples/primer > BuyerSellerCDL.cdm Unknown 1211955339983 657 > [Java] Activity within participant type 'CreditChecker' does not have a > required > extension point - Java generation must be performed > Examples/examples/primer > BuyerSellerCDL.cdm Unknown 1211955339983 658 > [Java] Activity within participant type 'CreditChecker' does not have a > required > extension point - Java generation must be performed > Examples/examples/primer > BuyerSellerCDL.cdm Unknown 1211955339984 659 > [Java] Activity within participant type 'CreditChecker' does not have a > required > extension point - Java generation must be performed > Examples/examples/primer > BuyerSellerCDL.cdm Unknown 1211955339984 660 > [Java] Activity within participant type 'CreditChecker' does not have a > required > extension point - Java generation must be performed SimpleProj/primer > BuyerSellerCDL.cdm Unknown 1211954694512 213 > [Java] Activity within participant type 'CreditChecker' does not have a > required > extension point - Java generation must be performed SimpleProj/primer > BuyerSellerCDL.cdm Unknown 1211954694513 214 > [Java] Activity within participant type 'CreditChecker' does not have a > required > extension point - Java generation must be performed SimpleProj/primer > BuyerSellerCDL.cdm Unknown 1211954694514 215 > [Java] Activity within participant type 'CreditChecker' does not have a > required > extension point - Java generation must be performed SimpleProj/primer > BuyerSellerCDL.cdm Unknown 1211954694516 216 > [Java] Activity within participant type 'Seller' does not have a required > extension point - Java generation must be performed > Examples/examples/primer > BuyerSellerCDL.cdm Unknown 1211955339991 666 > [Java] Activity within participant type 'Seller' does not have a required > extension point - Java generation must be performed > Examples/examples/primer > BuyerSellerCDL.cdm Unknown 1211955339992 667 > [Java] Activity within participant type 'Seller' does not have a required > extension point - Java generation must be performed > Examples/examples/primer > BuyerSellerCDL.cdm Unknown 1211955339992 668 > [Java] Activity within participant type 'Seller' does not have a required > extension point - Java generation must be performed > Examples/examples/primer > BuyerSellerCDL.cdm Unknown 1211955339993 669 > [Java] Activity within participant type 'Seller' does not have a required > extension point - Java generation must be performed > Examples/examples/primer > BuyerSellerCDL.cdm Unknown 1211955339993 670 > [Java] Activity within participant type 'Seller' does not have a required > extension point - Java generation must be performed > Examples/examples/primer > BuyerSellerCDL.cdm Unknown 1211955339994 671 > [Java] Activity within participant type 'Seller' does not have a required > extension point - Java generation must be performed > Examples/examples/primer > BuyerSellerCDL.cdm Unknown 1211955339994 672 > [Java] Activity within participant type 'Seller' does not have a required > extension point - Java generation must be performed > Examples/examples/primer > BuyerSellerCDL.cdm Unknown 1211955339994 673 > [Java] Activity within participant type 'Seller' does not have a required > extension point - Java generation must be performed > Examples/examples/primer > BuyerSellerCDL.cdm Unknown 1211955339995 674 > [Java] Activity within participant type 'Seller' does not have a required > extension point - Java generation must be performed > Examples/examples/primer > BuyerSellerCDL.cdm Unknown 1211955339995 675 > [Java] Activity within participant type 'Seller' does not have a required > extension point - Java generation must be performed > Examples/examples/primer > BuyerSellerCDL.cdm Unknown 1211955339996 676 > [Java] Activity within participant type 'Seller' does not have a required > extension point - Java generation must be performed > Examples/examples/primer > BuyerSellerCDL.cdm Unknown 1211955339996 677 > [Java] Activity within participant type 'Seller' does not have a required > extension point - Java generation must be performed > Examples/examples/scenarios/simplerfq simplerfq.cdm Unknown > 1211949863082 18 > [Java] Activity within participant type 'Seller' does not have a required > extension point - Java generation must be performed > Examples/examples/scenarios/simplerfq simplerfq.cdm Unknown > 1211949863083 19 > [Java] Activity within participant type 'Seller' does not have a required > extension point - Java generation must be performed > Examples/examples/scenarios/simplerfq simplerfq.cdm Unknown > 1211949863085 20 > [Java] Activity within participant type 'Seller' does not have a required > extension point - Java generation must be performed > Examples/examples/scenarios/simplerfq simplerfq.cdm Unknown > 1211949863088 21 > [Java] Activity within participant type 'Seller' does not have a required > extension point - Java generation must be performed > Examples/examples/scenarios/simplerfq simplerfq.cdm Unknown > 1211949863090 22 > [Java] Activity within participant type 'Seller' does not have a required > extension point - Java generation must be performed > Examples/examples/scenarios/simplerfq simplerfq.cdm Unknown > 1211949863093 23 > [Java] Activity within participant type 'Seller' does not have a required > extension point - Java generation must be performed SimpleProj/primer > BuyerSellerCDL.cdm Unknown 1211954694528 222 > [Java] Activity within participant type 'Seller' does not have a required > extension point - Java generation must be performed SimpleProj/primer > BuyerSellerCDL.cdm Unknown 1211954694531 223 > [Java] Activity within participant type 'Seller' does not have a required > extension point - Java generation must be performed SimpleProj/primer > BuyerSellerCDL.cdm Unknown 1211954694531 224 > [Java] Activity within participant type 'Seller' does not have a required > extension point - Java generation must be performed SimpleProj/primer > BuyerSellerCDL.cdm Unknown 1211954694532 225 > [Java] Activity within participant type 'Seller' does not have a required > extension point - Java generation must be performed SimpleProj/primer > BuyerSellerCDL.cdm Unknown 1211954694533 226 > [Java] Activity within participant type 'Seller' does not have a required > extension point - Java generation must be performed SimpleProj/primer > BuyerSellerCDL.cdm Unknown 1211954694533 227 > [Java] Activity within participant type 'Seller' does not have a required > extension point - Java generation must be performed SimpleProj/primer > BuyerSellerCDL.cdm Unknown 1211954694534 228 > [Java] Activity within participant type 'Seller' does not have a required > extension point - Java generation must be performed SimpleProj/primer > BuyerSellerCDL.cdm Unknown 1211954694535 229 > [Java] Activity within participant type 'Seller' does not have a required > extension point - Java generation must be performed SimpleProj/primer > BuyerSellerCDL.cdm Unknown 1211954694535 230 > [Java] Activity within participant type 'Seller' does not have a required > extension point - Java generation must be performed SimpleProj/primer > BuyerSellerCDL.cdm Unknown 1211954694536 231 > [Java] Activity within participant type 'Seller' does not have a required > extension point - Java generation must be performed SimpleProj/primer > BuyerSellerCDL.cdm Unknown 1211954694537 232 > [Java] Activity within participant type 'Seller' does not have a required > extension point - Java generation must be performed SimpleProj/primer > BuyerSellerCDL.cdm Unknown 1211954694538 233 > [Java] Activity within participant type 'Seller' has multiple paths > associated > with the same message 'operation=creditCheck channel=Seller2CreditChkC' > Examples/examples/primer BuyerSellerCDL.cdm Unknown > 1211955339991 665 > [Java] Activity within participant type 'Seller' has multiple paths > associated > with the same message 'operation=creditCheck channel=Seller2CreditChkC' > SimpleProj/primer BuyerSellerCDL.cdm Unknown 1211954694527 221 > [Java] Activity within participant type 'Seller' has multiple paths > associated > with the same message 'operation=quoteAccept channel=Buyer2SellerC' > Examples/examples/primer BuyerSellerCDL.cdm Unknown > 1211955339985 661 > [Java] Activity within participant type 'Seller' has multiple paths > associated > with the same message 'operation=quoteAccept channel=Buyer2SellerC' > Examples/examples/primer BuyerSellerCDL.cdm Unknown > 1211955339990 663 > [Java] Activity within participant type 'Seller' has multiple paths > associated > with the same message 'operation=quoteAccept channel=Buyer2SellerC' > SimpleProj/primer BuyerSellerCDL.cdm Unknown 1211954694517 217 > [Java] Activity within participant type 'Seller' has multiple paths > associated > with the same message 'operation=quoteAccept channel=Buyer2SellerC' > SimpleProj/primer BuyerSellerCDL.cdm Unknown 1211954694521 219 > [Java] Activity within participant type 'Seller' has multiple paths > associated > with the same message 'operation=quoteUpdate channel=Buyer2SellerC' > Examples/examples/primer BuyerSellerCDL.cdm Unknown > 1211955339989 662 > [Java] Activity within participant type 'Seller' has multiple paths > associated > with the same message 'operation=quoteUpdate channel=Buyer2SellerC' > Examples/examples/primer BuyerSellerCDL.cdm Unknown > 1211955339990 664 > [Java] Activity within participant type 'Seller' has multiple paths > associated > with the same message 'operation=quoteUpdate channel=Buyer2SellerC' > SimpleProj/primer BuyerSellerCDL.cdm Unknown 1211954694519 218 > [Java] Activity within participant type 'Seller' has multiple paths > associated > with the same message 'operation=quoteUpdate channel=Buyer2SellerC' > SimpleProj/primer BuyerSellerCDL.cdm Unknown 1211954694523 220 > [Java] Activity within participant type 'Shipper' does not have a required > extension point - Java generation must be performed > Examples/examples/primer > BuyerSellerCDL.cdm Unknown 1211955339997 678 > [Java] Activity within participant type 'Shipper' does not have a required > extension point - Java generation must be performed > Examples/examples/primer > BuyerSellerCDL.cdm Unknown 1211955339997 679 > [Java] Activity within participant type 'Shipper' does not have a required > extension point - Java generation must be performed > Examples/examples/primer > BuyerSellerCDL.cdm Unknown 1211955339998 680 > [Java] Activity within participant type 'Shipper' does not have a required > extension point - Java generation must be performed SimpleProj/primer > BuyerSellerCDL.cdm Unknown 1211954694539 234 > [Java] Activity within participant type 'Shipper' does not have a required > extension point - Java generation must be performed SimpleProj/primer > BuyerSellerCDL.cdm Unknown 1211954694539 235 > [Java] Activity within participant type 'Shipper' does not have a required > extension point - Java generation must be performed SimpleProj/primer > BuyerSellerCDL.cdm Unknown 1211954694540 236 > [Java] Service endpoint, for participant type 'Buyer', does not have an > initial > receive activity Examples/examples/primer BuyerSellerCDL.cdm > Unknown > 1211955339968 637 > [Java] Service endpoint, for participant type 'Buyer', does not have an > initial > receive activity SimpleProj/primer BuyerSellerCDL.cdm > Unknown 1211954694487 193 > Unable to load schema from location 'http://www.w3.org/2001/XMLSchema.xsd' > Examples/examples/scenarios/simplerfq simplerfq.cdm Unknown > 1211949863061 10 > Unable to load schema from location 'http://www.w3.org/2001/XMLSchema.xsd' > SimpleProj/scenarios/simplerfq simplerfq.cdm Unknown 1211949655828 9 > > > > > > Do I need to revise the file to be able to generate the java files? > > > Cheers, > > Donglai > > ------------------------------------------------------------------------- > This SF.net email is sponsored by: Microsoft > Defy all challenges. Microsoft(R) Visual Studio 2008. > http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/ > _______________________________________________ > pi4soa-model-analysis mailing list > pi4...@li... > https://lists.sourceforge.net/lists/listinfo/pi4soa-model-analysis > |
|
From: Dong Z. <don...@ad...> - 2008-05-28 07:12:16
|
Hi, I am a beginner with pi4soa wscdl plugin. I installed the pi4soa example downloaded from http://pi4soa.wiki.sourceforge.net/space/showimage/pi4soa-examples.zip and installed in my eclipse. I adjusted the properties for that project and by right click ->choreography ->generate->generated WSDL, wsdl files for the BuyerSellerCDL.cdm were generated. . But I can't use it to generate java files nor BPEL as the program tells me: Choreography Description has errors, so cannot be generated." The following are error messages: Severity and Description Path Resource Location Creation Time Id [Java] Behavior 'BuyerBehavior' must define an interface for use in locating a relevant service Examples/examples/primer BuyerSellerCDL.cdm Unknown 1211955339964 633 [Java] Behavior 'BuyerBehavior' must define an interface for use in locating a relevant service SimpleProj/primer BuyerSellerCDL.cdm Unknown 1211954694483 189 [Java] Behavior 'CreditCheckerBehavior' must define an interface for use in locating a relevant service Examples/examples/primer BuyerSellerCDL.cdm Unknown 1211955339966 634 [Java] Behavior 'CreditCheckerBehavior' must define an interface for use in locating a relevant service SimpleProj/primer BuyerSellerCDL.cdm Unknown 1211954694484 190 [Java] Behavior 'SellerBehavior' must define an interface for use in locating a relevant service Examples/examples/primer BuyerSellerCDL.cdm Unknown 1211955339966 635 [Java] Behavior 'SellerBehavior' must define an interface for use in locating a relevant service SimpleProj/primer BuyerSellerCDL.cdm Unknown 1211954694485 191 [Java] Behavior 'ShipperBehavior' must define an interface for use in locating a relevant service Examples/examples/primer BuyerSellerCDL.cdm Unknown 1211955339967 636 [Java] Behavior 'ShipperBehavior' must define an interface for use in locating a relevant service SimpleProj/primer BuyerSellerCDL.cdm Unknown 1211954694486 192 [Java] Choice has non-observable path within participant 'Buyer' and therefore must receive a subsequent interaction to indicate the end of the choice Examples/examples/primer BuyerSellerCDL.cdm Unknown 1211955339972 645 [Java] Choice has non-observable path within participant 'Buyer' and therefore must receive a subsequent interaction to indicate the end of the choice SimpleProj/primer BuyerSellerCDL.cdm Unknown 1211954694494 201 [Java] Participant type 'Buyer' predicate extension requires the 'name' and/or 'description' fields to be specified Examples/examples/primer BuyerSellerCDL.cdm Unknown 1211955339971 643 [Java] Participant type 'Buyer' predicate extension requires the 'name' and/or 'description' fields to be specified Examples/examples/primer BuyerSellerCDL.cdm Unknown 1211955339971 644 [Java] Participant type 'Buyer' predicate extension requires the 'name' and/or 'description' fields to be specified SimpleProj/primer BuyerSellerCDL.cdm Unknown 1211954694492 199 [Java] Participant type 'Buyer' predicate extension requires the 'name' and/or 'description' fields to be specified SimpleProj/primer BuyerSellerCDL.cdm Unknown 1211954694493 200 [Java] Participant type 'CreditChecker' predicate extension requires the 'name' and/or 'description' fields to be specified Examples/examples/primer BuyerSellerCDL.cdm Unknown 1211955339982 656 [Java] Participant type 'CreditChecker' predicate extension requires the 'name' and/or 'description' fields to be specified SimpleProj/primer BuyerSellerCDL.cdm Unknown 1211954694511 212 [WS-BPEL] 'while' re-evaluate condition must be 'true()' Examples/examples/primer BuyerSellerCDL.cdm Unknown 1211955339998 681 [WS-BPEL] 'while' re-evaluate condition must be 'true()' SimpleProj/primer BuyerSellerCDL.cdm Unknown 1211954694541 237 [WS-BPEL] A unique 'description' is required to maintain an association between the Choreography Description and the generated WS-BPEL Examples/examples/primer BuyerSellerCDL.cdm Unknown 1211955339999 682 [WS-BPEL] A unique 'description' is required to maintain an association between the Choreography Description and the generated WS-BPEL Examples/examples/primer BuyerSellerCDL.cdm Unknown 1211955340000 683 [WS-BPEL] A unique 'description' is required to maintain an association between the Choreography Description and the generated WS-BPEL Examples/examples/primer BuyerSellerCDL.cdm Unknown 1211955340001 684 [WS-BPEL] A unique 'description' is required to maintain an association between the Choreography Description and the generated WS-BPEL SimpleProj/primer BuyerSellerCDL.cdm Unknown 1211954694541 238 [WS-BPEL] A unique 'description' is required to maintain an association between the Choreography Description and the generated WS-BPEL SimpleProj/primer BuyerSellerCDL.cdm Unknown 1211954694542 239 [WS-BPEL] A unique 'description' is required to maintain an association between the Choreography Description and the generated WS-BPEL SimpleProj/primer BuyerSellerCDL.cdm Unknown 1211954694543 240 Reference 'Activities' must have at least 1 Activity instance associated with it Examples/examples My.cdm Unknown 1211872474113 5 Reference 'Reference Token' must be specified Examples/examples My.cdm Unknown 1211872474110 3 Reference 'Role Type' must be specified Examples/examples My.cdm Unknown 1211872474112 4 [Java] Activity within participant type 'Buyer' does not have a required extension point - Java generation must be performed Examples/examples/primer BuyerSellerCDL.cdm Unknown 1211955339973 646 [Java] Activity within participant type 'Buyer' does not have a required extension point - Java generation must be performed Examples/examples/primer BuyerSellerCDL.cdm Unknown 1211955339973 647 [Java] Activity within participant type 'Buyer' does not have a required extension point - Java generation must be performed Examples/examples/primer BuyerSellerCDL.cdm Unknown 1211955339974 648 [Java] Activity within participant type 'Buyer' does not have a required extension point - Java generation must be performed Examples/examples/primer BuyerSellerCDL.cdm Unknown 1211955339974 649 [Java] Activity within participant type 'Buyer' does not have a required extension point - Java generation must be performed Examples/examples/primer BuyerSellerCDL.cdm Unknown 1211955339975 650 [Java] Activity within participant type 'Buyer' does not have a required extension point - Java generation must be performed Examples/examples/primer BuyerSellerCDL.cdm Unknown 1211955339975 651 [Java] Activity within participant type 'Buyer' does not have a required extension point - Java generation must be performed Examples/examples/primer BuyerSellerCDL.cdm Unknown 1211955339976 652 [Java] Activity within participant type 'Buyer' does not have a required extension point - Java generation must be performed Examples/examples/primer BuyerSellerCDL.cdm Unknown 1211955339981 653 [Java] Activity within participant type 'Buyer' does not have a required extension point - Java generation must be performed Examples/examples/primer BuyerSellerCDL.cdm Unknown 1211955339981 654 [Java] Activity within participant type 'Buyer' does not have a required extension point - Java generation must be performed Examples/examples/primer BuyerSellerCDL.cdm Unknown 1211955339982 655 [Java] Activity within participant type 'Buyer' does not have a required extension point - Java generation must be performed Examples/examples/scenarios/simplerfq simplerfq.cdm Unknown 1211949863063 11 [Java] Activity within participant type 'Buyer' does not have a required extension point - Java generation must be performed Examples/examples/scenarios/simplerfq simplerfq.cdm Unknown 1211949863066 12 [Java] Activity within participant type 'Buyer' does not have a required extension point - Java generation must be performed Examples/examples/scenarios/simplerfq simplerfq.cdm Unknown 1211949863069 13 [Java] Activity within participant type 'Buyer' does not have a required extension point - Java generation must be performed Examples/examples/scenarios/simplerfq simplerfq.cdm Unknown 1211949863073 14 [Java] Activity within participant type 'Buyer' does not have a required extension point - Java generation must be performed Examples/examples/scenarios/simplerfq simplerfq.cdm Unknown 1211949863074 15 [Java] Activity within participant type 'Buyer' does not have a required extension point - Java generation must be performed Examples/examples/scenarios/simplerfq simplerfq.cdm Unknown 1211949863075 16 [Java] Activity within participant type 'Buyer' does not have a required extension point - Java generation must be performed Examples/examples/scenarios/simplerfq simplerfq.cdm Unknown 1211949863080 17 [Java] Activity within participant type 'Buyer' does not have a required extension point - Java generation must be performed SimpleProj/primer BuyerSellerCDL.cdm Unknown 1211954694495 202 [Java] Activity within participant type 'Buyer' does not have a required extension point - Java generation must be performed SimpleProj/primer BuyerSellerCDL.cdm Unknown 1211954694495 203 [Java] Activity within participant type 'Buyer' does not have a required extension point - Java generation must be performed SimpleProj/primer BuyerSellerCDL.cdm Unknown 1211954694496 204 [Java] Activity within participant type 'Buyer' does not have a required extension point - Java generation must be performed SimpleProj/primer BuyerSellerCDL.cdm Unknown 1211954694498 205 [Java] Activity within participant type 'Buyer' does not have a required extension point - Java generation must be performed SimpleProj/primer BuyerSellerCDL.cdm Unknown 1211954694499 206 [Java] Activity within participant type 'Buyer' does not have a required extension point - Java generation must be performed SimpleProj/primer BuyerSellerCDL.cdm Unknown 1211954694500 207 [Java] Activity within participant type 'Buyer' does not have a required extension point - Java generation must be performed SimpleProj/primer BuyerSellerCDL.cdm Unknown 1211954694501 208 [Java] Activity within participant type 'Buyer' does not have a required extension point - Java generation must be performed SimpleProj/primer BuyerSellerCDL.cdm Unknown 1211954694502 209 [Java] Activity within participant type 'Buyer' does not have a required extension point - Java generation must be performed SimpleProj/primer BuyerSellerCDL.cdm Unknown 1211954694508 210 [Java] Activity within participant type 'Buyer' does not have a required extension point - Java generation must be performed SimpleProj/primer BuyerSellerCDL.cdm Unknown 1211954694510 211 [Java] Activity within participant type 'Buyer' has multiple paths associated with the same message 'operation=deliveryDetails channel=DeliveryDetailsC' Examples/examples/primer BuyerSellerCDL.cdm Unknown 1211955339970 640 [Java] Activity within participant type 'Buyer' has multiple paths associated with the same message 'operation=deliveryDetails channel=DeliveryDetailsC' SimpleProj/primer BuyerSellerCDL.cdm Unknown 1211954694490 196 [Java] Activity within participant type 'Buyer' has multiple paths associated with the same message 'operation=quoteAccept channel=Buyer2SellerC' Examples/examples/primer BuyerSellerCDL.cdm Unknown 1211955339968 638 [Java] Activity within participant type 'Buyer' has multiple paths associated with the same message 'operation=quoteAccept channel=Buyer2SellerC' Examples/examples/primer BuyerSellerCDL.cdm Unknown 1211955339970 641 [Java] Activity within participant type 'Buyer' has multiple paths associated with the same message 'operation=quoteAccept channel=Buyer2SellerC' SimpleProj/primer BuyerSellerCDL.cdm Unknown 1211954694488 194 [Java] Activity within participant type 'Buyer' has multiple paths associated with the same message 'operation=quoteAccept channel=Buyer2SellerC' SimpleProj/primer BuyerSellerCDL.cdm Unknown 1211954694491 197 [Java] Activity within participant type 'Buyer' has multiple paths associated with the same message 'operation=quoteUpdate channel=Buyer2SellerC' Examples/examples/primer BuyerSellerCDL.cdm Unknown 1211955339969 639 [Java] Activity within participant type 'Buyer' has multiple paths associated with the same message 'operation=quoteUpdate channel=Buyer2SellerC' Examples/examples/primer BuyerSellerCDL.cdm Unknown 1211955339971 642 [Java] Activity within participant type 'Buyer' has multiple paths associated with the same message 'operation=quoteUpdate channel=Buyer2SellerC' SimpleProj/primer BuyerSellerCDL.cdm Unknown 1211954694488 195 [Java] Activity within participant type 'Buyer' has multiple paths associated with the same message 'operation=quoteUpdate channel=Buyer2SellerC' SimpleProj/primer BuyerSellerCDL.cdm Unknown 1211954694492 198 [Java] Activity within participant type 'CreditChecker' does not have a required extension point - Java generation must be performed Examples/examples/primer BuyerSellerCDL.cdm Unknown 1211955339983 657 [Java] Activity within participant type 'CreditChecker' does not have a required extension point - Java generation must be performed Examples/examples/primer BuyerSellerCDL.cdm Unknown 1211955339983 658 [Java] Activity within participant type 'CreditChecker' does not have a required extension point - Java generation must be performed Examples/examples/primer BuyerSellerCDL.cdm Unknown 1211955339984 659 [Java] Activity within participant type 'CreditChecker' does not have a required extension point - Java generation must be performed Examples/examples/primer BuyerSellerCDL.cdm Unknown 1211955339984 660 [Java] Activity within participant type 'CreditChecker' does not have a required extension point - Java generation must be performed SimpleProj/primer BuyerSellerCDL.cdm Unknown 1211954694512 213 [Java] Activity within participant type 'CreditChecker' does not have a required extension point - Java generation must be performed SimpleProj/primer BuyerSellerCDL.cdm Unknown 1211954694513 214 [Java] Activity within participant type 'CreditChecker' does not have a required extension point - Java generation must be performed SimpleProj/primer BuyerSellerCDL.cdm Unknown 1211954694514 215 [Java] Activity within participant type 'CreditChecker' does not have a required extension point - Java generation must be performed SimpleProj/primer BuyerSellerCDL.cdm Unknown 1211954694516 216 [Java] Activity within participant type 'Seller' does not have a required extension point - Java generation must be performed Examples/examples/primer BuyerSellerCDL.cdm Unknown 1211955339991 666 [Java] Activity within participant type 'Seller' does not have a required extension point - Java generation must be performed Examples/examples/primer BuyerSellerCDL.cdm Unknown 1211955339992 667 [Java] Activity within participant type 'Seller' does not have a required extension point - Java generation must be performed Examples/examples/primer BuyerSellerCDL.cdm Unknown 1211955339992 668 [Java] Activity within participant type 'Seller' does not have a required extension point - Java generation must be performed Examples/examples/primer BuyerSellerCDL.cdm Unknown 1211955339993 669 [Java] Activity within participant type 'Seller' does not have a required extension point - Java generation must be performed Examples/examples/primer BuyerSellerCDL.cdm Unknown 1211955339993 670 [Java] Activity within participant type 'Seller' does not have a required extension point - Java generation must be performed Examples/examples/primer BuyerSellerCDL.cdm Unknown 1211955339994 671 [Java] Activity within participant type 'Seller' does not have a required extension point - Java generation must be performed Examples/examples/primer BuyerSellerCDL.cdm Unknown 1211955339994 672 [Java] Activity within participant type 'Seller' does not have a required extension point - Java generation must be performed Examples/examples/primer BuyerSellerCDL.cdm Unknown 1211955339994 673 [Java] Activity within participant type 'Seller' does not have a required extension point - Java generation must be performed Examples/examples/primer BuyerSellerCDL.cdm Unknown 1211955339995 674 [Java] Activity within participant type 'Seller' does not have a required extension point - Java generation must be performed Examples/examples/primer BuyerSellerCDL.cdm Unknown 1211955339995 675 [Java] Activity within participant type 'Seller' does not have a required extension point - Java generation must be performed Examples/examples/primer BuyerSellerCDL.cdm Unknown 1211955339996 676 [Java] Activity within participant type 'Seller' does not have a required extension point - Java generation must be performed Examples/examples/primer BuyerSellerCDL.cdm Unknown 1211955339996 677 [Java] Activity within participant type 'Seller' does not have a required extension point - Java generation must be performed Examples/examples/scenarios/simplerfq simplerfq.cdm Unknown 1211949863082 18 [Java] Activity within participant type 'Seller' does not have a required extension point - Java generation must be performed Examples/examples/scenarios/simplerfq simplerfq.cdm Unknown 1211949863083 19 [Java] Activity within participant type 'Seller' does not have a required extension point - Java generation must be performed Examples/examples/scenarios/simplerfq simplerfq.cdm Unknown 1211949863085 20 [Java] Activity within participant type 'Seller' does not have a required extension point - Java generation must be performed Examples/examples/scenarios/simplerfq simplerfq.cdm Unknown 1211949863088 21 [Java] Activity within participant type 'Seller' does not have a required extension point - Java generation must be performed Examples/examples/scenarios/simplerfq simplerfq.cdm Unknown 1211949863090 22 [Java] Activity within participant type 'Seller' does not have a required extension point - Java generation must be performed Examples/examples/scenarios/simplerfq simplerfq.cdm Unknown 1211949863093 23 [Java] Activity within participant type 'Seller' does not have a required extension point - Java generation must be performed SimpleProj/primer BuyerSellerCDL.cdm Unknown 1211954694528 222 [Java] Activity within participant type 'Seller' does not have a required extension point - Java generation must be performed SimpleProj/primer BuyerSellerCDL.cdm Unknown 1211954694531 223 [Java] Activity within participant type 'Seller' does not have a required extension point - Java generation must be performed SimpleProj/primer BuyerSellerCDL.cdm Unknown 1211954694531 224 [Java] Activity within participant type 'Seller' does not have a required extension point - Java generation must be performed SimpleProj/primer BuyerSellerCDL.cdm Unknown 1211954694532 225 [Java] Activity within participant type 'Seller' does not have a required extension point - Java generation must be performed SimpleProj/primer BuyerSellerCDL.cdm Unknown 1211954694533 226 [Java] Activity within participant type 'Seller' does not have a required extension point - Java generation must be performed SimpleProj/primer BuyerSellerCDL.cdm Unknown 1211954694533 227 [Java] Activity within participant type 'Seller' does not have a required extension point - Java generation must be performed SimpleProj/primer BuyerSellerCDL.cdm Unknown 1211954694534 228 [Java] Activity within participant type 'Seller' does not have a required extension point - Java generation must be performed SimpleProj/primer BuyerSellerCDL.cdm Unknown 1211954694535 229 [Java] Activity within participant type 'Seller' does not have a required extension point - Java generation must be performed SimpleProj/primer BuyerSellerCDL.cdm Unknown 1211954694535 230 [Java] Activity within participant type 'Seller' does not have a required extension point - Java generation must be performed SimpleProj/primer BuyerSellerCDL.cdm Unknown 1211954694536 231 [Java] Activity within participant type 'Seller' does not have a required extension point - Java generation must be performed SimpleProj/primer BuyerSellerCDL.cdm Unknown 1211954694537 232 [Java] Activity within participant type 'Seller' does not have a required extension point - Java generation must be performed SimpleProj/primer BuyerSellerCDL.cdm Unknown 1211954694538 233 [Java] Activity within participant type 'Seller' has multiple paths associated with the same message 'operation=creditCheck channel=Seller2CreditChkC' Examples/examples/primer BuyerSellerCDL.cdm Unknown 1211955339991 665 [Java] Activity within participant type 'Seller' has multiple paths associated with the same message 'operation=creditCheck channel=Seller2CreditChkC' SimpleProj/primer BuyerSellerCDL.cdm Unknown 1211954694527 221 [Java] Activity within participant type 'Seller' has multiple paths associated with the same message 'operation=quoteAccept channel=Buyer2SellerC' Examples/examples/primer BuyerSellerCDL.cdm Unknown 1211955339985 661 [Java] Activity within participant type 'Seller' has multiple paths associated with the same message 'operation=quoteAccept channel=Buyer2SellerC' Examples/examples/primer BuyerSellerCDL.cdm Unknown 1211955339990 663 [Java] Activity within participant type 'Seller' has multiple paths associated with the same message 'operation=quoteAccept channel=Buyer2SellerC' SimpleProj/primer BuyerSellerCDL.cdm Unknown 1211954694517 217 [Java] Activity within participant type 'Seller' has multiple paths associated with the same message 'operation=quoteAccept channel=Buyer2SellerC' SimpleProj/primer BuyerSellerCDL.cdm Unknown 1211954694521 219 [Java] Activity within participant type 'Seller' has multiple paths associated with the same message 'operation=quoteUpdate channel=Buyer2SellerC' Examples/examples/primer BuyerSellerCDL.cdm Unknown 1211955339989 662 [Java] Activity within participant type 'Seller' has multiple paths associated with the same message 'operation=quoteUpdate channel=Buyer2SellerC' Examples/examples/primer BuyerSellerCDL.cdm Unknown 1211955339990 664 [Java] Activity within participant type 'Seller' has multiple paths associated with the same message 'operation=quoteUpdate channel=Buyer2SellerC' SimpleProj/primer BuyerSellerCDL.cdm Unknown 1211954694519 218 [Java] Activity within participant type 'Seller' has multiple paths associated with the same message 'operation=quoteUpdate channel=Buyer2SellerC' SimpleProj/primer BuyerSellerCDL.cdm Unknown 1211954694523 220 [Java] Activity within participant type 'Shipper' does not have a required extension point - Java generation must be performed Examples/examples/primer BuyerSellerCDL.cdm Unknown 1211955339997 678 [Java] Activity within participant type 'Shipper' does not have a required extension point - Java generation must be performed Examples/examples/primer BuyerSellerCDL.cdm Unknown 1211955339997 679 [Java] Activity within participant type 'Shipper' does not have a required extension point - Java generation must be performed Examples/examples/primer BuyerSellerCDL.cdm Unknown 1211955339998 680 [Java] Activity within participant type 'Shipper' does not have a required extension point - Java generation must be performed SimpleProj/primer BuyerSellerCDL.cdm Unknown 1211954694539 234 [Java] Activity within participant type 'Shipper' does not have a required extension point - Java generation must be performed SimpleProj/primer BuyerSellerCDL.cdm Unknown 1211954694539 235 [Java] Activity within participant type 'Shipper' does not have a required extension point - Java generation must be performed SimpleProj/primer BuyerSellerCDL.cdm Unknown 1211954694540 236 [Java] Service endpoint, for participant type 'Buyer', does not have an initial receive activity Examples/examples/primer BuyerSellerCDL.cdm Unknown 1211955339968 637 [Java] Service endpoint, for participant type 'Buyer', does not have an initial receive activity SimpleProj/primer BuyerSellerCDL.cdm Unknown 1211954694487 193 Unable to load schema from location 'http://www.w3.org/2001/XMLSchema.xsd' Examples/examples/scenarios/simplerfq simplerfq.cdm Unknown 1211949863061 10 Unable to load schema from location 'http://www.w3.org/2001/XMLSchema.xsd' SimpleProj/scenarios/simplerfq simplerfq.cdm Unknown 1211949655828 9 Do I need to revise the file to be able to generate the java files? Cheers, Donglai |
|
From: Steve Ross-T. <st...@pi...> - 2006-03-14 22:16:54
|
And here is my test. On 14 Mar 2006, at 19:23, Kohei Honda wrote: > This is just a test reply. > > kohei > > Gary Brown wrote: >> Hi Kohei, Nobuko and Steve >> >> I have received registration notifications from each of you, so >> hopefully you have now received this message. >> >> If you could each respond back to the list, then we can be sure all >> is working well. >> >> Also, the mailing list is now public, so the archive will be >> available without having to log in. I will eventually remove these >> test messages from the archive. >> >> Regards >> Gary >> >> >> >> ------------------------------------------------------- >> This SF.Net email is sponsored by xPML, a groundbreaking scripting >> language >> that extends applications into web and mobile media. Attend the live >> webcast >> and join the prime developer group breaking into this new coding >> territory! >> http://sel.as-us.falkag.net/sel? >> cmd=lnk&kid=110944&bid=241720&dat=121642 >> _______________________________________________ >> pi4soa-model-analysis mailing list >> pi4...@li... >> https://lists.sourceforge.net/lists/listinfo/pi4soa-model-analysis > > > > ------------------------------------------------------- > This SF.Net email is sponsored by xPML, a groundbreaking scripting > language > that extends applications into web and mobile media. Attend the live > webcast > and join the prime developer group breaking into this new coding > territory! > http://sel.as-us.falkag.net/sel? > cmd=lnk&kid=110944&bid=241720&dat=121642 > _______________________________________________ > pi4soa-model-analysis mailing list > pi4...@li... > https://lists.sourceforge.net/lists/listinfo/pi4soa-model-analysis > > |
|
From: Kohei H. <ko...@dc...> - 2006-03-14 19:24:05
|
This is just a test reply. kohei Gary Brown wrote: > Hi Kohei, Nobuko and Steve > > I have received registration notifications from each of you, so > hopefully you have now received this message. > > If you could each respond back to the list, then we can be sure all is > working well. > > Also, the mailing list is now public, so the archive will be available > without having to log in. I will eventually remove these test messages > from the archive. > > Regards > Gary > > > > ------------------------------------------------------- > This SF.Net email is sponsored by xPML, a groundbreaking scripting > language > that extends applications into web and mobile media. Attend the live > webcast > and join the prime developer group breaking into this new coding > territory! > http://sel.as-us.falkag.net/sel?cmd=lnk&kid=110944&bid=241720&dat=121642 > _______________________________________________ > pi4soa-model-analysis mailing list > pi4...@li... > https://lists.sourceforge.net/lists/listinfo/pi4soa-model-analysis |
|
From: Gary B. <ga...@pi...> - 2006-03-14 19:22:20
|
Hi Kohei, Nobuko and Steve I have received registration notifications from each of you, so hopefully you have now received this message. If you could each respond back to the list, then we can be sure all is working well. Also, the mailing list is now public, so the archive will be available without having to log in. I will eventually remove these test messages from the archive. Regards Gary |
|
From: Kohei H. <ko...@dc...> - 2005-12-01 02:50:41
|
The following is a brief observation on EEP and GVE. It is written in
relationship
to the "memo" series in the forum. Since it in effect pertains to a
general point,
I'll also post this mail in the mailing list.
Having both a global description language (CDL) and a good local, or
end-point,
language (applied pi) is fundamental for deciding a proper realm of
description
for communication-centred software behaviours. For example a good notion of
types arises through the interplay between these two descriptions. Even the
decision on primitives themselves, such as exceptions and timeout, comes
from
how they arise in two calculi.
This comes from the following observations. If you start from only the
end-point,
then you can write any details of local behaviour whose global description
may not make sense, at least as a protocol. The same thing can be said
the other
way round (though it may be better to start from well-formed global
behaviour
for protocol description since at least you get a clear idea of what the
protocol is:
as far as it is well-formed, hence EPPable, this would be a preferred
way in most
practical contexts).
For me, the fundamental contribution of CDL to the principles of
distributed
programming is that it defined, for the first time, a clear notion of
(essentially
typed) global describability. We need to have this stipulation, a
description
language, separately from the local describability. This is subtle,
since once
we have EPP/GVP, it seems one is enough and another unnecessary, in either
way. But the truth is we need both, even just for defining each's realm.
Practically a global description language may as well be execution-language-
free since what we need is business protocols, not their execution details,
which can be realised by different languages (even over time). In this
sense,
description may as well centre on global formalism. It is not without reason
that we often see the following description:
A --> T: {A, B}_KA
T --> A: {KAB, {KAB}_KB}_KA
A --> nB: {KAB}_KB
who wishes to understand this protocol in local description? (except, of
course,
the pi-calculus theorists, and for them with good reasons).
But the focal point of having these two formalisms lies in that, for
stipulating
a sound notion of "good" interactional behaviours (say those of well-formed
business protocols), we need both. Suppose you can write something locally
but not globally. It is not a good description! But suppose you can
write some-
thing globally but not locally: it may not be easily executable. By careful
understanding of relationship between them, we can arrive at an effective
engineering of communication-centred applications. The CDL-Pi dialogue
we have been having in the CDL WG is a unique and fruitful opportunity to
work torwards this goal.
I also note, for these reasons, there are still many subtleties to be
uncovered
as to the relationship between two descriptive frameworks, especially when
advanced constructs are present. They also interact non-trivially with
types.
We hope our subsequent work can contribute to a further clarification of
these aspects.
Best wishes,
kohei
|
2 messages has been excluded from this view by a project administrator.
