Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

sem:cgsymph:08 (In proceedings)
Author(s) Marco Aldinucci and Emilio Tuosto
Title« Towards a Formal Semantics for Autonomic Components »
InFrom Grids To Service and Pervasive Computing (Proc. of the CoreGRID Symposium 2008)
SeriesCoreGRID
Editor(s) Thierry Priol and Marco Vanneschi
Page(s)31-45
Year2008
PublisherSpringer
AddressLas Palmas, Spain
ISBN number978-0-387-09454-0
URLhttp://calvados.di.unipi.it/storage/paper_files/2008_sem_cgsymph.pdf
Abstract
Autonomic management can improve the QoS provided by parallel/distributed applications. Within the CoreGRID Component Model, the autonomic management is tailored to the automatic -- monitoring-driven -- alteration of the component assembly and, therefore, is defined as the effect of (distributed)management code. This work yields a semantics based on hypergraph rewriting suitable tomodel the dynamic evolution and non-functional aspects of Service Oriented Architectures and component-based autonomic applications. In this regard, our main goal is to provide a formal description of adaptation operations that are typically only informally specified. We advocate that our approach makes easier to raise the level of abstraction of management code in autonomic and adaptive applications.

BibTeX code

@inproceedings{sem:cgsymph:08,
  month = aug,
  author = {Marco Aldinucci and Emilio Tuosto},
  series = {CoreGRID},
  booktitle = {From Grids To Service and Pervasive Computing (Proc. of the
               CoreGRID Symposium 2008)},
  editor = {Thierry Priol and Marco Vanneschi},
  url = {http://calvados.di.unipi.it/storage/paper_files/2008_sem_cgsymph.pdf},
  abstract = {Autonomic management can improve the QoS provided by
              parallel/distributed applications. Within the CoreGRID Component
              Model, the autonomic management is tailored to the automatic --
              monitoring-driven -- alteration of the component assembly and,
              therefore, is defined as the effect of (distributed)management
              code. This work yields a semantics based on hypergraph rewriting
              suitable tomodel the dynamic evolution and non-functional aspects
              of Service Oriented Architectures and component-based autonomic
              applications. In this regard, our main goal is to provide a formal
              description of adaptation operations that are typically only
              informally specified. We advocate that our approach makes easier
              to raise the level of abstraction of management code in autonomic
              and adaptive applications.},
  title = {Towards a Formal Semantics for Autonomic Components},
  isbn = {978-0-387-09454-0},
  address = {Las Palmas, Spain},
  publisher = {Springer},
  year = {2008},
  pages = {31-45},
}


 Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

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

Valid HTML 4.01!