Bibliography

1

Ian Foster and Carl Kesselman, editors.
The Grid: Blueprint for a New Computing Infrastructure.
Morgan Kaufmann, 1998.

2

Ian Foster, Carl Kesselman, Jeffrey M. Nick, and Steven Tuecke.
The physiology of the Grid: An Open Grid Services Architecture for distributed systems integration.
Technical report, Open Grid Services Infrastructure Working Group (OGSI-WG) report, June 2002.
http://www.gridforum.org/ogsi-wg/drafts/ogsa_draft2.9_2002-06-22.pdf.

3

Ian Foster and Carl Kesselman.
Globus: A toolkit-based Grid architecture.
In The Grid: Blueprint for a New Computing Infrastructure. Morgan Kaufmann, 1998.

4

Web services activity pages.
World Wide Web consortium, February 2003.
http://www.w3.org/2002/ws/.

5

I. Foster, C. Kesselman, C. Lee, R. Lindell, K. Nahrstedt, and A. Roy.
A distributed resource management architecture that supports advance reservations and co-allocation.
In Proceedings of the IEEE/IFIP Seventh International Workshop on Quality of Service, London, UK, June 1999.
http://www.globus.org/research/papers.html#gara.

6

C. Lee, S. Matsuoka, D. Talia, A. Sussman, M. Mueller, G. Allen, and J. Saltz.
A Grid programming primer.
Technical report, Global Grid Forum - Advanced Programming Models Research Group report, August 2001.
http://www.eece.unm.edu/~apm/docs/APM Primer 0801.pdf.

7

Martin Hofmann.
A type system for bounded space and functional in-place update.
Nordic Journal of Computing, 7(4):258-289, 2000.
http://www.tcs.informatik.uni-muenchen.de/~mhofmann/nordic.ps.gz.

8

David Aspinall and Martin Hofmann.
Another type system for in-place update.
In Proceedings of the 11th European Symposium on Programming, ESOP 2002, pages 36-52, Grenoble, France, April 2002. Springer-Verlag LNCS 2305.
http://link.springer.de/link/service/series/0558/tocs/t2305.htm.

9

Martin Hofmann and Steffen Jost.
Static prediction of heap space usage for first-order functional programs.
ACM SIGPLAN Notices: Proceedings of the 30th Annual ACM SIGPLAN - SIGACT Symposium on Principles of Programming Languages, 38(1):185-197, 2003.
http://homepages.inf.ed.ac.uk/stg/grants/REQUEST/references/p185-hofmann.pdf.

10

S. Tuecke, K. Czajkowski, I. Foster, J. Frey, S. Graham, C. Kesselman, D. Snelling, and P. Vanderbilt.
Open Grid Services Infrastructure (OGSI).
Technical report, Open Grid Services Infrastructure Working Group (OGSI-WG) report, February 2003.
http://www.gridforum.org/ogsi-wg/drafts/draft-ggf-ogsi-gridservice-23_2003-02-17.pdf.

11

Thomas Sandholm, Steve Tuecke, Jarek Gawor, Rob Seed, Tom Maguire, John Rofrano, Scott Sylvester, and Mike Williams.
Java OGSI hosting environment design: A portable Grid service container framework.
Technical report, Globus project specification, July 2002.
http://www-unix.globus.org/ogsa/docs/alpha/java_container.pdf.

12

Java CoG Kit.
Globus project Web site, February 2003.
http://www-unix.globus.org/cog/java/index.php.

13

IBM Grid Toolbox.
IBM alphaWorks Web site, February 2003.
http://www.alphaworks.ibm.com/tech/gridtoolbox.

14

Albee Jhoney, Manu Kuchhal, and Venkatakrishnan.
Grid Application Framework for Java (GAF4J): A technical white paper.
Technical report, Technology Incubation Centre, IBM Software Labs, India, February 2003.
http://dl.alphaworks.ibm.com/technologies/gaf4j/GAF4Jwhitepaper.doc.

15

Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, and Raymie Stata.
Extended static checking for Java.
In Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation (PLDI), pages 234-245. ACM, June 2002.
http://www.hpl.hp.com/personal/Mark_Lillibridge/ESCOverview/revised-p25-leino.pdf.

16

Maurice Clint and C. Vicent.
The use of ghost variables and virtual programming in the documentation and verfication of programs.
Software--Practice and Experience, 14(8):711-737, 1984.

17

Gary T. Leavens, K. Rustan M. Leino, Erik Poll, Clyde Ruby, and Bart Jacobs.
JML: notations and tools supporting detailed design in Java.
In OOPSLA 2000 Companion, Minneapolis, Minnesota, pages 105-106. ACM, October 2000.
http://www.cs.kun.nl/~erikpoll/publications/JMLOopsla00.pdf.

18

Cormac Flanagan and K. Rustan M. Leino.
Houdini, an annotation assistant for ESC/Java.
In Proceedings of Formal Methods Europe (FME'01), volume 2021 of Lecture Notes in Computer Science, pages 500-517, Berlin, Germany, 2001. Springer-Verlag.
http://link.springer.de/link/service/series/0558/papers/2021/20210500.pdf.

19

Lilian Burdy, Yoonsik Cheon, David Cok, Michael Ernst, Gary T. Leavens Joe Kiniry and, K. Rustan M. Leino, and Erik Poll.
An overview of JML tools and applications.
Technical Report NIII-R0309, Department of Computer Science, University of Nijmegen, March 2003.
ftp://ftp.cs.iastate.edu/pub/leavens/JML/jml-white-paper.pdf.

20

Christopher Colby, Peter Lee, George C. Necula, Fred Blau, Mark Plesko, and Kenneth Cline.
A certifying compiler for Java.
In Proceedings of the Conference on Programming Language Design and Implementation (PLDI'00), pages 95-107, Vancouver, Canada, June 2000. ACM Press.

21

Roberto Chinnici, Martin Gudgin, Jean-Jacques Moreau, and Sanjiva Weerawarana.
Web Services Description Language (WSDL) Version 1.2.
W3C Working Draft, January 2003.
http://www.w3.org/TR/wsdl12/.

22

Malcolm Atkinson, Peter Kunst, Inderpal Narang, Norman W. Paton, Dave Pearson, and Paul Watson.
The Grid: Blueprint for a New Computing Infrastructure, chapter 23: Database Access and Integration.
Morgan Kaufmann, second edition, 2003.
To appear.

23

Mike Surridge.
A rough guide to Grid security.
Technical Report UK e-Science Technical Report Series UKeS-2002-05, National e-Science Centre, September 2002.
http://umbriel.dcs.gla.ac.uk/NeSC/general/technical_papers/RoughGuideToGridSecurityV1_1a.pdf.

24

Frank Leymann.
Web Services Flow Language (WSFL 1.0).
Technical report, IBM, May 2001.
http://www-3.ibm.com/software/solutions/webservices/pdf/WSFL.pdf.

25

Francisco Curbera, Yaron Goland, Johannes Klein, Frank Leymann, Dieter Roller, Satish Thatte, and Sanjiva Weerawarana.
Business process execution language for web services, version 1.0.
IBM developerWorks Web services article, July 2002.
http://www-106.ibm.com/developerworks/webservices/library/ws-bpel/.

26

Vladimir Silva.
Grid job submission using the Java CoG Kit: Writing Java-enabled Grid applications.
IBM Java Technology article, February 2003.
http://www-106.ibm.com/developerworks/java/library/ws-gridcog.html.

27

Grid Application Framework for Java.
IBM alphaWorks Web site, February 2003.
http://www.alphaworks.ibm.com/tech/GAF4J.