Semantical analysis and modeling for OWL-S based on CSP: Semantical analysis and modeling for OWL-S based on CSP