DocumentCode
3572121
Title
Formal Analysis Method of Internetware Evolution
Author
Wang, Qi ; Wang, Yongbin
Author_Institution
Sch. of Comput., Commun. Univ. of China, Beijing, China
Volume
1
fYear
2012
Firstpage
357
Lastpage
360
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Science and Electronics Engineering (ICCSEE), 2012 International Conference on
Print_ISBN
978-1-4673-0689-8
Type
conf
DOI
10.1109/ICCSEE.2012.235
Filename
6188167
Link To Document