A formal model for self-adaptive and self-healing organizations