Re: [pi4soa-model-analysis] Choreography Descript has errors, ...
Status: Beta
Brought to you by:
objectiser
|
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 > |