文献详情
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  卷:60  页码范围:122-143  
期刊信息SIMULATION MODELLING PRACTICE AND THEORY影响因子和分区  ISSN:1569-190X
关键词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
语言外文
人气指数15
浏览次数15
基金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 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.

Simulation of real-time systems with clock calculus.

Hu, Kai;Zhang, Teng;Yang, Zhibin,等.SIMULATION MODELLING PRACTICE AND THEORY.2015,51,69-86.

Research on SCPS-NP routing protocol.

Jiang, Hong;Hu, Kai.2nd International Conference on Information Engineering and Computer Science, ICIECS 2010.2010.

An analytical model of k-ary n-cube under spatial communication locality.

Hu, Kai;Wang, Zhe.24th IEEE International Conference on Advanced Information Networking and Applications Workshops, WAINA 2010.2010,24-29.

登录