DocumentCode :
2622713
Title :
Formalism for Safe Component Upgrades
Author :
Xu, Xiaohui ; Huang, Linpeng ; Wang, Xin
Author_Institution :
Dept. of Comput. Sci. & Eng., Shanghai Jiao Tong Univ., Shanghai, China
Volume :
7
fYear :
2009
fDate :
March 31 2009-April 2 2009
Firstpage :
802
Lastpage :
806
Abstract :
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.
Keywords :
automata theory; object-oriented programming; program diagnostics; protocols; reasoning about programs; behavioral protocol; component instance reasoning; formal interface method; interface automata-with-dependency; refinement check; runtime component monitoring mechanism; safe software component upgrade formalism; static subtyping comparison; statically analyzed component compatibility; Automata; Availability; Computer science; Costs; Information analysis; Mission critical systems; Monitoring; Protocols; Runtime environment; Software systems; Component-based Software; Formalism; Software Upgrade;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Computer Science and Information Engineering, 2009 WRI World Congress on
Conference_Location :
Los Angeles, CA
Print_ISBN :
978-0-7695-3507-4
Type :
conf
DOI :
10.1109/CSIE.2009.761
Filename :
5170426
Link To Document :
بازگشت