Skip to Main Content (Press Enter)

Logo UNIMORE
  • ×
  • Home
  • Corsi
  • Insegnamenti
  • Professioni
  • Persone
  • Pubblicazioni
  • Strutture
  • Terza Missione
  • Attività
  • Competenze

UNI-FIND
Logo UNIMORE

|

UNI-FIND

unimore.it
  • ×
  • Home
  • Corsi
  • Insegnamenti
  • Professioni
  • Persone
  • Pubblicazioni
  • Strutture
  • Terza Missione
  • Attività
  • Competenze
  1. Pubblicazioni

Self-Expression and Dynamic Attribute-based Ensembles in SCEL

Contributo in Atti di convegno
Data di Pubblicazione:
2014
Citazione:
Self-Expression and Dynamic Attribute-based Ensembles in SCEL / Cabri, Giacomo; Capodieci, Nicola; Luca, Cesari; Rocco De, Nicola; Rosario, Pugliese; Francesco, Tiezzi; Zambonelli, Franco. - STAMPA. - 8802:(2014), pp. 147-163. ( 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014 Imperial, Corfu, Greece 08-11 October 2014).
Abstract:
In the field of distributed autonomous computing the current trend is to develop cooperating computational entities enabled with enhanced self-* properties. The expression self-* indicates the possibility of an element inside an ensemble, i.e. a set of collaborative autonomic components, to self organize, heal (repair), optimize and configure with little or no human interaction. We focus on a self-* property called Self-Expression, defined as the ability to deploy run-time changes of the coordination pattern of the observed ensemble; the goal of the ensemble is to achieve adaptivity by meeting functional and non-functional requirements when specific tasks have to be completed. The purpose of this paper is to rigorously present the mechanisms involved whenever a change in the coordination pattern is needed, and the interactions that take place. To this aim, we use SCEL (Software Component Ensemble Language), a formal language for describing autonomic components and their interactions, featuring an highly dynamic and flexible way to form ensembles based on components' attributes.
Tipologia CRIS:
Relazione in Atti di Convegno
Keywords:
autonomic computing
Elenco autori:
Cabri, Giacomo; Capodieci, Nicola; Luca, Cesari; Rocco De, Nicola; Rosario, Pugliese; Francesco, Tiezzi; Zambonelli, Franco
Autori di Ateneo:
CABRI Giacomo
CAPODIECI NICOLA
ZAMBONELLI Franco
Link alla scheda completa:
https://iris.unimore.it/handle/11380/1016933
Titolo del libro:
Proceedings of 6th International Symposium on Leveraging Applications (ISoLA 2014)
Pubblicato in:
LECTURE NOTES IN COMPUTER SCIENCE
Journal
LECTURE NOTES IN COMPUTER SCIENCE
Series
  • Utilizzo dei cookie

Realizzato con VIVO | Designed by Cineca | 26.4.5.0