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 条
  • [41] Web service composition verification based on symbol model checking and Petri nets
    Zhang, Shijie
    Xu, Peng
    Xu, Yang
    DEVELOPMENTS OF ARTIFICIAL INTELLIGENCE TECHNOLOGIES IN COMPUTATION AND ROBOTICS, 2020, 12 : 309 - 316
  • [42] QoS Evaluation Model for Web Services Composition
    Fan, Yiyan
    Mei, Xiaoyong
    ADVANCED MATERIALS IN MICROWAVES AND OPTICS, 2012, 500 : 311 - 316
  • [43] Model centric approach of web services composition
    Quintero, Ricardo
    Torres, Victoria
    Pelechano, Vicente
    EMERGING WEB SERVICES TECHNOLOGY, 2007, : 65 - +
  • [44] An interface theory based approach to verification of web services
    Chen, Zhenbang
    Wang, Ji
    Dong, Wei
    Qi, Zhichang
    Yeung, W. L.
    30TH ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, VOL 2, SHORT PAPERS/WORKSHOPS/FAST ABSTRACTS/DOCTORAL SYMPOSIUM, PROCEEDINGS, 2006, : 139 - +
  • [45] WSCOVER: A Tool for Automatic Composition and Verification of Web Services Using Heuristic-Guided Model Checking and Logic-Based Clustering
    Huynh, Khai T.
    Bui, Thang H.
    Than Tho Quan
    MULTI-DISCIPLINARY TRENDS IN ARTIFICIAL INTELLIGENCE, (MIWAI 2016), 2016, 10053 : 50 - 62
  • [46] Semantic Web Services Composition Model Based On Domain Ontology Cost Graph
    Wu Chongyun
    Wen Jun
    EIGHTH IEEE INTERNATIONAL CONFERENCE ON DEPENDABLE, AUTONOMIC AND SECURE COMPUTING, PROCEEDINGS, 2009, : 175 - 178
  • [47] Description logic based composition of Web Services
    Lin, Fen
    Qiu, Lirong
    Huang, He
    Yu, Qing
    Shi, Zhongzhi
    AGENT COMPUTING AND MULTI-AGENT SYSTEMS, 2006, 4088 : 199 - 210
  • [48] Web services composition based on ontology and workflow
    Yang, HZ
    Li, ZZ
    Chen, J
    Xia, H
    ADVANCES IN WEB-AGE INFORMATION MANAGEMENT, PROCEEDINGS, 2005, 3739 : 297 - 307
  • [49] Composition of Web Services based on Timed Mediation
    Guermouche, Nawal
    Godart, Claude
    INTERNATIONAL JOURNAL OF NEXT-GENERATION COMPUTING, 2014, 5 (01): : 44 - 69
  • [50] Web Services Composition Based on User Requirement
    Pang Meiyu
    Wang Maoji
    PROCEEDINGS OF THE 2013 8TH INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE & EDUCATION (ICCSE 2013), 2013, : 1481 - 1484
12345