DocumentCode
2576159
Title
Research on dynamic component replacement and its formal specification
Author
Xiaojian, Li ; Ying, Zheng
Author_Institution
Int. Sch. of Software, Wuhan Univ., Wuhan, China
Volume
2
fYear
2010
fDate
30-31 May 2010
Firstpage
63
Lastpage
67
Abstract
In fact, dynamic component replacement is a relatively difficult problem in the practice of software engineering. This paper presents a new approach which based on architecture reflection to achieve the goal of dynamic component replacement. And what´s more, through a concrete case study, the process and formal specification of component replacement were detailed illustrated.
Keywords
formal specification; software engineering; architecture reflection; dynamic component replacement; formal specification; software engineering; Calculus; Computer architecture; Computer languages; Environmental economics; Formal specifications; Middleware; Programming profession; Reflection; Software architecture; Software systems; component replacement; formal specification; pi calculus; reflection;
fLanguage
English
Publisher
ieee
Conference_Titel
Networking and Digital Society (ICNDS), 2010 2nd International Conference on
Conference_Location
Wenzhou
Print_ISBN
978-1-4244-5162-3
Type
conf
DOI
10.1109/ICNDS.2010.5479411
Filename
5479411
Link To Document