Paper Info
Title
Multi-tenant Verification-as-a-Service (VaaS) in a cloud
Abstract
Formal methods and verification technique are often used to develop mission-critical systems. Cloud computing offers new computation models for applications and the new model can be used for formal verification. But formal verification tools and techniques may need to be updated to exploit the cloud architectures. Multi-Tenant Architecture (MTA) is a design architecture used in SaaS (Software-as-a-Service) where a tenant can customize its applications by integrating either services already stored in the SaaS database or newly supplied services. This paper proposes a new concept VaaS (Verification-as-a-Service), similar to SaaS, by leveraging the computing power offered by a cloud environment with automated provisioning, scalability, and service composition. A VaaS hosts verification software in a cloud environment, and these services can be called on demand, and can be composed to verify a software model. This paper presents a VaaS architecture with components, and ways that a VaaS can be used to verify models. Bigragh is selected as the modeling language for illustration as it can model mobile applications. A Bigraph models can be verified by first converting it to a state model, and the state model can be verified by model-checking tools. The VaaS services combination model and execution model are also presented. The algorithm of distributing VaaS services to a cloud is given and its efficiency is evaluated. A case study is used to demonstrate the feasibility of a VaaS.
Year
DOI
Venue
2016
10.1016/j.simpat.2015.09.003
Simulation Modelling Practice and Theory
Keywords
Field
DocType
SaaS,Multi-Tenant Architecture (MTA),Formal method,Verification-as-a-Service (VaaS),Bigraph,Model checking
Computer science,Modeling language,Real-time computing,Provisioning,Software as a service,Execution model,Formal methods,Formal verification,Scalability,Cloud computing
Journal
Volume
ISSN
Citations 
60
1569-190X
3
PageRank 
References 
Authors
0.37
26
3
Name
Order
Citations
PageRank
Kai Hu19012.83
Lei Lei281.01
Wei-Tek Tsai33601610.30