Management in distributed systems: A semi-formal approach

Marco Aldinucci*, Marco Danelutto, Peter Kilpatrick

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contribution

7 Citations (Scopus)

Abstract

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 Ore notation is used to facilitate abstraction of the design and analysis of its properties. It is argued that Ore is particularly suited to this role as this type of management is essentially an orchestration activity. The Ore 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.

Original languageEnglish
Title of host publicationEuro-Par 2007 Parallel Processing, Proceedings
EditorsAM Kermarrec, L Bouge, T Priol
Place of PublicationBERLIN
PublisherSpringer
Pages651-661
Number of pages11
ISBN (Print)978-3-540-74465-8
Publication statusPublished - 2007
Event13th International Euro-Par Conference on Parallel Processing - Rennes, France
Duration: 28 Aug 200731 Aug 2007

Publication series

NameLECTURE NOTES IN COMPUTER SCIENCE
PublisherSPRINGER-VERLAG BERLIN
Volume4641
ISSN (Print)0302-9743

Conference

Conference13th International Euro-Par Conference on Parallel Processing
CountryFrance
Period28/08/200731/08/2007

Keywords

  • orchestration
  • algorithmic skeletons
  • autonomic computing

Cite this