Web服务组合行为一致性的形式化描述和分析

Jour na lofComput e rAppl i cat i o ns I SSN 1001．9081 2012—02—01 计算机应 用， 2 01 2， 3 2( 2)： 54 5—5 5