Analysis on the Application of Blockchain Technology in the Development of Elderly Service Industry
Yan Zheng, Rui Sun
Available Online 2 November 2020.
- https://doi.org/10.2991/assehr.k.201030.040How to use a DOI?
- blockchain, population aging, elderly care service industry
- 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.
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 -