An Extensible Architecture for Detecting Violations of a Cloud Environment's Constraints during Legacy Software System Migration Conference Paper