Skip to Main Content
How to design a distributed and open-ended Cyber-Physical system (CPS) architecture is an important issue for constructing different CPS business applications. In this paper, a service-oriented architecture is proposed, in which software and hardware components are represented in the form of interoperable CPS services. CPS services are combined to realize complicated business requirements. Further, a formal method for verifying validity of CPS service composition model is put forward based on Time-Space π-calculus, which is presented through introducing time operator and space operator into π-calculus. Finally, a case study is performed to show that how to apply the model and method to CPS components composition. The experiment result shows that they are reasonable and feasible.