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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
M. Aldinucci, S. Campa, M. Coppola, M. Danelutto, D. Laforenza, D. Puppin, L. Scarponi, M. Vanneschi, and C. Zoccolo. Components for high performance grid programming in grid.it. Proc. of the Intl. Workshop on Component Models and Systems for Grid Applications, CoreGRID series, pages 19-38, Saint-Malo, France, Jan. 2005. Springer.
M. Aldinucci and M. Danelutto. Algorithmic skeletons meeting grids. Parallel Computing, 32 (7):449-462, 2006. DOI:10.1016/j.parco.2006.04.001.
M. Aldinucci, M. Danelutto, and P. Kilpatrick. Management in distributed systems: a semi-formal approach. TR-07-05, Univ. of Pisa, Dept. of Comp. Science, Feb. 2007.
M. Alt, J. D ünnweber, J. M üller, and S. Gorlatch. HOCs: Higher-order components for grids. In Component Models and Systems for Grid Applications, CoreGRID series, pages 157-166. Springer, Jan. 2005.
F. Baude, D. Caromel, and M. Morel. On hierarchical, parallel and distributed components for grid programming. Proc. of the Intl. Workshop on Component Models and Systems for Grid Applications, CoreGRID series, pages 97-108, Jan. 2005. Springer.
Business Process Execution Language for Web Services version 1.1, 2007. http://www-128.ibm.com/developerworks/library/specification/ws-bpel/.
The Common Component Architecture Forum, 2007. http://www.cca-forum.org/.
CoreGRID NoE deliverable series, Institute on Programming Model. Deliverable D.PM.04 - Basic Features of the Grid Component Model (assessed), Feb. 2007.
M. Danelutto and P. Dazzi. Joint structured/non structured parallelism exploitation through data flow. Proc. of ICCS: Intl. Conference on Computational Science, WS on Practical Aspects of High-level Parallel Programming, LNCS, Reading, UK, May 2006. Springer.
J. Misra and W. R. Cook. Computation orchestration: A basis for a wide-area computing. Software and Systems Modeling, 2006. DOI 10.1007/s10270-006-0012-1.
Next Generation GRIDs Expert Group. Future for European Grids: GRIDs and Ser- vice Oriented Knowledge Utilities. Vision and Research Directions 2010 and Beyond, http://cordis.europa.eu/ist/grids/ngg.htm, 2006.
H. Smith and P. Fingar. Workflow is just a pi process. BPTrends, pages 1-36, 2004.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2007 Springer Science+Business Media, LLC
About this paper
Cite this paper
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. https://doi.org/10.1007/978-0-387-72498-0_19
Download citation
DOI: https://doi.org/10.1007/978-0-387-72498-0_19
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-387-72497-3
Online ISBN: 978-0-387-72498-0
eBook Packages: Computer ScienceComputer Science (R0)