Service specification and validation in the context of the home