Computer Science – Logic in Computer Science
Scientific paper
2010-11-30
Computer Science
Logic in Computer Science
11 pages
Scientific paper
It is important to enable reasoning about the meaning and possible effects of updates to ensure that the updated system operates correctly. A formal, mathematical model of dynamic update should be developed, in order to understand by both users and implementors of update technology what design choices can be considered. In this paper, we define a formal calculus $update\pi$, a variant extension of higher-order $\pi$ calculus, to model dynamic updates of component-based software, which is language and technology independent. The calculus focuses on following main concepts: proper granularity of update, timing of dynamic update, state transformation between versions, update failure check and recovery. We describe a series of rule on safe component updates to model some general processes of dynamic update and discuss its reduction semantics coincides with a labelled transition system semantics that illustrate the expressive power of these calculi.
Chen Junqing
Huang Linpeng
Wang Dejun
Xu Xiaohui
No associations
LandOfFree
A Calculus of Consistent Component-based Software Updates does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with A Calculus of Consistent Component-based Software Updates, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A Calculus of Consistent Component-based Software Updates will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-444937