{A Rule-Based Approach for Reasoning about Collaboration between Smart Web-Services}