Interoperable real-time symbolic programming for smart environments