Model transformation based verification of web services composition

被引：0
|
作者：
Yang, YP [1 ]
Tan, QP
Xiao, Y
机构：
[1] Natl Univ Def Technol, Sch Comp Sci, Changsha 410073, Peoples R China
[2] Natl Lab Parallel Distributed Proc, Changsha 410073, Peoples R China
来源：
GRID AND COOPERATIVE COMPUTING - GCC 2005, PROCEEDINGS | 2005年 / 3795卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Current Web services composition proposals, such as BPEL, BPSS, BPMN and WSCI, provide notations for describing the control and message flows in Web service collaborations. However, such proposals remain at the descriptive level, without providing any kind of mechanisms or tool support for verifying the composition specified in the proposed notations. In this paper, we present to analyze and verify Web services composition by using CP-nets. CP-nets combine the strengths of Petri nets with the expressive power of high-level programming and have sound mathematical semantics. These services composition proposals can be transformed by model transformation rules into CP-nets, which can be used to analyze the performance and to investigate behavioral properties by CP-nets specialized tools.
引用
收藏
页码：71 / 76
页数：6
相关论文
共 50 条
  • [1] Modeling and verification of Web services composition based on model transformation
    Zhu, Yi
    Huang, Zhiqiu
    Zhou, Hang
    SOFTWARE-PRACTICE & EXPERIENCE, 2017, 47 (05): : 709 - 730
  • [2] Model transformation and formal verification for Semantic Web Services composition
    Ni, Yue
    Fan, Yushun
    ADVANCES IN ENGINEERING SOFTWARE, 2010, 41 (06) : 879 - 885
  • [3] A Composition Verification Model For Semantic Web Services
    Zhu Ying
    Huang Guimin
    ICCSE 2008: PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE & EDUCATION: ADVANCED COMPUTER TECHNOLOGY, NEW EDUCATION, 2008, : 676 - 680
  • [4] A research on the web services composition model and its transformation based on MDA
    Gu, Ping
    Chai, Ming
    Zeng, Jianmin
    APPLIED SCIENCE, MATERIALS SCIENCE AND INFORMATION TECHNOLOGIES IN INDUSTRY, 2014, 513-517 : 1382 - 1386
  • [5] Petri-net-based description and verification of web services composition model
    Zhang, Pei-Yun
    Huang, Bo
    Sun, Ya-Min
    Xitong Fangzhen Xuebao / Journal of System Simulation, 2007, 19 (12): : 2872 - 2876
  • [6] A Web Services Composition Model and its Verification Algorithm Based on Interface Automata
    Li, Jianhua
    Chen, Songqiao
    Jian, Lin
    Zhang, Hongyu
    TRUSTCOM 2011: 2011 INTERNATIONAL JOINT CONFERENCE OF IEEE TRUSTCOM-11/IEEE ICESS-11/FCST-11, 2011, : 1556 - 1563
  • [7] Modeling and verification of web services composition based on CPN
    Kang, Hui
    Yang, Xiuli
    Yuan, Sinmiao
    2007 IFIP INTERNATIONAL CONFERENCE ON NETWORK AND PARALLEL COMPUTING WORKSHOPS, PROCEEDINGS, 2007, : 613 - 617
  • [8] Instance-based Web Services Composition and Verification
    Huynh, Khai T.
    Bui, Thang H.
    Quan, Tho T.
    2015 INTERNATIONAL CONFERENCE ON COMMUNICATIONS, MANAGEMENT AND TELECOMMUNICATIONS (COMMANTEL), 2015, : 245 - 249
  • [9] A Bounded Model Checking Approach for the Verification of Web Services Composition
    Zahoor, Ehtesham
    Munir, Kashif
    Perrin, Olivier
    Godart, Claude
    INTERNATIONAL JOURNAL OF WEB SERVICES RESEARCH, 2013, 10 (04) : 62 - 81
  • [10] A high-level Petri net based model for web services composition and verification
    Chemaa, Sofiane
    Bouarioua, Mouna
    Chaoui, Allaoua
    INTERNATIONAL JOURNAL OF COMPUTER APPLICATIONS IN TECHNOLOGY, 2015, 51 (04) : 306 - 323
12345