About the Authors

Chunhua Jin

Roles Methodology

xajch0206@163.com

Affiliation Faculty of Computer & Software Engineering, Huaiyin Institute of Technology, Huai’an, China

Ge Kan

Roles Formal analysis

Affiliation Faculty of Computer & Software Engineering, Huaiyin Institute of Technology, Huai’an, China

Guanhua Chen

Roles Conceptualization

Affiliation Faculty of Computer & Software Engineering, Huaiyin Institute of Technology, Huai’an, China

Changhui Yu

Roles Investigation

Affiliation Faculty of Computer & Software Engineering, Huaiyin Institute of Technology, Huai’an, China

Ying Jin

Roles Validation

Affiliation Faculty of Computer & Software Engineering, Huaiyin Institute of Technology, Huai’an, China

Chengjie Xu

Roles Formal analysis

Affiliation Faculty of Computer & Software Engineering, Huaiyin Institute of Technology, Huai’an, China

Competing Interests

The authors have declared that no competing interests exist.