A dependable infrastructure for cooperative web services coordination

Proceedings of the IEEE International Conference on Web Services, ICWS 2008

Volumn , Issue , 2008, Pages 21-28

  Alchieri, Eduardo A P ^a   Da Silva Fraga, Joni ^a   Bessani, Alysson Neves ^b  

^a FEDERAL UNIVERSITY OF SANTA CATARINA   (Brazil)

^b UNIVERSITY OF LISBON   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

WEB SERVICES;

COLLABORATIVE TASKS; COMMUNITY IS; COORDINATION MECHANISMS; COORDINATION MODELS; CURRENT TRENDS; INFRA STRUCTURES; MULTIPLE ORGANIZATIONS; SECURITY MECHANISMS; TUPLE SPACES; WEB SERVICE APPLICATIONS;

WORLD WIDE WEB;

EID: 57749208680     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICWS.2008.54     Document Type: Conference Paper

References (29)

1. A. Alves et al. Web services business process execution language, version 2.0. OASIS Public Draft. Available at http://docs.oasis-open.org/wsbpel/2.0/, Nov. 2006.
2. A. Avizienis, J. -C. Laprie, B. Randell, and C. Landwehr. Basic concepts and taxonomy of dependable and secure computing. IEEE Transactions on Dependable and Secure Computing, Mar. 2004.
3. U. Bellur and S. Bondre. xSpace: a tuple space for XML and its application in orchestration of web services. In Proceedings of the 21st ACM symposium on Applied computing SAC'06, pages 766-772, 2006.
4. A. N. Bessani, E. P. Alchieri, M. Correia, and J. S. Fraga. DepSpace: A Byzantine fault-tolerant coordination service. In Proceedings of the 3rd ACM SIGOPS/EuroSys European Systems Conference - EuroSys'08. pages 163-176, Apr. 2008.
5. A. N. Bessani, M. Correia, J. S. Fraga, and L. C. Lung. Sharing memory between Byzantine processes using policy-enforced tuple spaces. In IEEE Transactions on Parallel and Distributed Systems, 2008. to appear.
6. M. Bichier and K. -J. Lin. Service-oriented computing. IEEE Computer, 39(3):99-101, Mar. 2006.
7. D. Bright and G. Quirchmayr. Supporting web-based collaboration between virtual enterprise partners. In Proc of the 15th International Workshop on Database and Expert Systems Applications, 2004.
8. D. Burdett and N. Kavantzas. The WS-Choreography model overview. W3C Draft. Available at http://www.w3.org/TR/ws-chor-model/, Mar. 2004.
9. L. F. Cabrera et al. Web Services Coordination Specification -version 1.0. Available at http://www-128.ibm.com/deve-loperworks/library/specification/ ws-tx/, 2005.
10. G. Cabri, L. Leonardi, and F. Zambonelli. Mobile agents coordination models for Internet applications. IEEE Computer, 33(2):82-89, Feb. 2000.
11. N. Carriero and D. Gelernter. How to write parallel programs: a guide to the perplexed. ACM Computing Surveys, 21(3):323-357, Sept. 1989.
12. M. Castro and B. Liskov. Practical Byzantine fault-tolerance and proactive recovery. ACM Transactions Computer Systems, 20(4):398-461, Nov. 2002.
13. T. Dierks and C. Allen. The TLS Protocol Version 1.0 (RFC 2246). IETF Request For Comments, Jan. 1999.
14. C. Dwork, N. A. Lynch, and L. Stockmeyer. Consensus in the presence of partial synchrony. Journal of the ACM, 35(2):288-322, Apr. 1988.
15. F. Favarim, J. S. Fraga, L. C. Lung, and M. Correia. GridTS: A new approach for fault tolerant scheduling in grid computing. In Proceedings of the 6th IEEE International Symposium on Network Computing and Applications - NCA'07, pages 187-194, July 2007.
16. D. Gelernter. Generative communication in Linda. ACM Transactions on Programing Languages and Systems, 7(1):80-112, 1985.
17. M. Herlihy and J. M. Wing. Linearizability: A correctness condition for concurrent objects. ACM Transactions on Programing Languages and Systems, 12(3):463-192, July 1990.
18. L. Lamport, R. Shostak, and M. Pease. The Byzantine generals problem. ACM Transactions on Programing Languages and Systems, 4(3):382-401, July 1982.
19. R. Lucchi and G. Zavattaro. WSSecSpaces: a secure data-driven coordination service for web services applications. In Proceedings of the 19th ACM Symposium on Applied Computing SAC'04, pages 487-491, Mar. 2004.
20. Z. Maamar, D. Benslimane, C. Ghedira, Q. H. Mahmoud, and H. Yahyaoui. Tuple spaces for self-coordination of web services. In Proceedings of the 20th ACM Symposium on Applied computing - SAC'05, pages 1656-1660, 2005.
21. N. H. Minsky and V. Ungureanu. Law-governed interaction: a coordination and control mechanism for heterogeneous distributed systems. ACM Transactions on Software Engineering and Methodology, 9(3):273-305, July 2000.
22. R. R. Obelheiro, A. N. Bessani, L. C. Lung, and M. Correia. How practical are intrusion-tolerant distributed systems? DI-FCUL TR 06-15, Dep. of Informatics, University of Lisbon, September 2006.
23. Object Management Group. The common object request broker architecture: Core specification v3.0. OMG Standart formal/02-12-06, Dec. 2002.
24. G. Papadopolous and F. Arbab. Coordination models and languages. In The Engineering of Large Systems, volume 46 of Advances in Computers. Academic Press, Aug. 1998.
25. C. Peltz. Web services orchestration and choreography. IEEE Computer, 36(10):46-52, Oct. 2003.
26. F. B. Schneider. Implementing fault-tolerant service using the state machine aproach: A tutorial. ACM Computing Surveys, 22(4):299-319, Dec. 1990.
27. E. J. Segall. Resilient distributed objects: Basic results and applications to shared spaces. In Proceedings of the 7th IEEE Symposium on Parallel and Distributed Processing - PDP'95, pages 320-327, Oct. 1995.
28. P. Verissimo, N. F. Neves, and M. P. Correia. Intrusion-tolerant architectures: Concepts and design. In Architecting Dependable Systems, volume 2677 of LNCS. Springer-Verlag, 2003.
29. V. Yegneswaran, P. Barford, and S. Jha. Global intrusion detection in the DOMINO overlay system. In Proceedings of the 11th Network and Distributed Security Symposium - NDSS 2004, Feb. 2004.