Copyright Information
The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of
scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other
copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying
this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without
the explicit permission of the copyright holder.
Sensoria Bibliography Site Toward a Formal Semantics for Autonomic Components
Marco Aldinucci, Emilio Tuosto
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 \emph{hypergraph} rewriting suitable
to model 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 contend that our approach makes easier to raise the level of
abstraction of management code in autonomic and adaptive applications.