Towards automatic behavior synthesis of a coordinator component for context-aware mobile applications

Although behavior modeling should play a central role in model-driven application development, it is still unclear how behavior modeling should be incorporated in model transformations. This paper presents an MDA-based approach that incorporates behavior modeling at the platform-independent model (PIM) level of the design process of a specific category of applications, i.e., context-aware mobile applications. This approach includes two model transformations. The first transformation is a refinement of the (external) observable application behavior into a (internal) structured behavior based on a reference architecture. The second transformation is the synthesis of this structured behavior into the behavior of individual architecture components. This paper focuses on the second transformation and targets the behavior of a coordinator component that orchestrates the interactions between all the other components. We propose a state machines-based approach that can be used for synthesizing the coordinator component behavior in order to cope with synchronization and concurrency issues.