Modeling and Verification of Reconfigurable Printing System Based on Process Algebra

Modeling and Verification of Reconfigurable Printing System Based on Process Algebra

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-wo...

Full description

Bibliographic Details
Main Authors: Rubai Luo, Shasha Gao, Huailin Li, Shisheng Zhou
Format: Article
Language:English
Published: Hindawi Limited 2018-01-01
Series:Mathematical Problems in Engineering
Online Access:http://dx.doi.org/10.1155/2018/9189836
id doaj-f43b9121c89542da9162b17049268698
record_format Article
spelling doaj-f43b9121c89542da9162b170492686982020-11-25T00:36:13ZengHindawi LimitedMathematical Problems in Engineering1024-123X1563-51472018-01-01201810.1155/2018/91898369189836Modeling and Verification of Reconfigurable Printing System Based on Process AlgebraRubai Luo0Shasha Gao1Huailin Li2Shisheng Zhou3Faculty of Printing, Packing Engineering, and Digital Media Technology, Xi’an University of Technology, Xi’an, Shaanxi 710048, ChinaFaculty of Printing, Packing Engineering, and Digital Media Technology, Xi’an University of Technology, Xi’an, Shaanxi 710048, ChinaShaanxi Provincial Key Laboratory of Printing and Packaging Engineering, Xi’an University of Technology, Xi’an 710048, ChinaFaculty of Printing, Packing Engineering, and Digital Media Technology, Xi’an University of Technology, Xi’an, Shaanxi 710048, ChinaWith 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.http://dx.doi.org/10.1155/2018/9189836
collection DOAJ
language English
format Article
sources DOAJ
author Rubai Luo
Shasha Gao
Huailin Li
Shisheng Zhou
spellingShingle Rubai Luo
Shasha Gao
Huailin Li
Shisheng Zhou
Modeling and Verification of Reconfigurable Printing System Based on Process Algebra
Mathematical Problems in Engineering
author_facet Rubai Luo
Shasha Gao
Huailin Li
Shisheng Zhou
author_sort Rubai Luo
title Modeling and Verification of Reconfigurable Printing System Based on Process Algebra
title_short Modeling and Verification of Reconfigurable Printing System Based on Process Algebra
title_full Modeling and Verification of Reconfigurable Printing System Based on Process Algebra
title_fullStr Modeling and Verification of Reconfigurable Printing System Based on Process Algebra
title_full_unstemmed Modeling and Verification of Reconfigurable Printing System Based on Process Algebra
title_sort modeling and verification of reconfigurable printing system based on process algebra
publisher Hindawi Limited
series Mathematical Problems in Engineering
issn 1024-123X
1563-5147
publishDate 2018-01-01
description 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.
url http://dx.doi.org/10.1155/2018/9189836
work_keys_str_mv AT rubailuo modelingandverificationofreconfigurableprintingsystembasedonprocessalgebra
AT shashagao modelingandverificationofreconfigurableprintingsystembasedonprocessalgebra
AT huailinli modelingandverificationofreconfigurableprintingsystembasedonprocessalgebra
AT shishengzhou modelingandverificationofreconfigurableprintingsystembasedonprocessalgebra
_version_ 1725306344107409408

Similar Items