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
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)

Volume Title
Proceedings of the 2020 International Conference on Social Sciences and Big Data Application (ICSSBDA 2020)
Series
Advances in Social Science, Education and Humanities Research
Publication Date
2 November 2020
ISBN
10.2991/assehr.k.201030.040
ISSN
2352-5398
DOI
10.2991/assehr.k.201030.040How to use a DOI?
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/).

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