Adding metadata to Orc to support reasoning about grid programs

  • Marco Aldinucci
  • Marco Danelutto
  • Peter Kilpatrick
Conference paper

DOI: 10.1007/978-0-387-72498-0_19

Cite this paper as:
Aldinucci M., Danelutto M., Kilpatrick P. (2007) Adding metadata to Orc to support reasoning about grid programs. In: Priol T., Vanneschi M. (eds) Towards Next Generation Grids. Springer, Boston, MA

Following earlier work demonstrating the utility of Orc as a means of specifying and reasoning about grid applications we propose the enhancement of such specifications with metadata that provide a means to extend an Orc specification with implementation oriented information. We argue that such specifications provide a useful refinement step in allowing reasoning about implementation related issues ahead of actual implementation or even prototyping. As examples, we demonstrate how such extended specifications can be used for investigating security related issues and for evaluating the cost of handling grid resource faults. The approach emphasises a semi-formal style of reasoning that makes maximum use of programmer domain knowledge and experience.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media, LLC 2007

Authors and Affiliations

  • Marco Aldinucci
    • 1
  • Marco Danelutto
    • 1
  • Peter Kilpatrick
    • 2
  1. 1.Dept. Computer ScienceUniversity of PisaItaly
  2. 2.Dept. Computer ScienceQueen's University BelfastUK

Personalised recommendations