Autonomic behavior and self-adaptation in software can be supported by several architectural design patterns. In this paper we illustrate how some of the component- and ensemble-level adaptation patterns proposed in the literature can be rendered in SCEL, a formalism devised for modeling autonomic systems. Specifically, we present a compositional approach: first we show how a single generic component is modelled in SCEL, then we show that each pattern is rendered as the (parallel) composition of the SCEL terms corresponding to the involved components (and, possibly, to their environment). Notably, the SCEL terms corresponding to the patterns only differ from each other for the definition of the predicates identifying the targets of attribute-based communication. This enables autonomic ensembles to dynamically change the pattern in use by simply updating components’ predicate definitions, as illustrated by means of a case study from the robotics domain.

Formalising Adaptation Patterns for Autonomic Ensembles / Cesari, Luca; De Nicola, Rocco; Pugliese, Rosario; Puviani, Mariachiara; Tiezzi, Francesco; Zambonelli, Franco. - STAMPA. - 8348:(2014), pp. 100-118. (Intervento presentato al convegno 10th International Symposium on Formal Aspects of Component Software, FACS 2013 tenutosi a Nanchang (CH) nel Ottobre 2013) [10.1007/978-3-319-07602-7_8].

Formalising Adaptation Patterns for Autonomic Ensembles

PUVIANI, MARIACHIARA;ZAMBONELLI, Franco
2014

Abstract

Autonomic behavior and self-adaptation in software can be supported by several architectural design patterns. In this paper we illustrate how some of the component- and ensemble-level adaptation patterns proposed in the literature can be rendered in SCEL, a formalism devised for modeling autonomic systems. Specifically, we present a compositional approach: first we show how a single generic component is modelled in SCEL, then we show that each pattern is rendered as the (parallel) composition of the SCEL terms corresponding to the involved components (and, possibly, to their environment). Notably, the SCEL terms corresponding to the patterns only differ from each other for the definition of the predicates identifying the targets of attribute-based communication. This enables autonomic ensembles to dynamically change the pattern in use by simply updating components’ predicate definitions, as illustrated by means of a case study from the robotics domain.
2014
10th International Symposium on Formal Aspects of Component Software, FACS 2013
Nanchang (CH)
Ottobre 2013
8348
100
118
Cesari, Luca; De Nicola, Rocco; Pugliese, Rosario; Puviani, Mariachiara; Tiezzi, Francesco; Zambonelli, Franco
Formalising Adaptation Patterns for Autonomic Ensembles / Cesari, Luca; De Nicola, Rocco; Pugliese, Rosario; Puviani, Mariachiara; Tiezzi, Francesco; Zambonelli, Franco. - STAMPA. - 8348:(2014), pp. 100-118. (Intervento presentato al convegno 10th International Symposium on Formal Aspects of Component Software, FACS 2013 tenutosi a Nanchang (CH) nel Ottobre 2013) [10.1007/978-3-319-07602-7_8].
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate

Licenza Creative Commons
I metadati presenti in IRIS UNIMORE sono rilasciati con licenza Creative Commons CC0 1.0 Universal, mentre i file delle pubblicazioni sono rilasciati con licenza Attribuzione 4.0 Internazionale (CC BY 4.0), salvo diversa indicazione.
In caso di violazione di copyright, contattare Supporto Iris

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11380/1060821
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 12
  • ???jsp.display-item.citation.isi??? 4
social impact