共 50 条
- [2] Formal translation of YAWL workflow models to the Alloy formal specifications: a testing application SOFTWARE AND SYSTEMS MODELING, 2023, 22 (03): : 941 - 968
- [3] Formal translation of YAWL workflow models to the Alloy formal specifications: a testing application Software and Systems Modeling, 2023, 22 : 941 - 968
- [4] Workflow Deployment on Collaborative Cloud Platforms 2014 INTERNATIONAL CONFERENCE ON INTELLIGENT NETWORKING AND COLLABORATIVE SYSTEMS (INCOS), 2014, : 18 - 25
- [5] An Application Deployment Approach based on Hybrid Cloud 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 SERVICE-ORIENTED COMPUTING, ICSOC 2019, 2020, 12019 : 82 - 94
- [7] Workflow models and their formal descriptions Jisuanji Xuebao/Chinese Journal of Computers, 2003, 26 (11): : 1456 - 1463
- [8] Workflow Partitioning and Deployment on the Cloud using Orchestra 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 2017 25TH INTERNATIONAL CONFERENCE ON SOFTWARE, TELECOMMUNICATIONS AND COMPUTER NETWORKS (SOFTCOM), 2017, : 29 - +