1. Welcome Grids and Applied Language Theory Dave Berry Research Manager www.nesc.ac.uk 16 th October 2003

2. Cambridge Newcastle Edinburgh Oxford Glasgow Manchester Cardiff Southampton London Belfast Daresbury Lab RAL Hinxton NeSC in the UK National e- Science Centre HPC(x) Directors’ Forum Engineering Task Force Grid Support Centre Architecture Task Force UK Adoption of OGSA OGSA Grid Market Workflow Management Database Task Force OGSA-DAI GGF DAIS-WG GridNet e-Storm Globus Alliance

3. www.nesc.ac.uk

4. UK e-Science Grid Currently based on Globus Toolkit 2 Transition to OGSI/ OGSA over the next year Heterogenous Many architectures and operating systems Many organisations Many issues still to be resolved, e. g. OGSA definition / delivery Portals Combinations of Services supported Account management and accounting

5. Workshop Goals Well-Targeted Collaborative Research Increase understanding Results expected: Identify Research Opportunities Propose potential project and funding Extract Cross-cutting Issues Deliver a Written Report

6. What is a “Grid”? Compute/File Grid Run multiple jobs with distributed compute and data resources Desktop Grid “Internet Computing” and “Cycle Scavenging” with secure sandbox on large numbers of untrusted computers Information Grid (a.k.a. Data Grid) Grid service access to distributed repositories Complexity Grid Hybrid combination of Information and Compute/File Grid Campus Grid Grid supporting University community computing Enterprise Grid Grid supporting a company’s enterprise infrastructure e-Science Gap Analysis, David Walker and Geoffrey Fox, http://www.nesc.ac.uk/technical_papers/UKeS-2003-01/index.html

7. One definition: A Grid… …coordinates resources that are not subject to centralized control … … using standard, open, general-purpose protocols and interfaces… … to deliver nontrivial qualities of service. Ian Foster, “What is the Grid: A three-point checklist”, GRIDToday, July 20, 2002

8. OGSA Web Services Business integration Secure and universal access Applications on demand Grid Protocols Vast resource scalability Global Accessibility Resources on demand Continuous Availability Access resource Manage resource Share resource Open Grid Services Architecture

9. Some Grid Requirements Dynamic formation and management of virtual organisations Online negotiation of access to services: who, what, why, when, how Configuration of applications and systems able to deliver multiple qualities of service Autonomic management of distributed infrastructures, services, and applications From the Globus Project

10. More Grid Requirements Trust (e.g. authorisation, mobile code, data provenance, quality of service) Programming model for distributed systems (informal reasoning, debugging, formal reasoning) Compositionality (of Services, Policies, …)

11. E.g. Data Delivery Patterns Greg Riccardi, Florida State University, while visiting the National e-Science Institute

12. Applications for Language Theory Mobile Code Security Provenance Process calculi, models and types Model checking Distributed data queries Dynamic data Workflow languages and enactment engines Types for XML Semantic Web/Grid …

13. Postscript: What’s in a name? “Grids and Applied Language Theory” “It doesn’t seem to have much to do with languages” “Languages aren’t my field” “I’m not coming unless you drop the word ‘Grid’” Alternatives? Fundamental Computer Science for e-Science?  But “e-Science” isn’t understood outside the UK Computer Science for Web Services?