Resumen
This paper proposes a method to ensure compatibility between physical devices for implementing a service design. The method supports the relaxation of strict implementation. It allows a set of compatible devices to be implemented instead of specifying specific devices in the service design. This paper?s main contribution is the formalization of device constraints using the device?s attributes and a method to check the compatibility between devices. The method?s characteristic is that a service designer can decide the level of strictness and abstractness of the design by adjusting the compatibility rate. We show the feasibility of the proposed method to achieve the goal of ?Design Once, Provide Anywhere? with an application example. We also evaluated the quality of service of the implemented IoT service in a different environment using a platform called Elgar.