Event-Based Monitoring of Service-Oriented Smart Spaces