Please use this identifier to cite or link to this item: http://hdl.handle.net/1959.3/195627

Download PDF (Published version) (Adobe Acrobat PDF, -1 bytes)

Title

Compatibility checking of heterogeneous Web service policies using VDM++

Author(s)

Sheng, Quan Z.;  Yu, Jian;  Maamar, Zakaria;  Jiang, Wei;  Li, Xitong

Abstract

Web service policies capture the capabilities and requirements of Web services from both functional and nonfunctional perspectives. Policies of a Web service govern and ensure the runtime consistency of the service, i.e., people or services interacting with this service are only allowed to perform legitimate actions. When composing Web services, policies of the participated Web services have to be compatible in order to make sensible compositions. Unfortunately, due to heterogeneity of policy specification languages, it is difficult to compare policies of different Web services directly. In this paper, we propose an approach for compatibility checking of Web service policies specified in difference languages. In particular, our approach applies the model-oriented specification from the Vienna Development Method (VDM++). An executable formal model of policy languages is represented in VDM++ and different policies are then translated to this VDM++ model for compatibility checking. Our approach has been validated by a prototype with different Web service policy languages such as WSPL and WS-Policy.

Publication type

Conference paper

Source

Proceedings of the 5th World Congress on Services (SERVICES 2009) Part 1, Los Angeles, United States, 06-10 July 2009, pp. 821-828

Publication year

2009

FOR Code(s)

0806 Information Systems

Keyword(s)

Formal model;  Linguistics;  Model checking;  Policy language;  Policy specification languages;  Runtimes;  Specification languages;  Specifications;  Vienna development methods;  Web services;  WS-policy

Publisher

IEEE

ISBN

9780769538129, 0769538126

Publisher URL

http://dx.doi.org/10.1109/SERVICES-I.2009.87

Copyright

Copyright © 2009 IEEE. Published version of this paper reproduced here in accordance with the copyright policy of the publisher. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.

Full text

Peer reviewed