Formal Approach to Workflow Application Fragmentations Over Cloud Deployment Models

被引:2
|
作者
Ahn, Hyun [1 ]
Kim, Kwanghoon Pio [1 ]
机构
[1] Div Comp Sci & Engn, Gyeonggi 16227, South Korea
来源
CMC-COMPUTERS MATERIALS & CONTINUA | 2021年 / 67卷 / 03期
基金
新加坡国家研究基金会;
关键词
Cloud workflows; cloud deployment model; workflow application fragmentations; information control net; SECURITY MODEL; MANAGEMENT; ARCHITECTURE; CHALLENGES;
D O I
10.32604/cmc.2021.015280
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Workflow 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 workflow 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 workflow 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 workflow processes and their applications and to deploy the workflow process and application fragments over three types of cloud deployment models and architectures. To concretize the formal approach, we firstly devise a series of operational situations fragmenting into cloud workflow 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 workflow process and applications as an implementing component for cloud workflow 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 workflow processes and applications to be deployed on cloud deployment models and architectural computing environments as well.
引用
收藏
页码:3071 / 3088
页数:18
相关论文
共 50 条
  • [1] A formal approach for the correct deployment of cloud applications
    Mammar, Amel
    Belguidoum, Meriem
    Hiba, Saddam Hocine
    SCIENCE OF COMPUTER PROGRAMMING, 2024, 232
  • [2] Formal translation of YAWL workflow models to the Alloy formal specifications: a testing application
    Rivadeh, Mehran
    Mirian-Hosseinabadi, Seyed-Hassan
    SOFTWARE AND SYSTEMS MODELING, 2023, 22 (03): : 941 - 968
  • [3] Formal translation of YAWL workflow models to the Alloy formal specifications: a testing application
    Mehran Rivadeh
    Seyed-Hassan Mirian-Hosseinabadi
    Software and Systems Modeling, 2023, 22 : 941 - 968
  • [4] Workflow Deployment on Collaborative Cloud Platforms
    Di Stefano, A.
    Carpinteri, S.
    Morana, G.
    Zito, D.
    2014 INTERNATIONAL CONFERENCE ON INTELLIGENT NETWORKING AND COLLABORATIVE SYSTEMS (INCOS), 2014, : 18 - 25
  • [5] An Application Deployment Approach based on Hybrid Cloud
    Huang, Fengtao
    Li, Hao
    Yuan, Zhihao
    Li, Xian
    2017 IEEE 3RD INTERNATIONAL CONFERENCE ON BIG DATA SECURITY ON CLOUD (BIGDATASECURITY, IEEE 3RD INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE AND SMART COMPUTING, (HPSC) AND 2ND IEEE INTERNATIONAL CONFERENCE ON INTELLIGENT DATA AND SECURITY (IDS), 2017, : 74 - 79
  • [6] AutoCADep: An Approach for Automatic Cloud Application Deployment
    Hiba, Saddam Hocine
    Belguidoum, Meriem
    SERVICE-ORIENTED COMPUTING, ICSOC 2019, 2020, 12019 : 82 - 94
  • [7] Workflow models and their formal descriptions
    Li, Hong-Chen
    Shi, Mei-Lin
    Jisuanji Xuebao/Chinese Journal of Computers, 2003, 26 (11): : 1456 - 1463
  • [8] Workflow Partitioning and Deployment on the Cloud using Orchestra
    Jaradat, Ward
    Dearle, Alan
    Barker, Adam
    2014 IEEE/ACM 7TH INTERNATIONAL CONFERENCE ON UTILITY AND CLOUD COMPUTING (UCC), 2014, : 251 - 260
  • [9] A Formal Model of Cloud-Deployed Software and its Application to Workflow Processing
    Johnsen, Einar Broch
    Pun, Ka I.
    Tarifa, S. Lizeth Tapia
    2017 25TH INTERNATIONAL CONFERENCE ON SOFTWARE, TELECOMMUNICATIONS AND COMPUTER NETWORKS (SOFTCOM), 2017, : 29 - +
  • [10] A formal approach to workflow analysis
    Basu, A
    Blanning, RW
    INFORMATION SYSTEMS RESEARCH, 2000, 11 (01) : 17 - 36