Reactive systems, barbed semantics, and the Mobile Ambients