- Scalable querying of service contracts based on their temporal behavior