Analysis on the Application of Blockchain Technology in the Development of Elderly Service Industry

DOI

10.2991/assehr.k.201030.040How to use a DOI?

Keywords

blockchain, population aging, elderly care service industry

Abstract

Stochastic model checking is the extension and generalization of the classical model checking. Compared with classical model checking, stochastic model checking faces more severe state explosion problem, because it combines classical model checking algorithms with numerical methods for calculating probabilities. Aiming at dealing with this, we first apply symmetric assume-guarantee rule symmetric (SYM) for two-component systems and symmetric assume-guarantee rule for n-component systems into stochastic model checking in this paper, and propose a compositional stochastic model checking framework of probabilistic automata based on the NL* algorithm. It optimizes the existed compositional stochastic model checking process to draw a conclusion quickly, in cases the system model does not satisfy the quantitative properties. We implement the framework based on the PRISM tool with several large cases used to demonstrate the performance of it.

Copyright

© 2020, the Authors. Published by Atlantis Press.

Open Access

This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)

TY  - CONF
AU  - Yan Zheng
AU  - Rui Sun
PY  - 2020
DA  - 2020/11/02
TI  - Analysis on the Application of Blockchain Technology in the Development of Elderly Service Industry
BT  - Proceedings of the 2020 International Conference on Social Sciences and Big Data Application (ICSSBDA 2020)
PB  - Atlantis Press
SP  - 194
EP  - 200
SN  - 2352-5398
UR  - https://doi.org/10.2991/assehr.k.201030.040
DO  - 10.2991/assehr.k.201030.040
ID  - Zheng2020
ER  -