Abstract
The authors have already proposed a service design method, where a computer aided design tool named Service Explorer is employed. This paper verifies the modeling ability of Service Explorer. To do so, services of providing home appliances and cleaning them are taken as an example. It was proved that designers can describe provided values, adopted measures, and relations among agents in a service on Service Explorer.
