SSC4Cloud Tooling: An Integrated Environment for the Development of Business Processes with Security Requirements in the Cloud · Study