Because of lack of formal expression support and theoretical analysis in software evolution and security communication mechanism of internet ware, seal calculus in process algebra is introduced in internet ware evolution, a new kind of internet ware 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.
展开▼
