Transformation BPEL to CP-nets for verifying Web services composition

被引：0
|
作者：
Yang, YP [1 ]
Tan, QP [1 ]
Yu, JS [1 ]
Liu, F [1 ]
机构：
[1] Natl Univ Def Technol, Comp Coll, Changsha 410073, Peoples R China
来源：
International Conference on Next Generation Web Services Practices | 2005年
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Web services composition is an emerging paradigm for enabling application integration within and across organizational boundaries. Business Process Execution Language (BPEL) is a promising language describing the Web services composition in form of business processes, but lack of a sound formal semantic, which hinders the formal analysis and verification of business processes specified in it. This paper presents the transformation of BPEL to Colored Petri nets (CP-nets) in a constructive way. Therefore we can translate composition specified in BPEL into CP-nets, which can be analyzed and verified by many specialized tools. So we make tool support available for verifying BPEL composition.
引用
收藏
页码：137 / 142
页数：6
相关论文
共 50 条
  • [1] Operators of preference composition for CP-nets
    Sun, Xuejiao
    Liu, Jinglei
    Wang, Kai
    EXPERT SYSTEMS WITH APPLICATIONS, 2017, 86 : 32 - 41
  • [2] Transform BPEL workflow into hierarchical CP-nets to make tool support for verification
    Yang, YP
    Tan, QP
    Xiao, Y
    Liu, F
    Yu, JS
    FRONTIERS OF WWW RESEARCH AND DEVELOPMENT - APWEB 2006, PROCEEDINGS, 2006, 3841 : 275 - 284
  • [3] Study on the Transformation From CP-nets to Game Theory
    Liu Zhaowei
    Liu Jinglei
    Sun Xuejiao
    COMPUTATIONAL MATERIALS SCIENCE, PTS 1-3, 2011, 268-270 : 1750 - 1754
  • [4] <bold>Exploiting Hierarchical CP-Nets to Increase the Reliability of Web Services Workflow</bold>
    Yang, YP
    Tan, QP
    Xiao, Y
    Yu, JS
    Liu, F
    INTERNATIONAL SYMPOSIUM ON APPLICATIONS AND THE INTERNET , PROCEEDINGS, 2006, : 116 - +
  • [5] Reputation Bootstrapping for Composite Services Using CP-Nets
    Mistry, Sajib
    Bouguettaya, Athman
    IEEE TRANSACTIONS ON SERVICES COMPUTING, 2022, 15 (06) : 3513 - 3527
  • [6] Weighted Constrained CP-nets: an Extension of Constrained CP-nets with Weighted Constraints
    Alkhiri, Hassan
    Mouhoub, Malek
    2021 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS (SMC), 2021, : 1685 - 1690
  • [7] Verifying Web Services composition: A transformation-based approach
    Yang, YP
    Tan, QP
    Xiao, Y
    Yu, JS
    Liu, F
    PDCAT 2005: SIXTH INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED COMPUTING, APPLICATIONS AND TECHNOLOGIES, PROCEEDINGS, 2005, : 546 - 548
  • [8] On the Integration of CP-nets in ASPRIN
    Alviano, Mario
    Romero, Javier
    Schaub, Torsten
    PROCEEDINGS OF THE TWENTY-EIGHTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2019, : 1495 - 1501
  • [9] CP-Nets, π-pref Nets, and Pareto Dominance
    Wilson, Nic
    Dubois, Didier
    Prade, Henri
    SCALABLE UNCERTAINTY MANAGEMENT, SUM 2019, 2019, 11940 : 169 - 183
  • [10] Answer set optimization for and/or composition of CP-Nets: A security scenario
    Bistarelli, Stefano
    Peretti, Pamela
    Trubitsyna, Irina
    PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP 2007, 2007, 4741 : 773 - +
12345