Situation-Aware Contract Specification Language for Middleware for Ubiquitous Computing