1. Paris, January 9-10 2007 SCIEnce JRA Status Report Symbolic Grid Computing Kevin Hammond, Steve Linton, Marco Costantini, Alexander Konavelev University of St Andrews, Scotland Phil Trinder, Greg Michaelson, Abyd al Zain Heriot-Watt University, Scotland Dana Petcu, Alexandru Carstea, Adrian Craciun, Marc Frincu, Georgiana Macariu IeAT, Timisoara, Romania

2. Paris, January 9-10 2007 Overall JRA Objectives 1.produce a portable framework (SymGrid) that will allow symbolic computations to access Grid services allow symbolic components to be exploited as part of larger Grid service applications on a computational Grid 2.develop resource brokers that will support the irregular workload and computation structures that are frequently found in symbolic computations 3.implement a series of applications that will demonstrate the capabilities and limitations of Grid computing for symbolic computations

3. Paris, January 9-10 2007 Diagrammatic Workplan

4. Paris, January 9-10 2007 Task JRA 1.1 Access to Grid Services: SymGrid-Services  Develop middleware (SymGrid-Services) to allow generic access to symbolic Grid services, as part of SymGrid.  Provide service discovery for symbolic Grid components.  At the lower level, SymGrid will integrate with and build on existing Grid middleware, including at least Globus.  Higher-level system interfaces will be defined to allow straightforward SymGrid access from within symbolic systems. These interfaces will be designed in association with the providers of the Maple, GAP, MuPAD and Kant systems in order to meet the generic requirements of symbolic system providers.

5. Paris, January 9-10 2007 Task JRA 1.2 Symbolic Grid Components: SymGrid-Par  Develop new SymGrid middleware to allow symbolic programs to be used as components of larger applications on the Grid.  Complements JRA1.1 by allowing symbolic systems to both access Grid services and to themselves provide Grid services.  We will exploit the OpenMath-based data representation of symbolic computing resources developed in NA3, define security policies to protect sensitive symbolic applications and data, and implement appropriate security mechanisms.  The middleware will be developed in conjunction with the interfaces produced in JRA1.1 so that SymGrid-enabled components may be called from other SymGrid components, and may themselves call such components. In this way complete Grid-enabled applications may be constructed.

6. Paris, January 9-10 2007 Task JRA 1.3 Interfacing Symbolic Computing Systems  Construct user-level interfaces from the Maple, Kant, MuPad and GAP symbolic systems to the SymGrid middleware developed in JRA1.1 and JRA1.2.  This will permit symbolic Grid applications to be constructed from heterogeneous SymGrid-enabled components, and so allow specific capabilities and strengths of each symbolic system to be exploited as part of a single application.

7. Paris, January 9-10 2007 Initial Objectives  Link Computer Algebra Systems to Middleware  Develop generic programming interfaces  CA systems to middleware  Middleware to CA Systems  Develop user interfaces (UIs) for each CA system  Design data interchange format  OpenMath/MathML (with NA3)  Identify generic needs of CA Systems  what must the middleware provide?  Identify and build CA exemplars  good distribution  interesting computation patterns  combination of different CA systems

8. Paris, January 9-10 2007 JRA 18-Month Workplan April '07 Sep '06 April '06 Sep '07 Complete GpH/GAP Prototype Design SymGrid Implement SymGrid for GAP Work on CA Exemplars GpH/GAP Prototype Design data interface (with NA3) Identify Generic SC Needs Develop Maple & GAP UIs Maple2G Prototype

9. Paris, January 9-10 2007 Current Status  Prototype GAP-GpH (Haskell) Interface constructed (HW/SA)  Prototype SymGrid-Par system implemented  Builds on existing GRID-GUM system  Now porting to latest Haskell compiler  Design work on SymGrid-Services (IeAT)  now in implementation  Grid Cluster installed at IeAT  cluster available at HWU  new cluster to be installed at SA  Planning meetings held in St Andrews, Genoa, Budapest and Brussels  Regular audio-conferences

10. Paris, January 9-10 2007 SymGrid (Original Design) Gap Maple MuPad Kant... GpH Java/C (Maple2G) Gap Maple MuPad Kant... Middleware CA Systems (UIs) CA Systems (engines) CA to Middleware (CAM) interface Middleware to CA (MCA) interface

11. Paris, January 9-10 2007 SymGrid (Current Design) SymGrid-Par Gap Maple MuPad Kant... CA Systems (multiple engines) SymGrid-Services Web/CA User Interface (UI) Middleware to CA interface (MCA/CAM) Grid to CA interface (GCA/CAG) Direct SymGrid-Par Interface

12. Paris, January 9-10 2007 Near-Term Objectives  Complete SymGrid-Services/SymGrid-Par for GAP  Extend to Maple, MuPad, Kant  New UIs for each system  New APIs for each system