In the vision of ubiquitous computing environment described by Weiser [21] the environment is populated by smart devices which adapt depending on the user context in order to meet the user’s needs and look after them. But we are still a long way from this vision because the current devices describe their functionalities in a very simple manner, not in an expressive way, and therefore it is difficult to automate the behaviour of the environment. The first aim of this research work is to justify the need of use of an approach based on preconditions (the necessary state of the world before executing the service) and effects (the change in the state of the world after executing the service) to service representation in this kind of environment, and the second aim is to analyze the main languages for semantic service description in order to find out which capabilities are offered by each language and study which could be best suitable for this vision.