Compatibility checking of heterogeneous Web service policies using VDM++

SERVICES 2009 - 5th 2009 World Congress on Services

Volumn , Issue PART 1, 2009, Pages 821-828

  Sheng, Quan Z ^a   Yu, Jian ^a   Maamar, Zakaria ^b   Jiang, Wei ^a   Li, Xitong ^c  

^a UNIVERSITY OF ADELAIDE   (Australia)

^b ZAYED UNIVERSITY   (United Arab Emirates)

^c TSINGHUA UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL MODEL; POLICY LANGUAGE; POLICY SPECIFICATION LANGUAGES; RUNTIMES; VIENNA DEVELOPMENT METHODS; WS-POLICY;

LINGUISTICS; MODEL CHECKING; SPECIFICATION LANGUAGES; SPECIFICATIONS;

WEB SERVICES;

EID: 72849133241     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SERVICES-I.2009.87     Document Type: Conference Paper

References (15)

1. The VDMTools. http://www.vdmtools.jp/en/.
2. A. H. Anderson. An Introduction to the Web Services Policy Language (WSPL). In Proc. of the 5th IEEE International Workshop on Policies for Distributed Systems and Networks, New York, USA, 2004.
3. J. W. Bryans and J. S. itzgerald. Formal Engineering of XACML Access Control Policies in VDM++. In Proc. of the 9th International Conference on Formal Engineering Methods (ICFEM), LNCS 4789, pages 37-56, Boca Raton, FL, USA, 2007. Springer.
4. S. A. Chun, V. Atluri, and N. R. Adam. Policy-Based Web Service Composition. In Proc. of the 14th International Workshop on Research Issues on Data Engineering: Web Services for E-Commerce and E-Government Applications (RIDE'04), 2004.
5. A. Dingwall-Smith and A. Finkelstein. Checking Complex Compositions of web services against policy constraints. In Proc. of the Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (MSVVEIS), 2007.
6. E. Dürr and J. van Katwijk. VDM++: A Formal Specification Language for Object-oriented Designs. In Proc. of the 7th International Conference on Technology of Object-Oriented Languages and Systems, pages 63-77, Dortmund, Germany, 1992.
7. C. Giblin, A. Y. Liu, S. Mueller, B. Pfitzmann, and X. Zhou. Regulations Expressed As Logical Models (REALM). Technical report, IBM Research Division, 2005. RZ 3616.
8. C. B. Jones. Systematic Software Development Using VDM. Prentice-Hall, Englewood Cliffs, 1990.
9. D. Jordan and J. Evdemon et al. Web Services Business Process Execution Language Version 2.0. http://docs.oasis-open.org/wsbpel/2.0/wsbpel-v2.0.html, 2007.
10. Y. Li, H. Y. Paik, B. Benatallah, and S. Benbernou. Formal Consistency Verification between BPEL Process and Privacy Policy. In Proc. of the International Conference on Privacy, Security, and Trust (PST2006), Toronto, Canada, 2006.
11. Z. Maamar, Q. Z. Sheng, H. Yahyaoui, D. Benslimane, and F. Liu. On Checking the Compatibility of Web services' Policies. In Proc. of the 8th international Conference on Parallel and Distributed Computing, Applications and Technologies, Adelaide, Australia, 2007.
12. C. Mentwich, L. Capra, W. Emmerich, and A. Finkelstein. xlinkit: A Consistency Checking and Smart Link Generation Service. ACM Transactions on Internet Technology, 2(2):151-185, 2002.
13. T. Moses, A. Anderson, S. Proctor, and S. godik. XACML profile for Web-services. http://www.oasis-open.org/committees/download.php/3661/draft- xacml-wsp-04.pdf, 2003.
14. A. S. Vedamuthu, D. Orchard, F. Hirsch, M. Hondo, P. Yend-luri, T. Boubez, and Ümit Yalçinalp. Web Services Policy 1.5 - Framework. http://www.w3.org/TR/ws-policy/.
15. Q. Yu, X. Liu, A. Bouguettaya, and B. Medjahed. Deploying and Managing Web Services: Issues, Solutions, and Directions. The VLDB Journal, 17(3):537-572, 2008.