Modeling and Verification of Reconfigurable Printing System Based on Process Algebra

Rubai Luo,Shisheng Zhou,Shasha Gao,Huailin Li

doi:10.1155/2018/9189836

Rubai Luo, Shisheng Zhou + Show 2 more

Open Access

https://doi.org/10.1155/2018/9189836

Copy DOI

Abstract

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.

Highlights

As customer demand becomes increasingly varied, demand for product customization and pressure for the rapid introduction of new products are increasing [1]
The results show that the system model has good reliability
Flexible manufacturing systems can convert between different production variants, but they introduce issues of limited flexibility, low productivity, and low return on investment (ROI) [3, 4]

Summary

Introduction

As customer demand becomes increasingly varied, demand for product customization and pressure for the rapid introduction of new products are increasing [1] Traditional manufacturing systems, such as dedicated and flexible systems, cannot provide an adequate response at a reasonable cost and have significant shortcomings in meeting these requirements [2]. Process algebra (PA) is a formal modeling tool for describing complex systems, and its purpose is to provide a method for studying concurrency and interaction [17]. Wei Yaya et al first attempted to use process algebra to describe a workflow, which provided feasibility verification for manufacturing systems [20]. The second section of this article introduces operators related to process algebra.

The Introduction of Process Algebra

Reconfigurable Printing System Model

Reasoning and Verification

Figure 4

Conclusions