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
来源：
EIGHTH INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED COMPUTING, APPLICATIONS AND TECHNOLOGIES, PROCEEDINGS | 2007年
关键词：
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 条
  • [21] Ontology-Based Compatibility Checking for Web Service Configuration Management
    Liang, Qianhui
    Huhns, Michael N.
    [J]. SERVICE-ORIENTED COMPUTING - ICSOC 2008, PROCEEDINGS, 2008, 5364 : 407 - +
  • [22] Model checking behavioral specification of BPEL web services
    Dong, Rongsheng
    Wei, Zhao
    Luo, Xiangyu
    [J]. WORLD CONGRESS ON ENGINEERING 2008, VOLS I-II, 2008, : 198 - 203
  • [23] Automated model checking and testing for composite web services
    Huang, H
    Tsai, WT
    Paul, R
    Chen, Y
    [J]. ISORC 2005: EIGHTH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS, 2005, : 300 - 307
  • [24] Proof slicing with application to model checking web services
    Huang, H
    Tsai, WT
    Paul, R
    [J]. ISORC 2005: EIGHTH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS, 2005, : 292 - 299
  • [25] Formal analysis of compatibility of Web services via CCS
    Liu, FF
    Zhang, L
    Shi, YL
    Lin, LL
    Shi, BL
    [J]. INTERNATIONAL CONFERENCE ON NEXT GENERATION WEB SERVICES PRACTICES, 2005, : 143 - 148
  • [26] Monitoring and Checking Privacy Policies of Cloud Services Based on Models
    Schmieders, Eric
    [J]. SERVICE-ORIENTED COMPUTING - ICSOC 2014 WORKSHOPS, 2015, 8954 : 392 - 398
  • [27] Ensuring Service Backwards Compatibility with Generic Web Services
    Borovskiy, Vadym
    Mueller, Juergen
    Schapranow, Matthieu-Patrick
    Zeier, Alexander
    [J]. PESOS: 2009 ICSE WORKSHOP ON PRINCIPLES OF ENGINEERING SERVICE ORIENTED SYSTEMS, 2009, : 95 - 98
  • [28] A Process Algebra Approach for the Compatibility Analysis of Web Services
    Shu, Chen
    Qing, Wu Guo
    Jing, Xiao
    [J]. FGCN: PROCEEDINGS OF THE 2008 SECOND INTERNATIONAL CONFERENCE ON FUTURE GENERATION COMMUNICATION AND NETWORKING, VOLS 1 AND 2, 2008, : 303 - 306
  • [29] Compatibility and Replaceability Analysis of Timed Web Services Protocols
    Elabd, Emad
    Coquery, Emmanuel
    Hacid, Mohand-Said
    [J]. SECOND INTERNATIONAL CONFERENCE ON COMPUTER AND ELECTRICAL ENGINEERING, VOL 2, PROCEEDINGS, 2009, : 15 - 19
  • [30] On the verification of web services compatibility: A Petri net approach
    De Backer, M
    [J]. ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2004: OTM 2004 WORKSHOPS, PROCEEDINGS, 2004, 3292 : 810 - 821
12345