I. Introduction
In order to satisfy agile, flexible, and cost-effective business requirements, enterprises are increasingly resorting to a cloud-based deployment of their business processes. In addition, they have been recently looking into taking advantage of two emerging technologies: cloud federations and configurable processes. On the one hand, cloud federation systems offer scalable infrastructures to meet the requirements of an enterprise when outsourcing its service-based business process management. A cloud federation interconnects voluntarily the cloud computing environments of two or more service providers to commercialize its resources in a market fashion and to guarantee service delivery that meets its Service-Level Agreements (SLA) [1]. On the other hand, configurable business process models provide for the reusability and flexibility requirements in business processes [2]. A configurable business process model is a generic model that integrates multiple process solutions (i.e., process variants) in a given domain. It extends a regular business process model with variation points (called configurable elements) that offer multiple design options, and they are configured according to specific needs to derive the suitable process variant(s) [3]. Thats is, enterprises with similar business processes can share a configurable process model, and each enterprise can derive its particular variants with minimal modeling/developing efforts.