Paper Info
Title
Toward a Formal Semantics for Autonomic Components
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 to model the dynamic evolution and non-functional aspects of Service Oriented Architcctures 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.
Year
DOI
Venue
2010
10.1007/978-0-387-09455-7_3
FROM GRIDS TO SERVICE AND PERVASIVE COMPUTING
Keywords
Field
DocType
components,adaptive applications,autonomic computing,grid,semantics,graph rewriting
Autonomic computing,Programming language,Computer science,Quality of service,Failure semantics,Graph rewriting,Grid,Semantics,Semantics of logic,Distributed computing
Journal
Volume
ISSN
Citations 
abs/1002.2722
In From Grids To Service and Pervasive Computing (Proc. of the CoreGRID Symposium 2008), CoreGRID, pages 31-45, Las Palmas, Spain, Aug. 2008. Springer
2
PageRank 
References 
Authors
0.38
14
2
Name
Order
Citations
PageRank
Marco Aldinucci163859.87
Emilio Tuosto249942.62