orc:metadata:cgs:07 (In proceedings)
|
Author(s) | Marco Aldinucci, Marco Danelutto and Peter Kilpatrick |
Title | « Adding metadata to Orc to support reasoning about grid programming » |
In | Towards Next Generation Grids (Proc. of the CoreGRID Symposium 2007) |
Series | CoreGRID |
Editor(s) | Thierry Priol and Marco Vanneschi |
Page(s) | 205-214 |
Year | 2007 |
Publisher | Springer |
Address | Rennes, France |
ISBN number | 978-0-387-72497-3 |
URL | http://calvados.di.unipi.it/storage/paper_files/2007_orc_CGSymph.pdf |
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. |
@inproceedings{orc:metadata:cgs:07,
month = sep,
author = {Marco Aldinucci and Marco Danelutto and Peter Kilpatrick},
series = {CoreGRID},
booktitle = {Towards Next Generation Grids (Proc. of the CoreGRID Symposium
2007)},
editor = {Thierry Priol and Marco Vanneschi},
url = {http://calvados.di.unipi.it/storage/paper_files/2007_orc_CGSymph.pdf},
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.},
title = {Adding metadata to Orc to support reasoning about grid programming},
isbn = {978-0-387-72497-3},
address = {Rennes, France},
publisher = {Springer},
year = {2007},
pages = {205-214},
}
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)