Text this: QoS contract preservation through dynamic reconfiguration: A formal semantics approach