An Approach for Describing User Service Interfaces in Distributed Systems