Proceedings of the 2020 International Conference on Social Sciences and Big Data Application (ICSSBDA 2020)

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

Authors
Yan Zheng, Rui Sun
Corresponding Author
Yan Zheng
Available Online 2 November 2020.
DOI
https://doi.org/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.
Open Access
This is an open access article distributed under the CC BY-NC license.

Download article (PDF)

Cite this article

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  - https://doi.org/10.2991/assehr.k.201030.040
ID  - Zheng2020
ER  -