A Formal Technique for Composing Cloud Services

Abstract


 
 
 Recent cloud search engines lack a formal method in their service composition mechanisms to automatically build composite services realizing user requirements. This paper prescribes behavior composition framework as a formal tools for the search engines. The framework automatically synthesizes a controller that delegates the service operations requested by a cloud user to the proper available cloud services whose operations satisfy the request. Since most cloud search engines support semantic and ontology to discover similar service operations, the paper extends the framework to be more adaptable with such search engines through the use of resource reasoning. Several experiments are provided to demonstrate how the extended framework outperforms the original one in terms of realizing users’ requirements.
 
 
 

Blockchain Based Auditable Access Control For Business Processes With Event Driven Policies

“…Specifically, we propose an approach to generate an efficiently evaluatable composite access control policy using the local access control policies of component services that include both attribute-based and event-driven policies. Since a BP and event-driven policies can be abstracted as automata, we can make use of a behavior composition framework to automatically compose the BP and event-driven policies for realizing a desired specification -called a target behavior [4], [6]. The framework uses a sound and complete automata-theoretic technique for synthesizing a controller/orchestrator that at each step of execution delegates a requested operation by the target to a proper available service.…”