On checking the compatibility of Web services' policies

被引:0
|
作者
Maamar, Zakaria [1 ]
Sheng, Quart Z. [2 ]
Yahyaoui, Hamdi [3 ]
Benslimane, Djarnal [4 ]
Liu, Fenglin [2 ]
机构
[1] Zayed Univ, Dubai, U Arab Emirates
[2] Univ Adelaide, Adelaide, SA, Australia
[3] Univ Sharjah, Sharjah, U Arab Emirates
[4] Claude Bernard Lyon 1 Univ, Lyon, France
关键词
D O I
暂无
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
This paper discusses the compatibility, issue between policies of Web services, which could refrain the automatic composition of these Web services from smoothly progressing. Policies regulate/constrain the functioning of Web services at three levels identified by business, behavior and privacy. Because independent Web services collaborate with one another in order to satisfy users' needs, their respective policies could be in contradiction. This could lead to conflicts and exceptions at run-time unless these contradictions are as a first step, detected and then, fixed. In this paper WSPL is the language to specify policies of Web services.
引用
收藏
页码:125 / +
页数:2
相关论文
共 50 条
  • [1] Checking Compatibility of Web Services Behaviorally
    Klai, Kais
    Ochi, Hanen
    [J]. FUNDAMENTALS OF SOFTWARE ENGINEERING, FSEN 2013, 2013, 8161 : 267 - 282
  • [2] An approach to checking behavioral compatibility between web services
    Chae, Heung Seok
    Lee, Joon-Sang
    Bae, Jungho
    [J]. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2008, 18 (02) : 223 - 241
  • [3] Compatibility checking of web services composition in pervasive computing
    Gao, Chunming
    Ji, Shizhang
    Liu, Rongsheng
    Chen, Huowang
    [J]. 2006 1ST INTERNATIONAL SYMPOSIUM ON PERVASIVE COMPUTING AND APPLICATIONS, PROCEEDINGS, 2006, : 652 - +
  • [4] Compliance checking of privacy policies for Semantic Web Services
    Denker, G
    Nguyen, S
    [J]. Proceedings of the 8th Joint Conference on Information Sciences, Vols 1-3, 2005, : 1421 - 1424
  • [5] Compatibility Checking of Heterogeneous Web Service Policies Using VDM plus
    Sheng, Quan Z.
    Yu, Jian
    Maamar, Zakaria
    Jiang, Wei
    Li, Xitong
    [J]. 2009 IEEE CONGRESS ON SERVICES (SERVICES-1 2009), VOLS 1 AND 2, 2009, : 821 - +
  • [6] Formal Approach for Compatibility Checking of Orchestrations of Composite Semantic Web Services
    Hammal, Youcef
    Mansour, Khadidja Salah
    Abdelli, Abdelkrim
    Mokdad, Lynda
    [J]. 2019 IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS (ISCC), 2019, : 1004 - 1009
  • [7] Selecting Web Services for Choreography Implementation: Compatibility Checking Approach with Access Control
    Elabd, Emad
    Coquery, Emmanuel
    Hacid, Mohand-Said
    [J]. 22ND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING & KNOWLEDGE ENGINEERING (SEKE 2010), 2010, : 235 - 240
  • [8] An Approach to Checking the Compatibility for Web Services Specification Based on the Typed Graph Category
    Zhang, Xinlin
    Miao, Huaikou
    Li, Shenghong
    [J]. PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE FOR YOUNG COMPUTER SCIENTISTS, VOLS 1-5, 2008, : 416 - 421
  • [9] A Model Checking Approach to Analyzing Timed Compatibility in Mediation-aided Composition of Web Services
    Du, Yanhua
    Yang, Benyuan
    Tan, Wei
    [J]. 2015 IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES (ICWS), 2015, : 567 - 574
  • [10] Compatibility analysis of web services
    Shi, YL
    Zhang, L
    Liu, FF
    Lin, LL
    Shi, BL
    [J]. 2005 IEEE/WIC/ACM INTERNATIONAL CONFERENCE ON WEB INTELLIGENCE, PROCEEDINGS, 2005, : 483 - 486