CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements