Modelling Variability in Activity Diagrams for Mobile Business Applications

Advances in development and deployment of mobile business applications (MBAs) based on the hybrid Web approach (hybrid MBAs) create new possibilities for enterprises to mobilize their business processes (BPs). Despite the fact that variability has a natural appearance in complex environments among different enterprises, current development tools for hybrid MBAs are lacking systematic support for variable features. We analyse in this paper the formation of hybrid MBAs´ variable workflows on the BP-level by conducting an exploratory study within the context of a real-world, widespread BP instance. We also discuss quality assurance of domain activity diagrams (DADs), which document variability in BPs´ workflows. Novel verification techniques for a structural analysis of DADs are highlighted.