Formalizing class dynamic software updating