Verification algebra for multi-tenant applications in VaaS architecture

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.