文献详情
Multi-tenant Verification-as-a-Service (VaaS) in a cloud
文献类型期刊
作者Hu, Kai[1];Lei, Lei[2];Tsai, Wei-Tek[3]
机构
通讯作者Hu, K (reprint author), Beihang Univ, State Key Lab Software Dev Environm, Beijing 100191, Peoples R China.
2016
期刊名称SIMULATION MODELLING PRACTICE AND THEORY影响因子和分区
来源信息年:2016  卷:60  页码范围:122-143  
60
期刊信息SIMULATION MODELLING PRACTICE AND THEORY影响因子和分区  ISSN:1569-190X
关键词SaaS; Multi-Tenant Architecture (MTA); Formal method; Verification-as-a-Service (VaaS); Bigraph; Model checking
页码范围122-143
增刊正刊
摘要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. (C) 2015 Elsevier B.V. All rights reserved.
收录情况SCIE(WOS:000365383200008)  EI(20154601543198)  
所属部门计算机学院
DOI10.1016/j.simpat.2015.09.003
百度学术Multi-tenant Verification-as-a-Service (VaaS) in a cloud
语言外文
ISSN1569-190X
人气指数18
浏览次数18
基金National Natural Science Foundations of China [61073013]; State Key Laboratory of Software Development Environment [SKLSDE-2014ZX-09]; Aviation Science Foundation of China [2012ZC51025]
全部评论(0 条评论)
作者其他论文

An evaluation framework for software crowdsourcing.

Wu, Wenjun;Tsai, Wei-Tek;Li, Wei.FRONTIERS OF COMPUTER SCIENCE.2013,7(5),694-709.

基于时间抽象状态机的AADL模型验证?.

杨志斌;胡凯;赵永望,等.软件学报.2015,202-222.

Test algebra for combinatorial testing.

Tsai, Wei-Tek;Colbourn, Charles J.;Luo, Jie,等.2013 8th International Workshop on Automation of Software Test, AST 2013.2013,19-25.

The Design and Implementation of an Extended 1553B Bus IP Core to Support Large File Transfer.

Hu, Kai;Liu, Kai;Liu, Cheng.2012 7TH INTERNATIONAL CONFERENCE ON COMPUTING AND CONVERGENCE TECHNOLOGY (ICCCT2012).2012,494-498.

登录