A conceptual model for smart environments based on formal interactions in physical spaces