Formal Analysis Method of Internetware Evolution
Because of lack of formal expression support and theoretical analysis in software evolution and security communication mechanism of internetware, seal calculus in process algebra is introduced in internerware evolution, 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.
internetware software evolution seal calculus formal method
Qi Wang Yongbin Wang
School of Computing Communication University of China Beijing, China, 10024
国际会议
杭州
英文
357-360
2012-03-23（万方平台首次上网日期，不代表论文的发表时间）