Management in Distributed Systems: A Semi-formal Approach

  • Marco Aldinucci
  • Marco Danelutto
  • Peter Kilpatrick
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4641)


The reverse engineering of a skeleton based programming environment and redesign to distribute management activities of the system and thereby remove a potential single point of failure is considered. The Orc notation is used to facilitate abstraction of the design and analysis of its properties. It is argued that Orc is particularly suited to this role as this type of management is essentially an orchestration activity. The Orc specification of the original version of the system is modified via a series of semi-formally justified derivation steps to obtain a specification of the decentralized management version which is then used as a basis for its implementation. Analysis of the two specifications allows qualitative prediction of the expected performance of the derived version with respect to the original, and this prediction is borne out in practice.


Orchestration algorithmic skeletons autonomic computing 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Danelutto, M.: QoS in parallel programming through application managers. In: Proc. of Intl. Euromicro PDP: Parallel Distributed and network-based Processing, Lugano, Switzerland, pp. 282–289. IEEE, Los Alamitos (2005)Google Scholar
  2. 2.
    Danelutto, M., Dazzi, P.: Joint structured/non structured parallelism exploitation through data flow. In: Alexandrov, V.N., van Albada, G.D., Sloot, P.M.A., Dongarra, J.J. (eds.) ICCS 2006. LNCS, vol. 3994, Springer, Heidelberg (2006)Google Scholar
  3. 3.
    Danelutto, M.: Dynamic run time support for skeletons. In: Proc. of Intl. PARCO 99: Parallel Computing. Parallel Computing Fundamentals & Applications, pp. 460–467. Imperial College Press, London, UK (EU) (1999)Google Scholar
  4. 4.
    Kephart, J.O., Chess, D.M.: The vision of autonomic computing. IEEE Computer 36, 41–50 (2003)Google Scholar
  5. 5.
    White, S., Hanson, J., Whalley, I., Chess, D., Kephart, J.: An architectural approach to autonomic computing. In: Proc. of the Intl. Conference on Autonomic Computing, pp. 2–9 (2004)Google Scholar
  6. 6.
    Parashar, M., Liu, H., Li, Z., Matossian, V., Schmidt, C., Zhang, G., Hariri, S.: AutoMate: Enabling autonomic applications on the Grid. Cluster Computing 9, 161–174 (2006)CrossRefGoogle Scholar
  7. 7.
    Kennedy, K., et al.: Toward a framework for preparing and executing adaptive Grid programs. In: Proc. of NSF Next Generation Systems Program Workshop (IPDPS 2002) (2002)Google Scholar
  8. 8.
    Stewart, A., Gabarró, J., Clint, M., Harmer, T.J., Kilpatrick, P., Perrott, R.: Managing grid computations: An orc-based approach. In: Guo, M., Yang, L.T., Di Martino, B., Zima, H.P., Dongarra, J., Tang, F. (eds.) ISPA 2006. LNCS, vol. 4330, pp. 278–291. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  9. 9.
    Misra, J., Cook, W.R.: Computation orchestration: A basis for a wide-area computing. Software and Systems Modeling (2006), doi: 10.1007/s10270-006-0012-1Google Scholar
  10. 10.
    Aldinucci, M., Danelutto, M.: Skeleton based parallel programming: functional and parallel semantic in a single shot. Computer Languages, Systems and Structures 33, 179–192 (2007)zbMATHCrossRefGoogle Scholar
  11. 11.
    Milner, R.: Communicating and Mobile Systems: the π-Calculus. Cambridge University Press, Cambridge (1999)Google Scholar
  12. 12.
    Agerholm, S., Larsen, P.G.: A lightweight approach to formal methods. In: Hutter, D., Traverso, P. (eds.) Applied Formal Methods - FM-Trends 98. LNCS, vol. 1641, pp. 168–183. Springer, Heidelberg (1999)CrossRefGoogle Scholar
  13. 13.
    Cole, M.: Bringing skeletons out of the closet: A pragmatic manifesto for skeletal parallel programming. Parallel Computing 30, 389–406 (2004)CrossRefGoogle Scholar
  14. 14.
    Kuchen, H.: The Muesli home page (2006),
  15. 15.
    Stewart, A., Gabarró, J., Clint, M., Harmer, T.J., Kilpatrick, P., Perrott, R.: Estimating the reliability of web and grid orchestrations. In: Integrated Reserach in Grid Computing, Kraków, Poland, CoreGRID, Academic Computer Centre CYFRONET AGH, pp. 141–152 (2006)Google Scholar
  16. 16.
    Aldinucci, M., Danelutto, M., Kilpatrick, P.: Adding metadata to Orc to support reasoning about grid programs. In: Priol, T., Vanneschi, M. (eds.) Grid and Peer-To-Peer Technologies (Proc. of the CoreGRID Symposium 2007), Springer, Heidelberg (2007)Google Scholar
  17. 17.
    Kilpatrick, P., Danelutto, M., Aldinucci, M.: Deriving Grid Applications from Abstract Models. Technical Report TR-85, CoreGRID (2007), available at

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

  • Marco Aldinucci
    • 1
  • Marco Danelutto
    • 1
  • Peter Kilpatrick
    • 2
  1. 1.Department of Computer Science, University of Pisa 
  2. 2.Department of Computer Science, Queen’s University Belfast 

Personalised recommendations