Toward a formal semantics for autonomic components