Cloud Manufacturing Service Composition Modeling and Formal Verification Based on Calculus for Orchestration of Web Service

被引：0
|
作者：
Li Yongxiang [1 ]
Yao Xifan [1 ]
Zhang Jie [1 ]
Li Bin [1 ]
机构：
[1] S China Univ Technol, Sch Mech & Automot Engn, Guangzhou 510640, Peoples R China
来源：
2013 25TH CHINESE CONTROL AND DECISION CONFERENCE (CCDC) | 2013年
关键词：
Calculus for Orchestration of Web service; Cloud manufacturing; Service composition; Modeling; Formal verification;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
To solve the problem of modeling and formally verifying the composition of cloud manufacturing services, a new modeling and formal verification approach based on Calculus for Orchestration of Web Service (COWS) combined with Unified Modeling Language (UML) was proposed. First UML activity diagram for Cloud Manufacturing service composition was built with MagicDraw software, and saved as an XML file. The XML file was translated into a COWS file via UML4SOA, and formally verified with COWS Model Checking program (CMC). Furthermore, a composite service about part processing was given. Activity diagram of the service composition was built, including milling service, drilling service, exception handling, event handling and compensation mechanism. Finally, the composition verification result showed that the proposed approach was feasible.
引用
收藏
页码：2806 / 2810
页数：5
相关论文
共 50 条
  • [1] Cloud manufacturing service composition and formal verification based on extended process calculus
    Li, Yongxiang
    Yao, Xifan
    ADVANCES IN MECHANICAL ENGINEERING, 2018, 10 (06)
  • [2] Formal modeling and verification of cloud-based web service composition
    Raza Kazmi, Syed Asad
    Qasim, Awais
    Khalid, Adnan
    Assad, Ruttaba
    Shahbaz, Muhammad
    CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2020, 32 (21):
  • [3] Formal Transaction Modeling and Verification for an Adaptable Web Service Orchestration
    Zatout, Sara
    Benabdelhafid, Maya Souilah
    Boufaida, Mahmoud
    2018 IEEE 18TH INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY COMPANION (QRS-C), 2018, : 531 - 536
  • [4] Formal modeling and verification for web service composition
    Tian, Baojun
    Gu, Yanlin
    Journal of Software, 2013, 8 (11) : 2733 - 2737
  • [5] A Formal Verification for Web Service Composition Based on CCS
    Yun, B. S.
    Yan, J. W.
    Liu, M.
    MANUFACTURING AUTOMATION TECHNOLOGY, 2009, 392-394 : 330 - 334
  • [6] Cloud manufacturing service composition in IoT applications: a formal verification-based approach
    Souri, Alireza
    Ghobaei-Arani, Mostafa
    MULTIMEDIA TOOLS AND APPLICATIONS, 2022, 81 (19) : 26759 - 26778
  • [7] Cloud manufacturing service composition in IoT applications: a formal verification-based approach
    Alireza Souri
    Mostafa Ghobaei-Arani
    Multimedia Tools and Applications, 2022, 81 : 26759 - 26778
  • [8] Web Service Composition Modeling Based on Pi Calculus
    Yang Yan
    Li Rong
    Wang Sai
    PROCEEDINGS OF THE 2015 4TH NATIONAL CONFERENCE ON ELECTRICAL, ELECTRONICS AND COMPUTER ENGINEERING ( NCEECE 2015), 2016, 47 : 1248 - 1252
  • [9] Towards formal verification of web service composition
    Bai, XX
    Fan, YS
    PROCEEDINGS OF THE 11TH INTERNATIONAL CONFERENCE ON INDUSTRIAL ENGINEERING AND ENGINEERING MANAGEMENT, VOLS 1 AND 2: INDUSTRIAL ENGINEERING AND ENGINEERING MANAGEMENT IN THE GLOBAL ECONOMY, 2005, : 577 - 581
  • [10] Towards formal verification of web service composition
    Rouached, Mohsen
    Perrin, Olivier
    Godart, Claude
    BUSINESS PROCESS MANAGEMENT, PROCEEDINGS, 2006, 4102 : 257 - 273
12345