Dynamic Modeling and Analyzing About CPS in Bigraph
By taking the stochastic bigraph as modeling tool after analyzing the stochastic CPS,w e establish a kind of stochastic CPS model,and then give a quantitative analysis method to the model. The bigraph,proposed by M ilner,is a graphics formal modeling tool for pervasive system w hich combines the advantages of the π-calculus and mobile ambient calculus,and it provides a nice modeling language for pervasive computing applications. The stochastic bigraph is an extension of bigraph w hose reaction rules are assigned reaction rate. Hence stochastic bigraphs enhance the representation and analysis capabilities of bigraphs and makes up the defect of bigraphs. Finally,w e investigate how to model CPS in stochastic bigraphs in conjunction w ith taking smart home as an example and illustrate further the effectiveness of the stochastic CPS model presented in this paper.