Title: The specification of network services