CSA\CSA.jar
...\example\Compatibility\FirstBPEL.bpel
...\.......\.............\SecondBPEL.bpel
...\.......\.............\ThirdBPEL.bpel
...\.......\.............1\AmericanAirline.bpel
...\.......\..............\Travel.bpel
...\.......\.............2\DeltaAirline.bpel
...\.......\..............\Travel.bpel
...\.......\.............3\Employee.bpel
...\.......\..............\Travel.bpel
...\.......\Substitutability and Equivalent\zAmericanAirline.bpel
...\.......\...............................\zDeltaAirline1.bpel
...\.......\.................but Inequivalent\AxisFlow.bpel
...\.......\.................................\zAmericanAirline.bpel
...\Source code\bpelAnalyse3.0.rar
...\example\Compatibility
...\.......\Compatibility1
...\.......\Compatibility2
...\.......\Compatibility3
...\.......\Substitutability and Equivalent
...\.......\Substitutability but Inequivalent
...\example
...\Source code
CSA