Formal behavior modeling: Business processes based on cloud platform

被引：0
|
作者：
Huang, Bo [1 ]
Xu, Yong [2 ]
Yuan, Mengting [1 ]
Wu, Guoqing [1 ]
机构：
[1] School of Computer, Wuhan University, Wuhan, China
[2] School of Mathematics and Information Sciences, Zhaoqing University, Guangdong, China
来源：
Journal of Networks | 2013年 / 8卷 / 06期
关键词：
D O I：
10.4304/jnw.8.6.1417-1424
中图分类号：
学科分类号：
摘要：
20
引用
收藏
页码：1417 / 1424
相关论文
共 50 条
  • [1] Formal Semantics for Modeling Collaborative Business Processes Based on Interaction Protocols
    Reynares, Emiliano
    Roa, Jorge
    Laura Caliusco, Maria
    David Villarreal, Pablo
    [J]. BUSINESS PROCESS MANAGEMENT WORKSHOPS (BPM 2017), 2018, 308 : 770 - 781
  • [2] Formal Modeling and Evaluation of Service-based Business Process Elasticity in the Cloud
    Amziani, Mourad
    Melliti, Tarek
    Tata, Samir
    [J]. 2013 IEEE 22ND INTERNATIONAL WORKSHOP ON ENABLING TECHNOLOGIES: INFRASTRUCTURE FOR COLLABORATIVE ENTERPRISES (WETICE), 2013, : 284 - 291
  • [3] Formal Modelling and Verification of Cloud Resource Allocation in Business Processes
    Garfatta, Ikram
    Klai, Kais
    Graiet, Mohamed
    Gaaloul, Walid
    [J]. ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS, OTM 2018, PT I, 2018, 11229 : 552 - 567
  • [4] Using Formal Model for Evaluation of Business Processes Elasticity in the Cloud
    Yataghene, Lydia
    Ioualalen, Malika
    Amziani, Mourad
    Tata, Samir
    [J]. SERVICE-ORIENTED COMPUTING - ICSOC 2016 WORKSHOPS, 2017, 10380 : 33 - 44
  • [5] Formal Modeling and Discovery of Multi-instance Business Processes: A Cloud Resource Management Case Study
    Liu, Cong
    [J]. IEEE-CAA JOURNAL OF AUTOMATICA SINICA, 2022, 9 (12) : 2151 - 2160
  • [6] Formal Modeling and Discovery of Multi-instance Business Processes: A Cloud Resource Management Case Study
    Cong Liu
    [J]. IEEE/CAA Journal of Automatica Sinica, 2022, 9 (12) : 2151 - 2160
  • [7] Formal Modeling and Evaluation of Stateful Service-Based Business Process Elasticity in the Cloud
    Amziani, Mourad
    Melliti, Tarek
    Tata, Samir
    [J]. ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2013 CONFERENCES, 2013, 8185 : 21 - 38
  • [8] Cloud Based Business Processes Orchestration
    Ciovica, Liviu
    Cristescu, Marian Pompiliu
    Fratila, Lucian Alexandru
    [J]. 21ST INTERNATIONAL ECONOMIC CONFERENCE OF SIBIU 2014, IECS 2014 PROSPECTS OF ECONOMIC RECOVERY IN A VOLATILE INTERNATIONAL CONTEXT: MAJOR OBSTACLES, INITIATIVES AND PROJECTS, 2014, 16 : 592 - 596
  • [9] Formal Verification of Temporal Constraints and Allocated Cloud Resources in Business Processes
    Ben Halima, Rania
    Zouaghi, Imen
    Kallel, Slim
    Gaaloul, Walid
    Jmaiel, Mohamed
    [J]. PROCEEDINGS 2018 IEEE 32ND INTERNATIONAL CONFERENCE ON ADVANCED INFORMATION NETWORKING AND APPLICATIONS (AINA), 2018, : 952 - 959
  • [10] Formal Modeling and Discovery of Hierarchical Business Processes: A Petri Net-Based Approach
    Liu, Cong
    Cheng, Long
    Zeng, Qingtian
    Wen, Lijie
    [J]. IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2023, 53 (02): : 1003 - 1014
12345