Specification, decomposition and agent synthesis for situation-aware service-based systems