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. |
Year | DOI | Venue |
---|---|---|
2014 | 10.1109/COMPSAC.2014.23 | COMPSAC |
Keywords | Field | DocType |
hybrid web, software product lines, variability modeling, verification techniques | Software deployment,Petri net,Business process,Software engineering,Systems engineering,Computer science,Activity diagram,Real-time computing,Software,Exploratory research,Workflow,Mobile telephony | Conference |
ISSN | Citations | PageRank |
0730-3157 | 0 | 0.34 |
References | Authors | |
9 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Viktor Kolokolov | 1 | 2 | 0.75 |
Stefan T. Ruehl | 2 | 40 | 4.85 |
Baumann, Paul | 3 | 1 | 1.70 |
Shaozhen Zhang | 4 | 0 | 0.34 |
Stephan A. W. Verclas | 5 | 32 | 5.57 |