. In this paper, after redefining and developing simple formal definition for Composable Application Model (CAM), we present a matchmaking method that could be useful for verifying the correctness of software composition as well as for checking the correct deployment of a software composition on specified cloud platforms. As an illustration, we experimentally transform the cloud application model achieved by our matchmaking method into TOSCA-based specification template, which is known as a standard representation for multi-cloud applications. |