Università di Pisa
Sistema bibliotecario di ateneo

Toward a Formal Semantics for Autonomic Components

Aldinucci, Marco and Tuosto, Emilio (2008) Toward a Formal Semantics for Autonomic Components. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

[img] Other (GZip)
Available under License Creative Commons Attribution No Derivatives.

Download (475Kb)


    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 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.

    Item Type: Book
    Uncontrolled Keywords: autonomic computing, semantics, graph rewriting, grid, formal methods
    Subjects: Area01 - Scienze matematiche e informatiche > INF/01 - Informatica
    Divisions: Dipartimenti (until 2012) > DIPARTIMENTO DI INFORMATICA
    Depositing User: dott.ssa Sandra Faita
    Date Deposited: 04 Dec 2014 14:09
    Last Modified: 04 Dec 2014 14:09
    URI: http://eprints.adm.unipi.it/id/eprint/2201

    Repository staff only actions

    View Item