Transactional aspects in semantic based discovery of services

Lecture Notes in Computer Science

Volumn 3454, Issue , 2005, Pages 283-297

  Bocchi, Laura ^a   Ciancarini, Paolo ^a   Rossi, Davide ^a  

^a UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

DISTRIBUTED COMPUTER SYSTEMS; ELECTRONIC COMMERCE; SEMANTICS; WORLD WIDE WEB;

BUSINESS TRANSACTIONAL PROTOCOL (BTP); PI CALCULUS; SERVICE ORIENTED ARCHITECTURE (SOA); WEB SERVICES;

COMPUTER ARCHITECTURE;

EID: 24644446588     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11417019_19     Document Type: Conference Paper

References (31)

1. Booth D., Haas H., and Brown A. Web Services Glossary. Technical report, World Wide Web Consortium (W3C), 2004. http://www.w3.org/TR/ws-gloss/.
2. OASIS. Business Transaction Protocol, http://www.oasis-open.org/ committees/download.php/1184/20020603.BTP_cttee_spec_1.0.pdf, 2002.
3. Cabrera L. P., Copeland G., Freund T., Klein J., Langworthy D., Leymann F., Orchard D., Robinson I., Storey T., and Thatte S. Web Services Business Activity Framework (WS-BusinessActivity). http://eu-datagrid.web.cern.ch/eu- datagrid/.
4. Curbera F., Goland Y., Klein J., Leymann F., Roller D., Thatte S., and Weerawarana S. Business Process Execution Language for Web Services (BPEL4WS 1.0). Technical report.
5. R. Davis and R. G. Smith. Negotiation as a Metaphor for Distributed Problem Solving. In Readings in Distributed Artificial Intelligence, pages 333-356. Morgan Kaufmann Publishers Inc., 1988.
6. S. Kraus. Strategic Negotiation in Multi-Agent Environments. MIT Press, Cambridge, MA, 2000.
7. B. Laasri, H. Laasri, S. Lander, and V. Lesser. A Generic Model for Intelligent Negotiating Agents. International Journal on Intelligent Cooperative Information Systems, 1(2):291-317, January 1992.
8. N. Maudet. Negotiating dialogue games. Journal of autonoumous agents and multi-agent systems, 7(2):229-233, November 2003.
9. S. Kraus, J. Wilkenfeld, and G. Zlotkin. Multiagent negotiation under time constraints. Artificial Intelligence, 75(2):297-345, 1995.
10. R. G. Smith. The Contract Net Protocol: High-Level Communication and Control in a Distributed Problem Solver. In Readings in Distributed Artificial Intelligence, pages 357-366. Morgan Kaufmann Publishers Inc., 1988.
11. Hung C. K., Li H., and Jeng J. WS-Negotiation: An overview of research issues. In Proceedings of the 37th Hawaii International Conference on System Sciences (HICSS'04). IEEE Computer, 2004.
12. Global Grid Forum, http://www.ggf.org/.
13. Andrieux A., Czajkowski K., Dan A., Keahey K., Ludwig H., Pruyne J., Rofrano J., Tuecke S., and Xu M. Web Services Agreement Specification (WS-Agreement). https://forge.gridforum.org/projects/graap-wg/document/WS- AgreementSpecification/en/6.
14. Klein M. and Bernstein A. Searching for Services on the Semantic Web Using Process Ontologies. In Isabel Cruz, Stefan Decker, Jerome Euzenat, and Deborah McGuinness, editors, The Emerging Semantic Web - Selected papers from the first Semantic Web Working Symposium, pages 159-172. IOS press, Amsterdam, 2002.
15. Bechhofer S., Harmelen F., Hendler J., Horrocks D., McGuinnes I., Patel-Schneider P., and Stein L.A. OWL Web ontology language reference. Technical report, W3C, 2004.
16. OWL-S 1.0 rel. 1.0. http://www.daml.org/services/owl-s/1.0/.
17. The DARPA Agent Markup Language. http://www.daml.org.
18. Booth D., Haas H., McCabe F., Newcomer E., Champion M., Ferris C., and Orchard D. Web Service Architecture. Technical report, World Wide Web Consortium (W3C), 2004. http://www.w3.org/TR/ws-arch/.
19. Foster I., Kesselman C., and Tuecke S. The Anatomy of the Grid: Enabling Scalable Virtual Organizations. International Journal of Supercomputer Applications, 15(3), 2001.
20. Bocchi L., Ciancarini P., Moretti R., Presutti V., and Rossi D. An OWL-S Based Approach to Express Grid Services Coordination. In Proceedings of the 2005 ACM Symposium on Applied Computing (SAC 2005). ACM, 2005. To appear.
21. UDDI. http://www.uddi.org.
22. Bocchi L., Laneve C., and Zavattaro G. A calculus for long running transactions. In Elie Najm, Uwe Nestmann, and Perdita Stevens, editors, Proceedings of the 6th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2003), volume 2884 of Lecture Notes in Computer Science, pages 124-138. Springer, 2003.
23. Bruni R., Melgratti H., and Montanari U. Nested commits for mobile calculi: extending join. In Proceedings of 3rd IFIP International Conference on Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics (IFIP TCS 2004), pages 563-576, 2004.
24. Laneve C. and Zavattaro G. Foundations of Web Transactions. In Proceedings of Foundations of Software Science and Computation Structures (FOSSACS 2005), Lecture Notes in Computer Science, 2005. To appear.
25. Milner R. Communicating and Mobile Systems: the Pi-Calculus. Cambridge University Press, 1989.
26. Bocchi L. Compositional Nested Long Running Transactions. In Michel Wermelinger and Tiziana Margaria, editors, Proceedings of the 7th International Conference on Fundamental Approaches to Software Engineering (FASE 2004), volume 2984 of Lecture Notes in Computer Science, pages 195-208. Springer, 2004.
27. Gray J. The Transaction Concept: Virtues and Limitations. In Proceedings of Very Large Data Bases, pages 179-201, 1981.
28. Garcia-Molina H. and Salem K. Sagas. In Proceedings of the 1987 ACM SIGMOD international conference on Management of data, pages 249-259. ACM Press, 1987.
29. Garcia-Molina H., Gawlick D., Klein J., Kleissner K., and Salem K. Modeling Long-Running Activities as Nested Sagas. Data Eng., 14(1):14-18, 1991.
30. Berger M. and Honda K. The Two-Phase Commitment Protocol in an Extended Picalculus. Electronic Notes in Theoretical Computer Science, 39(1):105-130, 2003.
31. Le Fessant F. and Maranget L. Compiling Join-Patterns. In Proceedings of High-Level Concurrent Languages (HLCL '98), volume 16 of Electronic Notes in Theoretical Computer Science. Elsevier Science Publishers.