Università di Pisa
Sistema bibliotecario di ateneo

Orc + metadata supporting grid programming

Aldinucci, Marco and Danelutto, Marco and Kilpatrick, Peter (2007) Orc + metadata supporting grid programming. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

[img] PDF (GZip) - Published Version
Available under License Creative Commons Attribution No Derivatives.

Download (223Kb)


    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.

    Item Type: Book
    Uncontrolled Keywords: Orc, grid, metadata, fault handling, security
    Subjects: Area01 - Scienze matematiche e informatiche > INF/01 - Informatica
    Divisions: Dipartimenti (until 2012) > DIPARTIMENTO DI INFORMATICA
    Depositing User: dott.ssa Sandra Faita
    Date Deposited: 09 Dec 2014 13:18
    Last Modified: 09 Dec 2014 13:18
    URI: http://eprints.adm.unipi.it/id/eprint/2183

    Repository staff only actions

    View Item