Contract Based Behavior Model for Services Coordination