协同业务过程建模与行为验证 (Modeling and Behavior Verification for Collaborative Business Processes)