A Study on Verification Methods and Segmentation of Service Modules in Service Design -Focus on Hotel Service- | Synapse