Adding metadata to Orc to support reasoning about grid programs

Marco Aldinucci*, Marco Danelutto, Peter Kilpatrick

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Citations (Scopus)

Abstract

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.

Original languageEnglish
Title of host publicationTowards Next Generation Grids
EditorsT Priol, M Vanneschi
Place of PublicationNEW YORK
PublisherSpringer
Pages205-214
Number of pages10
ISBN (Print)978-0-387-72497-3
Publication statusPublished - 2007
EventCoreGRID Symposium - Rennes, France
Duration: 27 Aug 200728 Aug 2007

Conference

ConferenceCoreGRID Symposium
CountryFrance
CityRennes
Period27/08/200728/08/2007

Keywords

  • Ore
  • grid
  • metadata
  • fault handling
  • security

Cite this