Operational Semantics of Goal Models in Adaptive Agents