@inproceedings{orc:europar:07,
  volume = {4641},
  month = aug,
  author = {Marco Aldinucci and Marco Danelutto and Peter Kilpatrick},
  series = {LNCS},
  booktitle = {Proc. of 13th Intl. Euro-Par 2007 Parallel Processing},
  editor = {A.-M. Kermarrec and L. Boug{\'e} and T. Priol},
  url = {http://calvados.di.unipi.it/storage/paper_files/2007_orc_europar.pdf},
  title = {Management in distributed systems: a semi-formal approach},
  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 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.},
  address = {Rennes, France},
  isbn = {978-3-540-74465-8},
  publisher = {Springer},
  year = {2007},
  pages = {651-661},
}

This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)