In manufacturing, systems that offer products in combination with services have attracted considerable attention. According to this background, the authors of this paper have conducted conceptual research on design services from the viewpoint of engineering. This series of research is called 'Service Engineering.' In service design, designer's knowledge has great influence on the quality of design solutions. The authors, therefore, have been developed a computer environment called Universal Abduction Studio (UAS) to support design based on various design knowledge. This paper aims to validate the effectiveness of UAS for a service design. Especially, we specify a design stage where UAS should be used, and then conduct its application by using an elevator renewal service.