Following earlier work demonstrating the utility of Orc as a means of specifying and reasoning about grid applications we propose the enhancement of such speciﬁcations with metadata that provide a means to extend an Orc speciﬁcation with implementation oriented information. We argue that such speciﬁcations provide a useful reﬁnement step in allowing reasoning about implementation related issues ahead of actual implementation or even prototyping. As examples, we demonstrate how such extended speciﬁcations 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.
File in questo prodotto:
Non ci sono file associati a questo prodotto.