Towards a unified formal model for supporting mechanisms of dynamic component update