From use case diagrams to executable context-aware ambients

This paper proposes an approach to translating a use case diagram into an executable context-aware ambients. The requirements of a context-aware system is captured and represented in an extension of UML use case diagrams called context-aware use case diagrams. Then an algorithm is proposed that translates a context-aware use case diagram into a process in the Calculus of Context-aware Ambients (CCA). This process can then be analyzed using the CCA simulator. The proposed approach is evaluated using a real-word example of a context-aware collision avoidance system.