Modeling and validating self-adaptive service-oriented applications
MOSES: A Framework for QoS Driven Runtime Adaptation of Service-Oriented Systems