Paper Info
Title
Verification Algebra For Multi-Tenant Applications In Vaas Architecture
Abstract
This paper proposes an algebraic system, verification algebra (VA), for reducing the number of component combinations to be verified in multi-tenant architecture (MTA). MTA is a design architecture used in SaaS (Software-as-a-Service) where a tenant can customize its applications by integrating services already stored in the SaaS databases or newly supplied services. Similar to SaaS, VaaS (Verification-as-a-Service) is a verification service in a cloud that leverages the computing power offered by a cloud environment with automated provisioning, scalability and service composition. In VaaS architecture, however, there is a challenging problem called 'combinatorial explosion' that it is difficult to verify a large number of compositions constructed by both quantities of components and various combination structures even with computing resources in cloud. This paper proposes rules to emerge combinations status for future verification, on the basis of the existing results. Both composition patterns and properties are considered and analysed in VA rules. (c) 2021 John Wiley & Sons, Ltd.
Year
DOI
Venue
2021
10.1002/stvr.1763
SOFTWARE TESTING VERIFICATION & RELIABILITY
Keywords
DocType
Volume
combinatorial explosion, MTA, SaaS, verification, workflow patterns
Journal
31
Issue
ISSN
Citations 
6
0960-0833
0
PageRank 
References 
Authors
0.34
0
6
Name
Order
Citations
PageRank
Kai Hu151.33
Ji Wan200.34
Kan Luo300.34
Yuzhuang Xu400.34
Zijing Cheng583.63
Wei-Tek Tsai600.34