Abstracting and enforcing web service protocols

International Journal of Cooperative Information Systems

Volumn 13, Issue 4, 2004, Pages 413-440

  Benatallah, Boualem ^a   Casati, Fabio ^b   Skogsrud, Halyard ^a   Toumani, Farouk ^c  

^a UNIVERSITY OF NEW SOUTH WALES   (Australia)

^b HEWLETT PACKARD LABORATORIES   (United States)

^c UNIVERSITÉ BLAISE PASCAL   (France)

Author keywords

Con ceptural modeling for service abstractions; Conversation protocols; Protocol enforcement; Trust negotiation policies; Web service protocols

Indexed keywords

ABSTRACTING; AUTOMATION; DESIGN; HIGH LEVEL LANGUAGES; LIFE CYCLE; MIDDLEWARE; NETWORK PROTOCOLS; STANDARDS; XML;

CONCEPTUAL MODELING FOR SERVICE ABSTRACTIONS; CONVERSATION PROTOCOLS; PROTOCOL ENFORCEMENT; TRUST NEGOTIATION POLICIES; WEB SERVICE PROTOCOLS;

WORLD WIDE WEB;

EID: 10444222513     PISSN: 02188430     EISSN: None     Source Type: Journal    
DOI: 10.1142/S021884300400105X     Document Type: Article

References (56)

1. S. Aissi, P. Malu and K. Srinivasan, E-business process modeling: The next big step, IEEE Computer 35(5) (May 2002) 55-62.
2. J. Amsden et al., Draft UML 1.4 Profile for Automated Business Processes with a mapping to BPEL 1.0 (9 June, 2003) http://dwdemos.dfw.ibm.com/wstk/common/wstkdoc/services/demos/uml2bpel/ %docs/UMLProfileForBusinessProcesses1.1.pdf.
3. A. Arkin et al. (eds.), Web Service Choreography Interface (WSCI) 1.0, W3C Note (August 2002), www.w3.org/TR/wsci.
4. K. Baïna et al., Model-driven web service development, in Proc, 16th Int. Conf. Advanced Information Systems Eng. (CAiSE'04) (Springer-Verlag, Heidelberg, Germany, June 2004) to appear.
5. A. Banerji et al., Web Services Conversation Language (WSCL) 1.0, W3C Note (March 2002), www.w3.org/TR/wscl10.
6. B. Benatallah et al., Conceptual modeling of web service conversations, in Proc. 15th Int. Conf. Advanced Information Systems Eng. (CAiSE'03) (Springer-Verlag, Heidelberg, Germany, June 2003).
7. B. Benatallah, Q. Sheng and M. Dumas, The self-serv environment for web services composition, IEEE Internet Computing, (January/February 2003) 40-48.
8. B. Benatallah, F. Casati and F. Toumani, Web service conversation modeling: A cornerstone for e-business automation, IEEE Internet Computing 8(1) (January/February 2004) 46-54.
9. D. Berardi et al., Automatic composition of e-services that export their behavior, in ICSOC'03, Trento, Italy, ser. eds. M. E. Orlowska, et al., Lecture Notes in Computer Science, Vol. 2910 (Springer, December 2003), pp. 43-58.
10. A. Berglund et al. (eds.), XML Path Language (XPath) Version 2.0, W3C Working Draft (November 2003), www.w3.org/TR/xpath20.
11. E. Bertino, S. Castano and E. Ferrari, On specifying security policies for web documents with an XML-based Language, in Proc. 6th ACM Symp. Access Control Models and Technologies (SACMAT'01) (ACM Press, New York, May 2001).
12. E. Bertino, E. Ferrari and A. Squicciarini, χ-TNL: An XML-based language for trust negotiations, in Proc. 4th Int. Workshop Policies for Distributed Systems and Networks (POLICY'03) (IEEE CS Press, Los Alamitos, June 2003).
13. C. Bettini et al., Provisions and obligations in policy management and security applications, in Proc. 28th Conf. Very Large Data Bases (VLDB'02) (Morgan Kaufmann, San Francisco, August 2002).
14. M. Blaze et al., The KeyNote Trust-Management System, IETF RFC 2704 (September 1999), www.rfc-editor.org/rfc/rfc2704.txt.
15. M. Blaze, J. Feigenbaum and J. Lacy, Decentralized trust management, in Proc. IEEE Symp. Security and Privacy (May 1996).
16. P. Bonatti and P. Samarati, A unified framework for regulating access and information release on the web, J. Computer Security 10(3) (2002) 241-272.
17. T. Bultan et al., Conversation specification: a new approach to design and analysis of e-service composition, in Proc. 12th Int. Conf. World Wide Web (WWW'03) (ACM Press, 20-24 May, 2003), pp. 403-410.
18. F. Cabrera et al., Web Services Transaction (WS-Transaction) (August 2002), www-106.ibm.com/developerworks/library/ws-transpec.
19. C. Canal et al., Adding roles to CORBA objects, IEEE Trans. Software Engineering (TSE) 29(3) (March 2003) 242-260.
20. F. Casati et al., Workflow evolution, Data Knowledge Eng. 24(3) (January 1998) 211-238.
21. A. Ceponkus et al., Business Transaction Protocol (BTP), Version 1.0, OASIS (June 2002), www.oasis-open.org/committees/business-transactions.
22. R. Chinnici et al., Web Service Description Language (WSDL) Version 2.0, W3C Working Draft (November 2003), www.w3.org/TR/wsdl20.
23. F. Curbera et al., Unraveling the web services web: An introduction to SOAP, WSDL, and UDDI, IEEE Internet Computing 6(2) (March/April 2002) 86-93.
24. ebXML, www.ebxml.org.
25. D. Ferraiolo et al., Proposed NIST standard for role-based access control, ACM Trans. Information and System Security (TISSEC) 4(3) (August 2001) 224-274.
26. C. Ferris and D. Langworthy (eds.), Web Services Reliable Messaging Protocol (WS-ReliableMessaging) (March 2003), www-106.ibm.com/developerworks/library/ws-rm.
27. W. Ford et al., XML Key Management Specification (XKMS), W3C Note (March 2001), www.w3.org/TR/xkms.
28. M. Gudgin et al. (eds.), SOAP Version 1.2, W3C Recommendation (June 2003), www.w3.org/TR/SOAP.
29. D. Harel and A. Naamad, The STATEMATE semantics of statecharts, ACM Trans. Software Engineering and Methodology (TOSEM) 5(4) (October 1996) 293-333.
30. A. Herzberg et al., Access control meets public key infrastructure, Or: Assigning roles to strangers, in Proc. IEEE Symp. Security and Privacy (May 2000).
31. M. Hondo and C. Kaler (eds.), Web Services Policy Framework (WS-Policy) (May 2003), www-106.ibm.com/developerworks/library/ws-polfram.
32. R. Housley et al., Internet X.509 Public Key Infrastructure Certificate and CRL Profile, IETF RFC 2459 (January 1999).
33. R. Hull et al., E-services: A look behind the curtain, in Proc. 22th Principles of Database Systems (PODS'03), San Diego, CA, USA (ACM, June 2003), pp. 1-14.
34. IBM, Business Process Execution Language for Web Services Java Run Time (BPWS4J) (August 2002), www.alphaworks.ibm.com/tech/bpwsj.
35. IBM, Emerging Technologies Toolkit (ETTK) (April 2003), www.alphaworks.ibm.com/tech/ettk.
36. IBM and Microsoft, Security in a web services world: A proposed architecture and roadmap, April 2002, www-106.ibm.com/developerworks/library/ws-secmap.
37. C. Kaler (ed.), Web Services Security (WS-Security) (April 2002), www-106.ibm.com/developerworks/library/ws-secure.
38. C. Kaler and A. Nadalin (eds.), Web Services Trust Language (WS-Trust) (December 2002), www-106.ibm.com/developerworks/library/ws-trust.
39. J. Koehler et al., A model-driven transformation method, in Proc. 6th IEEE Int. Enterprise Distributed Object Computing Conf. (EDOC 2003), September 2003, Brisbane, Australia, 16-19.
40. N. Li, J. Mitchell and W. Winsborough, Design of a role-based trust-management framework, in Proc. IEEE Symp. Security and Privacy (May 2002).
41. C.-T. Liu, S.-K. Chang and P. Chrysanthis, Database schema evolution using EVER diagrams, in Proc. ACM Workshop Advanced Visual Interfaces (AVI'94) (June 1994).
42. M. Mecella, B. Pernici and P. Craca, Compatibility of e-services in a cooperative multi-platform environment, in TES, Rome, Italy, ser. eds. F. Casati, D. Georgakopoulos and M.-C. Shan, Lecture Notes in Computer Science, Vol. 2193 (Springer, September 2001), pp. 14-15.
43. S. Mellor, A. N. Clark and T. Futagami, Special issue on model-driven development, IEEE Software 20(5) (2003).
44. A. Nadalin (ed.), Web Services Security Policy Language (WS-SecurityPolicy) (December 2002), www-106.ibm.com/developerworks/library/ws-secpol.
45. E. D. Nitto et al., Deriving executable process descriptions from UML, Int. Conf. Software Engineering (ICSE'02) (IEEE Society, May 2002).
46. M. P. Papazoglou and D. Georgakopoulos, Special issue on service-oriented computing, Commun. ACM 46(10) (2003) 24-28.
47. J. Roberts and K. Srinivasan, Tentative Hold Protocol, W3C Note (November 2003), www.w3.org/TR/tenthold-1.
48. H. Schuldt et al., Atomicity and isolation for transactional processes, ACM Trans. Database Systems (TODS) 27(1) (2002) 63-116.
49. Q. Z. Sheng et al., SELF-SERV: A platform for rapid composition of web services in a peer-to-peer environment, in Proc. 28th Conf. Very Large Data Bases (VLDB'02) (Morgan Kaufmann, San Francisco, August 2002).
50. H. Skogsrud, B. Benatallah and F. Casati, Model-driven trust negotiation for web services, IEEE Internet Computing 7(6) (November/December 2003) 45-52.
51. H. Skogsrud, B. Benatallah and F. Casati, Trust-Serv: Model-driven lifecycle management of trust negotiation policies for web services, in Proc. 13th World Wide Web Conf. (WWW 2004) (ACM Press, New York, May 2004), to appear.
52. S. Thatte (ed.), Business Process Execution Language for Web Services (BPEL4WS) (May 2003), www-106.ibm.com/developerworks/library/ws-bpel.
53. UDDI.org, Universal Description, Discovery, and Integration (October 2003), www.uddi.org.
54. VeriSign, Trust Services Integration Kit (TSIK) (current April 2003), www.xmltrustcenter.org/developer/verisign/tsik.
55. M. Winslett et al., Negotiating trust on the web, IEEE Internet Computing 6(6) (November/December 2002) 30-37.
56. T. Yu, M. Winslett and K. Seamons, Supporting structured credentials and sensitive policies through interoperable strategies for automated trust negotiation, ACM Trans. Information and System Security (TISSEC) 6(1) (February 2003).