We found a match
Your institution may have rights to this item. Sign in to continue.
- Title
Modeling and Verification of Reconfigurable Printing System Based on Process Algebra.
- Authors
Luo, Rubai; Gao, Shasha; Li, Huailin; Zhou, Shisheng
- 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.
- Subjects
PRINTING; ALGEBRA; STATISTICAL reliability; SECURITY printing; ADAPTIVE computing systems; MANAGEMENT
- Publication
Mathematical Problems in Engineering, 2018, p1
- ISSN
1024-123X
- Publication type
Article
- DOI
10.1155/2018/9189836