Formal model of a generic autonomic manager for middleware object oriented