Portal de Periódicos da CAPES

Modeling and Verification of Reconfigurable Printing System Based on Process Algebra

2018; Hindawi Publishing Corporation; Volume: 2018; Linguagem: Inglês

10.1155/2018/9189836

1563-5147

Rubai Luo, Shasha Gao, Huailin Li, Shisheng Zhou,

Digital Transformation in Industry

With the print production process as the research object in this paper, the intelligent-context-reconfigurable printing system model is analyzed using process algebra (PA). First, combined with the printing production process, the overall framework of the system model, based on the agent-resource-worker (ARW) component model, is proposed. Abstract and formal verification of the system model are then carried out, and the verification process of the complex calibration process is discussed. Finally, the security and progress attributes of the model are validated by mCRL2. The results show that the system model has good reliability.