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