Attribute configuration verification method of distributed framework based on finite state machine
1. College of Information Science and Engineering, Shanxi Agricultural University,Taigu, Shanxi 030801, China； 2. Beijing Weimeng Chuangke Network Technology Co., Ltd., Beijing 100080, China
Abstract：Dynamic configuration technology provides users a non-stop, flexible and convenient way of service configuration, while it can bring a potential of misconfigurations and lead to system crashes and decline of service quality. To solve the problem, a dynamic configuration verification method of distributed framework was proposed based on finite state machine. The data type validation was achieved by data type conversion, which took advantage of the logic of finite state automation (FSA). The distributed framework configuration validation was implemented based on the dynamic configuration of Spring Cloud. To avoid unnecessary file reading and writing, Java compiler was improved to load the dynamically compiled bytecode in memory. The proposed configuration verification method was tested with the cases of misconfigurations of primitive and wrapped data types based on Spring Cloud config framework. The results show that the method can detect and process errors of data overflow, container unclosed, container nested error and mismatch of data type of primitive types and containers decoupling code by FSA, and it provides clear logic to the properties of configuration verification and reference for the configuration management of cloud framework.
刘怡然1，谢鹏飞2，邓雪峰1. 一种基于有限状态机的分布式框架配置属性校验方法[J]. 江苏大学学报（自然科学版）, 2022, 43(1): 83-87.
LIU Yiran1, XIE Pengfei2, DENG Xuefeng1. Attribute configuration verification method of distributed framework based on finite state machine[J]. Journal of Jiangsu University(Natural Science Eidtion)
, 2022, 43(1): 83-87.
SRIVASTAVA A K, KUMAR S. Dynamic reconfiguration of robot software component in real time distributed system using clustering techniques[J]. Procedia Computer Science, 2018, 125: 754-761.
HOU Z W, ZHAI H X, SHEN J Q. Dynamic web ser-vice composition based on global QoS constrains decomposition and correlation aware[J]. Journal of Chongqing University of Posts and Telecommunications (Natural Science Edition), 2018, 30(5): 606-613. (in Chinese)
［3］
ALIBABA. An easy-to-use dynamic service discovery, configuration and service management platform for buil-ding cloud native applications [EB/OL].［2020-06-13］.https:∥github.com/alibaba/nacos.
［4］
LI Y X, YAO X F. Cloud manufacturing service composition and formal verification based on extended process calculus[J]. Advances in Mechanical Engineering, 2018,10(6): 1-16.
［5］
ZÚÑNIGA-PRIETO M, GONZLEZ-HUERTA J, INSFRAN E, et al. Dynamic reconfiguration of cloud application architectures[J]. Software-Practice and Expe-rience, 2018, 48(2): 327-344.
［6］
KIKUCHI S, UCHIUMI T, KITAJIMA S, et al. Confi-guration policy extraction for parameter settings in cloud infrastructure using UML/OCL verification[C]∥Proceedings of the 2013 IEEE 6th International Conference on Cloud Computing. Piscataway: IEEE Computer So-ciety, 2013: 67-74.
［7］
LEE E, KIM Y G, SEO Y D, et al. RINGA: design and verification of finite state machine for self-adaptive software at runtime[J]. Information and Software Technology, 2018, 93: 200-222.
OUYANG D T, LUO Z Y, GENG X N, et al. Algorithm of state diagnosability for distributed discrete event systems [J]. Journal of Jilin University (Science Edition), 2018, 56(3): 594-600. (in Chinese)
［9］
YENIGUN H, YEVTUSHENKO N, KUSHIK N, et al. The effect of partiality and adaptivity on the complexity of FSM state identification problems[J]. Proceedings of the Institute for System Programming of the RAS, 2018, 30(1): 7-24.
LONG X Z, PENG Y M, LI R M. Information service platform based on microservice framework[J]. Journal of Southeast University (Natural Science Edition), 2017, 47(s1): 48-52.(in Chinese)
［11］
HE S B, ZHAO L N, PAN M Y. The design of inland river ship microservice information system based on Spring Cloud[C]∥Proceedings of the 2018 5th International Conference on Information Science and Control Engineering. Piscataway: IEEE, 2018: 548-551.
2022, Vol. 43 
