文献详情
Multi-tenant Verification-as-a-Service (VaaS) in a cloud
文献类型期刊
作者Hu, Kai[1];Lei, Lei[2];Tsai, Wei-Tek[3]
机构
2016
期刊名称SIMULATION MODELLING PRACTICE AND THEORY影响因子和分区
通讯作者Hu, K (reprint author), Beihang Univ, State Key Lab Software Dev Environm, Beijing 100191, Peoples R China.
60
来源信息年:2016  卷:60  页码范围:122-143  
期刊信息SIMULATION MODELLING PRACTICE AND THEORY影响因子和分区  ISSN:1569-190X
页码范围122-143
关键词SaaS; Multi-Tenant Architecture (MTA); Formal method; Verification-as-a-Service (VaaS); Bigraph; Model checking
增刊正刊
摘要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
人气指数17
浏览次数17
基金National Natural Science Foundations of China [61073013]; State Key Laboratory of Software Development Environment [SKLSDE-2014ZX-09]; Aviation Science Foundation of China [2012ZC51025]
全部评论(0 条评论)
作者其他论文

Cloud-Based Software Crowdsourcing.

Tsai, Wei-Tek;Wu, Wenjun;Huhns, Michael N..IEEE INTERNET COMPUTING.2014,18(3),78-83.

An Improved Traffic Matrix Decomposition Method with Frequency-Domain Regularization.

Wang, Zhe;Hu, Kai;Yin, Baolin.IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS.2013,E96D(3),731-734.

Mono image based object recognition with mapreduce.

Yu, Yun-Jui;Hu, Kai.2013 5th International Conference on Advanced Computer Control, ICACC 2013.2014,59,711-718.

An evaluation framework for software crowdsourcing.

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

Towards a Formal Semantics for the AADL Behavior Annex.

Yang, Zhibin;Hu, Kai;Ma, Dianfu,等.Design, Automation and Test in Europe Conference and Exhibition.2009,1166-1171.

登录