Design patterns for developing dynamically adaptive systems

摘要: Increasingly, software systems should self-adapt to satisfy new requirements and environmental conditions that may arise after deployment. Due their high complexity, adaptive programs are difficult specify, design, verify, validate. Moreover, the current lack of reusable design expertise can be leveraged from one system another further exacerbates problem. We studied over thirty adaptation-related research project implementations available literature open sources harvest adaptation-oriented patterns support development systems. These facilitate separate functional logic. In order assurance systems, each pattern includes templates formally specify invariant properties To demonstrate usefulness, we have applied a subset our implementation ZAP.com, an news web server.