This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2009 WRI World Congress on Computer Science and Information Engineering
Formalism for Safe Component Upgrades
Los Angeles, California USA
March 31-April 02
ISBN: 978-0-7695-3507-4
Current systems and methods supporting component upgrade tend to use a static subtyping comparison or refinement check to guarantee upgrade process. They statically analyzed component compatibility and substitutability without taking the context dependencies into account. This paper proposes a formal underpinning of methods aimed at reasoning about the component instances for its upgradability. We analyze the behavioral protocols of software component and its dependencies with runtime environments, and then introduce interface automata with dependency constraints to express the runtime behaviors and the interaction on the components. Through some efficient monitoring mechanisms, we can check the upgradability of runtime components with taking into account the exact behaviors of environment components.
Index Terms:
Component-based Software, Software Upgrade, Formalism
Citation:
Xiaohui Xu, Linpeng Huang, Xin Wang, "Formalism for Safe Component Upgrades," csie, vol. 7, pp.802-806, 2009 WRI World Congress on Computer Science and Information Engineering, 2009
Usage of this product signifies your acceptance of the Terms of Use.