V. Kolokolov, S. Ruehl, Paul Baumann, Shaozhen Zhang, S. Verclas
{"title":"Modelling Variability in Activity Diagrams for Mobile Business Applications","authors":"V. Kolokolov, S. Ruehl, Paul Baumann, Shaozhen Zhang, S. Verclas","doi":"10.1109/COMPSAC.2014.23","DOIUrl":null,"url":null,"abstract":"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.","PeriodicalId":106871,"journal":{"name":"2014 IEEE 38th Annual Computer Software and Applications Conference","volume":"10 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2014-07-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2014 IEEE 38th Annual Computer Software and Applications Conference","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/COMPSAC.2014.23","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 1
Abstract
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.