Seal-Calculus Based Dynamic Evolution Model for Internetware
Qi Wang, Yong Bin Wang · Applied Mechanics and Materials · 2014
Dynamic evolving characteristic is the key of modeling internetware architecture. However, it is lack of formal description and theoretical analysis for model dynamic evolution for the moment, a new kind of internetware dynamic evolving modeling method based on Seal-Calculus of process algebra is presented and formalized analysis is conducted for evolving process in practical applications, which is convenient to express obviously and strictly the dynamic process of the system, providing a new means and theoretical basis.