Analysing Use Case Diagrams in a Calculus of Context-aware Ambients