selected publications conference paper An Extensible Architecture for Detecting Violations of a Cloud Environment's Constraints during Legacy Software System Migration 2011