Web Service for Semantic Negotiation of Smart Contracts