Graphical composition of grid services

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4401 LNCS, Issue , 2007, Pages 1-17

  Turner, Kenneth J ^a   Tan, Koon Leai Larry ^a  

^a UNIVERSITY OF STIRLING   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; INTEROPERABILITY; NETWORK ARCHITECTURE; SPECIFICATIONS; WEB SERVICES;

GRAPHICAL COMPOSITION; GRID SERVICES; LOGICAL ERRORS;

GRID COMPUTING;

EID: 34548050967     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-71876-5_1     Document Type: Conference Paper

References (22)

1. T. Andrews, F. Curbera, H. Dholakia, Y. Goland, J. Klein, F. Leymann, K. Liu, D. Roller, D. Smith, S. Thatte, I. Trickovic, and S. Weerawarana, editors. Business Process Execution Language for Web Services. Version 1.1. BEA, IBM, Microsoft, SAP, Siebel, May 2003.
2. A. Arkin, S. Askary, B. Bloch, F. Curbera, Y. Goland, N. Kartha, C. K. Lie, S. Thatte, P. Yendluri, and A. Yiu, editors. Web Services Business Process Execution Language. Version 2.0 (Draft). Organization for The Advancement of Structured Information Standards, Billerica, Massachusetts, USA, Dec. 2005.
3. K.-M. Chao, M. Younas, N. Griffiths, I. Awan, R. Anane, and C.-F. Tsai. Analysis of grid service composition with BPEL4WS. In Y Shibata and J. Ma, editors, Proc. 18th. Advanced Information Networking and Applications, volume 1, pages 284-289. Institution of Electrical and Electronic Engineers Press, New York, USA, 2004.
4. A. Chirichiello and G. Salaün. Encoding abstract descriptions into executable web services: Towards A formal development. In Proc. Web Intelligence 2005. Institution of Electrical and Electronic Engineers Press, New York, USA, Dec. 2005.
5. W. Emmerich, B. Butchart, L. Chen, B. Wassermann, and S. L. Price. Grid service orchestration using the business process execution language (BPEL). Grid Computing, 3(3-4): 283-304, Sept. 2005.
6. A. Ferrara. Web services: A process algebra approach. In Proc. 2nd. International Conference on Service-Oriented Computing, pages 242-251. ACM Press, New York, USA, Nov. 2004.
7. H. Foster, S. Uchitel, J. Kramer, and J. Magee. Compatibility verification for web service choreography. In M. Aiello, editor, Proc. 2nd. International Conference on Service-Oriented Computing, New York, USA, Nov. 2004. ACM Press.
8. I. Foster, C. Kesselman, J. M. Nick, and S. Tuecke. Grid services for distributed system integration. Supercomputer Applications, 35(6), 2002.
9. X. Fu, T Bultan, and J. Su. Analysis of interacting BPEL web services. In Proc. 13th. International World Wide Web Conference, pages 621-630. ACM Press, New York, USA, May 2004.
10. S. Graham, A. Marmakar, J. Mischinsky, I. Robinson, and I. Sedukhin, editors. Web Services Resource. Version 1.2. Organization for The Advancement of Structured Information Standards, Billerica, Massachusetts, USA, Apr. 2006.
11. ISO/IEC. Information Processing Systems - Open Systems Interconnection - LOTOS - A Formal Description Technique based on the Temporal Ordering of Observational Behaviour. ISO/IEC 8807. International Organization for Standardization, Geneva, Switzerland, 1989.
12. ITU. Specification and Description Language. ITU-T Z.100. International Telecommunications Union, Geneva, Switzerland, 2000.
13. K. Krippendorff. Content Analysis: An Introduction to Its Methodology. Sage, Thousand Oaks, California, USA, 2004.
14. S. Majithia, D. W. Walker, and W. A. Gray. Automated composition of semantic grid services. In Proc. 3rd. UK e-Science All Hands Meeting. University of Nottingham, UK, Aug. 2004.
15. T. Oinn, M. Addis, J. Ferris, D. Marvin, M. Senger, M. Greenwood, T. Carver, K. Glover, M. R. Pocock, A. Wipat, and P. Li. Taverna: A tool for the composition and enactment of bioinformatics workflows. Bioinformatics, 20(17):3045-3054, 2004.
16. C. Pautasso. JOpera: An agile environment for web service composition with visual unit testing and refactoring. In Proc. IEEE Symposium on Visual Languages and Human Centric Computing. Institution of Electrical and Electronic Engineers Press, New York, USA, Nov. 2005.
17. S. Rosario, A. Benveniste, S. Haar, and C. Jard. Net systems semantics of web services orchestrations modeled in ORC. Technical Report PI 1780, IRISA, Rennes, France, Jan. 2006.
18. A. Slomiski. On using BPEL extensibility to implement OGSI and WSRF grid workflows. In Proc. Global Grid Forum 10, Berlin, Germany, Mar. 2005. Humboldt University.
19. K. J. Turner. Formalising web services. In F. Wang, editor, Proc. Formal Techniques for Networked and Distributed Systems (FORTE XVIII), number 3731 in Lecture Notes in Computer Science, pages 473-488. Springer, Berlin, Germany, Oct. 2005.
20. K. J. Turner. Representing and analysing web services. Network and Computer Applications, Mar. 2006. In press.
21. K. J. Turner. Validating feature-based specifications. Software Practice and Experience, 36(10):999-1027, Aug. 2006.
22. World Wide Web Consortium. Web Services Description Language (WSDL). Version 1.1. World Wide Web Consortium, Geneva, Switzerland, Mar. 2001.