A methodology for interoperability and information management in smart home environments