Formal Approach to Workow Application Fragmentations Over Cloud Deployment Models

Workow management technologies have been dramatically improving their deployment architectures and systems along with the evolution and proliferation of cloud distributed computing environments.Especially,such cloud computing environments ought to be providing a suitable distributed computing paradigm to deploy very large-scale workow processes and applications with scalable on-demand services.In this paper,we focus on the distribution paradigm and its deployment formalism for such very large-scale workow applications being deployed and enacted across the multiple and heterogeneous cloud computing environments.We propose a formal approach to vertically as well as horizontally fragment very large-scale workow processes and their applications and to deploy the workow process and application fragments over three types of cloud deployment models and architectures.To concretize the formal approach,we rstly devise a series of operational situations fragmenting into cloud workow process and application components and deploying onto three different types of cloud deployment models and architectures.These concrete approaches are called the deployment-driven fragmentation mechanism to be applied to such very large-scale workow process and applications as an implementing component for cloud workow management systems.Finally,we strongly believe that our approach with the fragmentation formalisms becomes a theoretical basis of designing and implementing very large-scale and maximally distributed workow processes and applications to be deployed on cloud deployment models and architectural computing environments as well.