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.

A Virtualization-Based SaaS Enabling Architecture for Cloud Computing

Cloudow: A SaaS Runtime System Based on the User-Level Virtualization Technology

Internet-Based Virtual Computing Infrastructure For Cloud Computing

Study of Software as a Service Support Platform for Small and Medium Businesses

Simsaas: Simulation Software-As-A-Service

Design aspects of Software as a Service to enable e-Business through Cloud platform

HLA-Based SaaS-Oriented Simulation Frameworks

An Architecture for SaaS-Oriented VV&A

Vee@Cloud: the virtual test lab on the cloud

A Service-oriented Programming Platform for Internet-Based Virtual Computing Environment

Ivda: A Efficient And Load-Balanced Virtual Machine Deployment Algorithm In Large Cloud Environment

ASAAS: Application Software as a Service for High Performance Cloud Computing

Managing High-Performance Computing Applications As an On-Demand Service on Federated Clouds

Multi-tenant Verification-as-a-Service (VaaS) in a cloud

Design and Implementation of an Intelligent Cross-Platform IaaS

A Distributed WebGIS Platform Based on SaaS Architecture

Communications Enablement of Software-as-a-Service (saas) Applications

An Infrastructure-as-a-Service Cloud

Compostion Approach for Software as a Service Using Cloud Computing

Software-as-a-service (SaaS): perspectives and challenges

Automatic software deployment using user-level virtualization for cloud-computing