JavaMaC and runtime monitoring for geoinformatics grid services

The Geoscience Network (GEON) project is a collaborative effort among numerous institutions to create the geoinformatics infrastructure. Because of the criticality of the grid services that is deployed, scientists need assurance of the integrity of the data supplied by the service and assurance that the workflows and other scientific applications behave as expected. This paper describes the efforts toward using the Kepler workflow system to define new applications, the prospec specification tool to define properties, and the JavaMac system to monitor grid services. In addition, it outlines the research questions and challenges that must be addressed to meet the requirements of the GEON community.