S-CLAIM: An Agent-based Programming Language for AmI, A Smart-Room Case Study