Cloud manufacturing service composition and formal verification based on extended process calculus

Yongxiang Li,Xifan Yao

doi:10.1177/1687814018781287

Yongxiang Li, Xifan Yao

Open Access

https://doi.org/10.1177/1687814018781287

Copy DOI

Abstract

Cloud manufacturing is an emerging service-oriented model to solve existing problems in manufacturing. This study proposes a process calculus–based approach to formally model cloud manufacturing service composition that is composed of description model, interaction scenario model, and composition process formal model, in which the semantics of process calculus to describe the quality of service (QoS) information of service composition is extended, and an intelligent service composition method is put forward based on the extended process calculus. Then, a platform architecture for implementing the proposed approach is addressed. The integrated development environment for the platform is set up with selection of free software tools. Thus, a prototype of the platform is developed. Finally, automated guided vehicle processing service composition and the open integrated manufacturing system service composition are taken as examples to illustrate the application of the proposed service composition method. The main attributes of the formal models for the application cases are verified. Case study results show that the proposed service composition and formal verification method based on the extended process calculus is feasible. Compared with other approaches for service composition, the proposed intelligent service composition method meets the most requirements for service composition.

Highlights

In view of the severe situation of domestic industrial structure imbalance, rising manufacturing costs, and the weakness of traditional manufacturing competitive advantage, in 2015, the Chinese government launched the ‘‘China manufacturing 2025,’’1 combining the entity manufacturing industry with cloud computing,[2] big data,[3] and other virtual network technology,[4] to promote the transformation of industrial structure to the high end.[5]
An intelligent service composition (ISC) method based on extended process calculus, business intelligence, and cloud entropy genetic algorithm is proposed
The above results show that the proposed service composition and formal verification method based on extended process calculus are feasible

Summary

Introduction

In view of the severe situation of domestic industrial structure imbalance, rising manufacturing costs, and the weakness of traditional manufacturing competitive advantage, in 2015, the Chinese government launched the ‘‘China manufacturing 2025,’’1 combining the entity manufacturing industry with cloud computing,[2] big data,[3] and other virtual network technology,[4] to promote the transformation of industrial structure to the high end.[5]. Process calculus has a strict definition of formal semantics It can link the dynamic behavior of the cloud service to the operating semantics, and can verify its properties. It is necessary to extend process calculus to model non-functional attributes. The paper extends the semantics of process calculus to describe the quality of service (QoS) information of service composition. An intelligent service composition (ISC) method based on extended process calculus, business intelligence, and cloud entropy genetic algorithm is proposed. It can describe and verify the cloud manufacturing service composition and analyze the QoS of service composition. Cloud manufacturing service composition system prototype is developed, and its application case is given

Literature review

Conclusion