The Method for Semantic Service Substitution in Ubiquitous Computing