为保证最终获得的组合服务能够正确运行,首先对涉及会话类E-Service服务组合过程中的E-Service动态行为接口进行了形式化描述.然后采用“乐观”方式进行接口兼容检查;同时针对会话类E-Service的完整性要求,提出了验证会话类E-Service接口兼容的算法,以此对业务组合过程进行设计时的检查,确保组合的正确性.