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 条
  • [21] Pi-Calculus Based Formal Verification of Web Services Composition
    Agarwal, Saurabh
    Agarwal, Koshel
    INTERNATIONAL JOURNAL OF GRID AND DISTRIBUTED COMPUTING, 2015, 8 (05): : 137 - 140
  • [22] A verification strategy for web services composition using enhanced stacked automata model
    Nagamouttou, Danapaquiame
    Egambaram, Ilavarasan
    Krishnan, Muthumanickam
    Narasingam, Poonkuzhali
    SPRINGERPLUS, 2015, 4
  • [23] Formal verification for semantic Web services composition based on coloured Petri nets
    Ni, Yue
    Fan, Yushun
    Qinghua Daxue Xuebao/Journal of Tsinghua University, 2010, 50 (05): : 714 - 717
  • [24] A CP-nets-based design and verification framework for web services composition
    Xiaochuan, Y
    Kochut, KJ
    IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES, PROCEEDINGS, 2004, : 756 - 760
  • [25] PEWS TOOL EXTENSION FOR VERIFICATION OF WEB SERVICES COMPOSITION
    Medeiros, H. B.
    Neto, P. A. Souza
    Neto, R. S. Hallais
    HOLOS, 2012, 28 (03) : 84 - 106
  • [26] A Model for Specification, Composition and Verification of Access Control Policies and Its Application to Web Services
    Derakhshandeh, Zahra
    Ladani, Behrouz Tork
    ISECURE-ISC INTERNATIONAL JOURNAL OF INFORMATION SECURITY, 2011, 3 (02): : 103 - 120
  • [27] On behavioural model transformation in web services
    Bordbar, B
    Staikopoulos, A
    CONCEPTUAL MODELING FOR ADVANCED APPLICATION DOMAINS, PROCEEDINGS, 2004, 3289 : 667 - 678
  • [28] A Model for Web Services Composition Based on QoS and Providers' Benefit
    Liu, Zhenpeng
    Li, Junbao
    Li, Jimin
    An, Aiguo
    Xu, Jianmin
    2009 5TH INTERNATIONAL CONFERENCE ON WIRELESS COMMUNICATIONS, NETWORKING AND MOBILE COMPUTING, VOLS 1-8, 2009, : 4562 - 4565
  • [29] OMWSC - An ontology-based model for Web services composition
    Ma, JG
    Zhang, YC
    Li, ML
    QSIC 2005: FIFTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE, PROCEEDINGS, 2005, : 464 - 469
  • [30] A planning based model for distributed and automated composition of web services
    Pellier, Damien
    Fiorino, Humbert
    Revue d'Intelligence Artificielle, 2009, 23 (01) : 13 - 46
12345