A Predicate Logic-Defined Specification Method for Systems Deployed by Intercloud Brokerages

This paper proposes a formal predicate logic-based method for the specification of intercloud information systems comprising combinations of cloud services. The proposed framework utilizes predicates with variables in universally quantified atoms to provide general descriptive capability for a wide variety of cloud services and their various properties. We define the proposed Predicate Logic-defined Specification (PLS) method and explain how it can be applied to describe three-tier web applications using an example global-scale intercloud environment. We also discuss the effectiveness of the proposed method in Cloud Service Brokerage (CSB) scenarios compared with conventional approaches based on Satisfiability problems (SAT) and Satisfiability Modulo Theories (SMT).