Modeling and validating self-adaptive service-oriented applications
Self-organising software architectures for distributed systems