We have recently developed a calculus for dynamically evolvable aggregations of components. The calculus extends CCS with primitives for describing components and their evolvability capabilities. Central to these novel primitives is a restricted form of higher-order communication of processes involved in update operations. The origins of our calculus for components can indeed be traced back to our own previous work on expressiveness and decidability results for core higher-order process calculi. Here we overview these previous works, and discuss the motivations and design decisions that led us from higher-order process calculi to calculi for component evolvability.

M. Bravetti, C. Di Giusto, J. A. Perez, G. Zavattaro (2012). Steps on the Road to Component Evolvability. BERLIN : Springer [10.1007/978-3-642-27269-1_19].

Steps on the Road to Component Evolvability

BRAVETTI, MARIO;ZAVATTARO, GIANLUIGI
2012

Abstract

We have recently developed a calculus for dynamically evolvable aggregations of components. The calculus extends CCS with primitives for describing components and their evolvability capabilities. Central to these novel primitives is a restricted form of higher-order communication of processes involved in update operations. The origins of our calculus for components can indeed be traced back to our own previous work on expressiveness and decidability results for core higher-order process calculi. Here we overview these previous works, and discuss the motivations and design decisions that led us from higher-order process calculi to calculi for component evolvability.
2012
Proceedings of Formal Aspects of Component Software - 7th International Workshop, FACS 2010
295
299
M. Bravetti, C. Di Giusto, J. A. Perez, G. Zavattaro (2012). Steps on the Road to Component Evolvability. BERLIN : Springer [10.1007/978-3-642-27269-1_19].
M. Bravetti; C. Di Giusto; J. A. Perez; G. Zavattaro
File in questo prodotto:
Eventuali allegati, non sono esposti

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11585/120140
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 4
  • ???jsp.display-item.citation.isi??? ND
social impact