Title :
Formal Analysis Method of Internetware Evolution
Author :
Wang, Qi ; Wang, Yongbin
Author_Institution :
Sch. of Comput., Commun. Univ. of China, Beijing, China
Abstract :
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.
Keywords :
Internet; formal specification; formal verification; process algebra; security of data; Internetware evolution; Seal-Calculus; dynamic evolving modeling method; formal analysis method; process algebra; security communication mechanism; software evolution; Adaptation models; Analytical models; Logic gates; Power systems; Seals; Security; Software; formal method; internetware; seal calculus; software evolution;
Conference_Titel :
Computer Science and Electronics Engineering (ICCSEE), 2012 International Conference on
Print_ISBN :
978-1-4673-0689-8
DOI :
10.1109/ICCSEE.2012.235
