Formal modeling and verification for web service composition

被引：3
|
作者：
Tian, Baojun [1 ]
Gu, Yanlin [2 ]
机构：
[1] College of Information Engineering, Inner Mongolia University of technology, Huhhot, China
[2] Vocational College, Inner Mongolia University of Finance and Economics, Huhhot, China
来源：
Journal of Software | 2013年 / 8卷 / 11期
关键词：
D O I：
10.4304/jsw.8.11.2733-2737
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：2733 / 2737
相关论文
共 50 条
  • [1] 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):
  • [2] 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
  • [3] Towards formal verification of web service composition
    Rouached, Mohsen
    Perrin, Olivier
    Godart, Claude
    BUSINESS PROCESS MANAGEMENT, PROCEEDINGS, 2006, 4102 : 257 - 273
  • [4] Cloud Manufacturing Service Composition Modeling and Formal Verification Based on Calculus for Orchestration of Web Service
    Li Yongxiang
    Yao Xifan
    Zhang Jie
    Li Bin
    2013 25TH CHINESE CONTROL AND DECISION CONFERENCE (CCDC), 2013, : 2806 - 2810
  • [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] Algebraic modeling and verification of Web service composition
    Rai, Gopal N.
    Gangadharan, G. R.
    Padmanabhan, Vineet
    6TH INTERNATIONAL CONFERENCE ON AMBIENT SYSTEMS, NETWORKS AND TECHNOLOGIES (ANT-2015), THE 5TH INTERNATIONAL CONFERENCE ON SUSTAINABLE ENERGY INFORMATION TECHNOLOGY (SEIT-2015), 2015, 52 : 675 - 679
  • [7] Semantic Web Service Composition Using Formal Verification Techniques
    Kil, Hyunyoung
    Nam, Wonhong
    COMPUTER APPLICATIONS FOR DATABASE, EDUCATION, AND UBIQUITOUS COMPUTING, 2012, 352 : 72 - +
  • [8] Formal description and verification of Web service composition based on OOPN
    Su, Jindian
    Yu, Shanshan
    Guo, Heqing
    ADVANCED INTELLIGENT COMPUTING THEORIES AND APPLICATIONS, PROCEEDINGS: WITH ASPECTS OF THEORETICAL AND METHODOLOGICAL ISSUES, 2008, 5226 : 644 - +
  • [9] 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
  • [10] Modeling and Verification of Temporal Constraints for Web Service Composition
    Benabdelhafid, Maya Souilah
    Boubaker, Houda
    Boufaida, Mahmoud
    SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2020, 2021, 12524 : 21 - 29
12345